An efficient algorithm for performance analysis of nonlinear control systems | IEEE Conference Publication | IEEE Xplore