Polynomial Feedback and Observer Design using Nonquadratic Lyapunov Functions

In polynomial state feedback and observer design, it is often assumed that the corresponding Lyapunov functions are quadratic. This assumption allows to guarantee global stability and to use semidefinite programming and the sum of squares decomposition. In the present paper, state feedback and observer design strategies based on semidefinite programming and the sum of squares decomposition are proposed which can deal with nonquadratic Lyapunov functions without jeopardizing global stability. In particular, homogeneous Lyapunov functions and generalized Krasovskii-type Lyapunov functions are studied for state feedback design and Lyapunov functions which are nonquadratic with respect to the control system output are studied for observer design.

[1]  J. March.  Introduction to the Calculus of Variations , 1999 .

[2]  L. Rosier.  Homogeneous Lyapunov function for homogeneous continuous vector field , 1992 .

[3]  F. Allgower,et al.  A duality-based LPV approach to polynomial state feedback design , 2005, Proceedings of the 2005, American Control Conference, 2005..

[4]  Guanrong Chen,et al.  Feedback control of a biodynamical model of HIV-1 , 2001, IEEE Transactions on Biomedical Engineering.

[5]  Winfried Stefan Lohmiller,et al.  Contraction analysis of nonlinear systems , 1999 .

[6]  Murat Arcak,et al.  Constructive nonlinear control: a historical perspective , 2001, Autom..

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

[8]  F. Allgöwer,et al.  Nonlinear High-Gain Observer Design via Semidefinite Programming , 2004 .

[9]  J. Doyle,et al.  XW Control of Nonlinear Systems : A Convex Characterization , 1995 .

[10]  J. Cloutier.  State-dependent Riccati equation techniques: an overview , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[11]  J. Doyle,et al.  𝓗∞ Control of Nonlinear Systems: a Convex Characterization , 1995, IEEE Trans. Autom. Control..

[12]  Nathan van de Wouw,et al.  Convergent dynamics, a tribute to Boris Pavlovich Demidovich , 2004, Syst. Control. Lett..

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

[14]  Jeff S. Shamma,et al.  Existence of SDRE stabilizing feedback , 2003, IEEE Trans. Autom. Control..

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

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

[17]  S. E. Tuna,et al.  Generalized dilations and numerically solving discrete-time homogeneous optimization problems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[18]  D. Jacobson.  Extensions of Linear-Quadratic Control, Optimization and Matrix Theory , 1977 .

[19]  Jean-Jacques E. Slotine,et al.  On Contraction Analysis for Non-linear Systems , 1998, Autom..

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

[21]  F. Allgower,et al.  Passivity-based nonlinear dynamic output feedback design: a semidefinite programming approach , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).