Polynomial level-set methods for nonlinear dynamical systems analysis

In this paper, we present a method for computing the domain of attraction for non-linear dynamical systems. We propose a level-set method where sets are represented as sublevel sets of polynomials. The problem of o wing these sets under the advection map of a dynamical system is converted to a semidenite program, which we use to compute the coecien ts of the polynomials. We further address the related problems of constraining the degree of the polynomials and the connectedness of the associated sets.

[1]  E. Davison,et al.  A computational method for determining quadratic lyapunov functions for non-linear systems , 1971 .

[2]  A. Levin An analytical method of estimating the domain of attraction for polynomial differential equations , 1994, IEEE Trans. Autom. Control..

[3]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

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

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

[6]  Pablo A. Parrilo,et al.  Introducing SOSTOOLS: a general purpose sum of squares programming solver , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[7]  A. Vicino,et al.  On optimal quadratic Lyapunov functions for polynomial systems , 2002 .

[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]  Z. Jarvis-Wloszek,et al.  Lyapunov Based Analysis and Controller Synthesis for Polynomial Systems using Sum-of-Squares Optimization , 2003 .

[10]  Pablo A. Parrilo,et al.  Semidefinite Programming Relaxations and Algebraic Optimization in Control , 2003, Eur. J. Control.

[11]  Ronald Fedkiw,et al.  Level set methods and dynamic implicit surfaces , 2002, Applied mathematical sciences.