On the Gap Between Positive Polynomials and SOS of Polynomials

This note investigates the gap existing between positive polynomials and sum of squares (SOS) of polynomials, which affects several analysis and synthesis tools in control systems based on polynomial SOS relaxations, and about which almost nothing is known. In particular, a matrix characterization of the PNS, that is the positive homogeneous forms that are not SOS, is proposed, which allows to show that any PNS is the vertex of an unbounded cone of PNS. Moreover, a complete parametrization of the set of PNS is introduced.

[1]  Carsten W. Scherer,et al.  Computing optimal fixed order H∞-synthesis values by matrix sum of squares relaxations , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[2]  B. Tibken.  Estimation of the domain of attraction for polynomial systems via LMIs , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

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

[4]  Pablo A. Parrilo,et al.  Nonlinear control synthesis by convex optimization , 2004, IEEE Transactions on Automatic Control.

[5]  Pierre-Alexandre Bliman,et al.  A Convex Approach to Robust Stability for Linear Systems with Uncertain Scalar Parameters , 2003, SIAM J. Control. Optim..

[6]  Graziano Chesi,et al.  Robust stability of time-varying polytopic systems via parameter-dependent homogeneous Lyapunov functions , 2007, Autom..

[7]  Graziano Chesi,et al.  POLYNOMIALLY PARAMETER-DEPENDENT LYAPUNOV FUNCTIONS FOR ROBUST H∞ PERFORMANCE ANALYSIS , 2005 .

[8]  B. Tibken,et al.  Estimation of the domain of attraction for polynomial systems , 2005, The Fourth International Workshop on Multidimensional Systems, 2005. NDS 2005..

[9]  A. Papachristodoulou,et al.  Nonlinear control synthesis by sum of squares optimization: a Lyapunov-based approach , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[10]  Pierre-Alexandre Bliman.  Stabilization of LPV systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[11]  Graziano Chesi,et al.  Solving quadratic distance problems: an LMI-based approach , 2003, IEEE Trans. Autom. Control..

[12]  A. L. Zelentsovsky.  Nonquadratic Lyapunov functions for robust stability analysis of linear uncertain systems , 1994, IEEE Trans. Autom. Control..

[13]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

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

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

[16]  A. Vicino,et al.  On convexification of some minimum distance problems , 1999, 1999 European Control Conference (ECC).

[17]  A. Papachristodoulou.  Analysis of nonlinear time-delay systems using the sum of squares decomposition , 2004, Proceedings of the 2004 American Control Conference.

[18]  Olga Taussky-Todd.  SOME CONCRETE ASPECTS OF HILBERT'S 17TH PROBLEM , 1996 .

[19]  Tingshu Hu,et al.  Dissipativity for dual linear differential inclusions through conjugate storage functions , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[20]  Graziano Chesi,et al.  Computing output feedback controllers to enlarge the domain of attraction in polynomial systems , 2004, IEEE Transactions on Automatic Control.

[21]  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).

[22]  C.E. de Souza,et al.  Bi-quadratic stability of uncertain linear systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[23]  A. Papachristodoulou,et al.  Analysis of switched and hybrid systems - beyond piecewise quadratic methods , 2003, Proceedings of the 2003 American Control Conference, 2003..

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

[25]  Graziano Chesi,et al.  Polynomially parameter-dependent Lyapunov functions for robust stability of polytopic systems: an LMI approach , 2005, IEEE Transactions on Automatic Control.