Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems

For autonomous nonlinear systems stability and input-output properties in small enough (infinitesimally small) neighborhoods of (linearly) asymptotically stable equilibrium points can be inferred from the properties of the linearized dynamics. On the other hand, generalizations of the S-procedure and sum-of-squares programming promise a framework potentially capable of generating certificates valid over quantifiable, finite size neighborhoods of the equilibrium points. However, this procedure involves multiple relaxations (unidirectional implications). Therefore, it is not obvious if the sum-of-squares programming based nonlinear analysis can return a feasible answer whenever linearization based analysis does. Here, we prove that, for a restricted but practically useful class of systems, conditions in sum-of-squares programming based region-of-attraction, reachability, and input-output gain analyses are feasible whenever linearization based analysis is conclusive. Besides the theoretical interest, such results may lead to computationally less demanding, potentially more conservative nonlinear (compared to direct use of sum-of-squares formulations) analysis tools.

[1]  Pablo A. Parrilo,et al.  Semidefinite programming relaxations for semialgebraic problems , 2003, Math. Program..

[2]  Jean B. Lasserre,et al.  Global Optimization with Polynomials and the Problem of Moments , 2000, SIAM J. Optim..

[3]  Ufuk Topcu,et al.  Local stability analysis using simulations and sum-of-squares programming , 2008, Autom..

[4]  Andrew Packard,et al.  Stability Region Analysis Using Polynomial and Composite Polynomial Lyapunov Functions and Sum-of-Squares Programming , 2008, IEEE Transactions on Automatic Control.

[5]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[6]  A. Packard,et al.  Stability region analysis using sum of squares programming , 2006, 2006 American Control Conference.

[7]  Frank Allgöwer,et al.  A Dissipation Inequality for the Minimum Phase Property , 2008, IEEE Transactions on Automatic Control.

[8]  G. Chesi.  On the estimation of the domain of attraction for uncertain polynomial systems via LMIs , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[9]  J. Willems.  Dissipative dynamical systems part I: General theory , 1972 .

[10]  A. Garulli,et al.  LMI‐based computation of optimal quadratic Lyapunov functions for odd polynomial systems , 2005 .

[11]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[12]  Ufuk Topcu,et al.  Robust Region-of-Attraction Estimation , 2010, IEEE Transactions on Automatic Control.

[13]  Ryan Feeley,et al.  Some controls applications of sum of squares programming , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[14]  Ufuk Topcu,et al.  Simulation-aided reachability and local gain analysis for nonlinear dynamical systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[15]  Ufuk Topcu,et al.  Local Stability Analysis for Uncertain Nonlinear Systems , 2009, IEEE Transactions on Automatic Control.

[16]  A. Papachristodoulou,et al.  On the construction of Lyapunov functions using the sum of squares decomposition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[17]  M. Vidyasagar,et al.  Nonlinear systems analysis (2nd ed.) , 1993 .

[18]  S. Prajna.  Barrier certificates for nonlinear model validation , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[19]  S. Lall,et al.  Polynomial level-set methods for nonlinear dynamical systems analysis , 2005 .

[20]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

[21]  Andrew Packard,et al.  Local gain analysis of nonlinear systems , 2006, 2006 American Control Conference.

[22]  Andrew Packard,et al.  Control Applications of Sum of Squares Programming , 2005 .

[23]  Pablo A. Parrilo,et al.  Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming , 2006, at - Automatisierungstechnik.