On convexity in stabilization of nonlinear systems

A stability criterion for nonlinear systems, derived by the first author (2000), can be viewed as a dual to Lyapunov's second theorem. The criterion is stated in terms of a function which can be interpreted as the stationary density of a substance that is generated all over the state space and flows along the system trajectories towards the equilibrium. The new criterion has a remarkable convexity property, which in this paper is used for controller synthesis via convex optimization. Numerical methods for verification of positivity of multivariate polynomials are used.

[1]  E. G.v..  Lectures on the calculus of variations , 1906 .

[2]  Solomon Lefschetz,et al.  Differential Equations: Geometric Theory , 1958 .

[3]  D. R. Fulkerson,et al.  Flows in Networks. , 1964 .

[4]  L. Young,et al.  Lectures on the Calculus of Variations and Optimal Control Theory. , 1971 .

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

[6]  V. Arnold.  Mathematical Methods of Classical Mechanics , 1974 .

[7]  L. Young.  Lectures on the Calculus of Variations and Optimal Control Theory , 1980 .

[8]  R. W. Brockett,et al.  Asymptotic stability and feedback stabilization , 1982 .

[9]  Z. Artstein.  Stabilization with relaxed controls , 1983 .

[10]  A. Isidori.  Nonlinear Control Systems , 1985 .

[11]  P. Walters.  Ergodic Theory and Differentiable Dynamics By Ricardo Mañé: Translated from the Portuguese by Silvio Levy. Ergebnisse de Mathematik und ihrer Grenzgebiete, 3 Folge-Band 8. Springer-Verlag 1987. , 1989, Ergodic Theory and Dynamical Systems.

[12]  R. Vinter.  Convex duality and nonlinear optimal control , 1993 .

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

[14]  Miroslav Krstic,et al.  Nonlinear and adaptive control de-sign , 1995 .

[15]  Yu. S. Ledyaev,et al.  A Lyapunov characterization of robust stabilization , 1999 .

[16]  L. Praly,et al.  Uniting local and global controllers , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[17]  Anders Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

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

[19]  A. Rantzer.  On the dual of Lyapunov's second theorem , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[20]  A. Rantzer.  A dual to Lyapunov's stability theorem , 2001 .