On the estimation and control of the domain of attraction through rational Lyapunov functions

This paper addresses the estimation and control of the domain of attraction (DA) of equilibrium points through rational Lyapunov functions (LFs). Specifically, continuous-time nonlinear systems with polynomial nonlinearities are considered. The estimation problem consists of computing the largest estimate of the DA (LEDA) provided by a given rational LF. The control problem consists of computing a polynomial static output controller of given degree for maximizing such a LEDA. It is shown that lower bounds of the LEDA in the estimation problem, or the maximum achievable LEDA in the control problem, can be obtained by solving either an eigenvalue problem or a generalized eigenvalue problem with smaller dimension. The conservatism of these lower bounds can be reduced by increasing the degree of some multipliers introduced in the construction of the optimization problems. Moreover, a necessary and sufficient condition for establishing tightness of the found lower bounds is provided. Some numerical examples illustrate the use of the proposed results.

[1]  Andrew Packard,et al.  Stability Region Analysis Using Polynomial and Composite Polynomial Lyapunov Functions and Sum-of-Squares Programming , 2008, IEEE Transactions on Automatic Control.

[2]  A. Vicino,et al.  On the estimation of asymptotic stability regions: State of the art and new proposals , 1985 .

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

[4]  A. Packard,et al.  Stability Region Analysis Using Simulations and Sum-of-Squares Programming , 2007, 2007 American Control Conference.

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

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

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

[8]  A. Balestrino,et al.  R-composition of Lyapunov functions , 2009, 2009 17th Mediterranean Conference on Control and Automation.

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

[10]  G. Chesi.  Domain of Attraction: Analysis and Control via SOS Programming , 2011 .

[11]  Felix F. Wu,et al.  Stability regions of nonlinear autonomous dynamical systems , 1988 .

[12]  G. Stengle.  A nullstellensatz and a positivstellensatz in semialgebraic geometry , 1974 .

[13]  Andrew Packard,et al.  Control Applications of Sum of Squares Programming , 2005 .

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

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

[16]  Sergio Grammatico,et al.  Stability analysis of dynamical systems via R-functions , 2009, 2009 European Control Conference (ECC).

[17]  Alberto Tesi,et al.  On the stability domain estimation via a quadratic Lyapunov function: convexity and optimality properties for polynomial systems , 1996, IEEE Trans. Autom. Control..

[18]  A. Garulli,et al.  LMI‐based computation of optimal quadratic Lyapunov functions for odd polynomial systems , 2005 .

[19]  Robert Baier,et al.  A computational method for non-convex reachable sets using optimal control , 2009, 2009 European Control Conference (ECC).

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