Computational performance analysis of nonlinear dynamic systems using semi-infinite programming

For nonlinear systems that satisfy certain regularity conditions it is shown that upper and lower bounds on the performance (cost function) can be computed using linear or quadratic programming. The performance conditions derived from Hamilton-Jacobi inequalities are formulated as linear inequalities defined pointwise by discretizing the state-space when assuming a linearly parameterized class of functions representing the candidate performance bounds. Uncertainty with respect to some system parameters can be incorporated by also gridding the parameter set. In addition to performance analysis, the method can also be used to compute Lyapunov functions that guarantees uniform exponential stability