A Converse Sum of Squares Lyapunov Result With a Degree Bound

Although sum of squares programming has been used extensively over the past decade for the stability analysis of nonlinear systems, several fundamental questions remain unanswered. In this paper, we show that exponential stability of a polynomial vector field on a bounded set implies the existence of a Lyapunov function which is a sum of squares of polynomials. In particular, the main result states that if a system is exponentially stable on a bounded nonempty set, then there exists a sum of squares Lyapunov function which is exponentially decreasing on that bounded set. Furthermore, we derive a bound on the degree of this converse Lyapunov function as a function of the continuity and stability properties of the vector field. The proof is constructive and uses the Picard iteration. Our result implies that semidefinite programming can be used to answer the question of stability of a polynomial vector field with a bound on complexity.

[1]  J. Marsden,et al.  Elementary classical analysis , 1974 .

[2]  Vladimir A. Yakubovich,et al.  Linear Matrix Inequalities in System and Control Theory (S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan) , 1995, SIAM Rev..

[3]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[4]  Dazhong Wang.  Polynomial level-set methods for nonlinear dynamics and control , 2007 .

[5]  V. Arnold,et al.  Ordinary Differential Equations , 1973 .

[6]  B LasserreJean.  Global Optimization with Polynomials and the Problem of Moments , 2000 .

[7]  Didier Henrion,et al.  GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi , 2003, TOMS.

[8]  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..

[9]  Andrew R. Teel,et al.  Results on converse Lyapunov functions from class-KL estimates , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[10]  E. Coddington,et al.  Theory of Ordinary Differential Equations , 1955 .

[11]  J. Hale,et al.  Stability of Motion. , 1964 .

[12]  Graziano Chesi,et al.  LMI Techniques for Optimization Over Polynomials in Control: A Survey , 2010, IEEE Transactions on Automatic Control.

[13]  Graziano Chesi,et al.  On the Gap Between Positive Polynomials and SOS of Polynomials , 2007, IEEE Transactions on Automatic Control.

[14]  Matthew M. Peet,et al.  Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions , 2007, IEEE Transactions on Automatic Control.

[15]  Markus Schweighofer,et al.  On the complexity of Putinar's Positivstellensatz , 2005, 0812.2657.

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

[17]  P. Parrilo,et al.  New developments in sum of squares optimization and SOSTOOLS , 2004, Proceedings of the 2004 American Control Conference.

[18]  Yuandan Lin,et al.  A Smooth Converse Lyapunov Theorem for Robust Stability , 1996 .

[19]  Miroslav Krstic,et al.  A globally asymptotically stable polynomial vector field with no polynomial Lyapunov function , 2011, IEEE Conference on Decision and Control and European Control Conference.

[20]  A. A. Martynyuk,et al.  Lyapunov's direct method in stability theory (review) , 1992 .

[21]  Emmanuel Trélat,et al.  Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations , 2007, SIAM J. Control. Optim..

[22]  A. Garulli,et al.  Positive Polynomials in Control , 2005 .

[23]  Pablo A. Parrilo,et al.  A theorem of the alternative for SOS Lyapunov functions , 2007, 2007 46th IEEE Conference on Decision and Control.

[24]  A. Fuller,et al.  Stability of Motion , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[25]  Weehong Tan,et al.  Nonlinear Control Analysis and Synthesis using Sum-of-Squares Programming , 2006 .

[26]  V. Powers,et al.  An algorithm for sums of squares of real polynomials , 1998 .

[27]  Hans Frenk,et al.  High performance optimization , 2000 .

[28]  P. Olver.  Nonlinear Systems , 2013 .

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

[30]  Matthew M Peet,et al.  A parallel-computing solution for optimization of polynomials , 2010, Proceedings of the 2010 American Control Conference.

[31]  Matthew M. Peet,et al.  A generalized chain rule and a bound on the continuity of solutions and converse Lyapunov functions , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[32]  Katta G. Murty,et al.  Some NP-complete problems in quadratic and nonlinear programming , 1987, Math. Program..

[33]  Yurii Nesterov,et al.  Squared Functional Systems and Optimization Problems , 2000 .

[34]  J. L. Massera.  Contributions to Stability Theory , 1956 .

[35]  N. Z. Shor.  Class of global minimum bounds of polynomial functions , 1987 .

[36]  F. Wilson,et al.  Smoothing derivatives of functions and applications , 1969 .