Estimating the domain of attraction based on the invariance principle

Estimating the domain of attraction (DA) of an equilibrium point is a long-standing yet still challenging issue in nonlinear system analysis. The method using the sublevel set of Lyapunov functions is proven to be efficient, but sometimes conservative compared to the estimate via invariant sets. This paper studies the estimation problem of the DA for autonomous polynomial system by using the invariance principle. The main idea is to estimate the DA via sublevel sets of a positive polynomial, which characterizes the boundary of invariant sets. This new type of invariant sets admits the condition that the derivative of Lyapunov functions is non-positive, which generalizes the sublevel set method via Lyapunov functions. An iterative algorithm is then proposed for enlarging the estimate of the DA. Finally, the effectiveness of the proposed method is illustrated by numerical examples.

[1]  Peter Giesl,et al.  Existence of piecewise affine Lyapunov functions in two dimensions , 2010 .

[2]  Sophie Tarbouriech,et al.  Region of attraction estimates for polynomial systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[3]  V. Zubov.  Methods of A.M. Lyapunov and their application , 1965 .

[4]  Colin Neil Jones,et al.  Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems , 2012, NOLCOS.

[5]  Sanjay Lall,et al.  Polynomial Method for PLL Controller Optimization† , 2011, Sensors.

[6]  P. Olver.  Nonlinear Systems , 2013 .

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

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

[9]  G. P. Szegö,et al.  A Remark on “A New Partial Differential Equation for the Stability Analysis of Time Invariant Control Systems” , 1962 .

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

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

[12]  Carsten W. Scherer,et al.  Matrix Sum-of-Squares Relaxations for Robust Semi-Definite Programs , 2006, Math. Program..

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

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

[15]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[16]  Matthias Althoff,et al.  Control synthesis for non-polynomial systems: A domain of attraction perspective , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[17]  Ufuk Topcu,et al.  Local stability analysis using simulations and sum-of-squares programming , 2008, Autom..

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

[19]  James Anderson,et al.  Region of attraction analysis via invariant sets , 2014, 2014 American Control Conference.

[20]  Mircea Lazar,et al.  Domain of attraction computation for tumor dynamics , 2014, 53rd IEEE Conference on Decision and 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]  G. Chesi,et al.  LMI Techniques for Optimization Over Polynomials in Control: A Survey , 2010, IEEE Transactions on Automatic Control.

[23]  Graziano Chesi,et al.  Estimating the domain of attraction via union of continuous families of Lyapunov estimates , 2007, Syst. Control. Lett..

[24]  Didier Henrion,et al.  Convex Computation of the Region of Attraction of Polynomial Control Systems , 2012, IEEE Transactions on Automatic Control.

[25]  G. H. Ryder,et al.  Vibrations of Single-degree-of-freedom Systems , 1975 .

[26]  Francesco Amato,et al.  Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions , 2008, 2008 American Control Conference.

[27]  Graziano Chesi,et al.  Rational Lyapunov functions for estimating and controlling the robust domain of attraction , 2013, Autom..

[28]  A. Papachristodoulou,et al.  A tutorial on sum of squares techniques for systems analysis , 2005, Proceedings of the 2005, American Control Conference, 2005..

[29]  Matthias Althoff,et al.  Reachability Analysis of Nonlinear Differential-Algebraic Systems , 2014, IEEE Transactions on Automatic Control.

[30]  Mathukumalli Vidyasagar,et al.  Maximal lyapunov functions and domains of attraction for autonomous nonlinear systems , 1981, Autom..

[31]  Matthias Althoff,et al.  Power systems transient stability analysis via optimal rational Lyapunov functions , 2016, 2016 IEEE Power and Energy Society General Meeting (PESGM).

[32]  P. Parrilo,et al.  New developments in sum of squares optimization and SOSTOOLS , 2004, Proceedings of the 2004 American Control Conference.

[33]  M. Vidyasagar,et al.  Maximal Lyapunov Functions and Domains of Attraction for Autonomous Nonlinear Systems , 1981 .