A converse Lyapunov theorem for semiglobal practical asymptotic stability and application to cascades-based control

We present a converse Lyapunov result for nonlinear time-varying systems that are uniformly semiglobally asymptotically stable. This stability property pertains to the case when the size of initial conditions may be arbitrarily enlarged and the solutions of the system converge, in a stable way, to a closed ball that may be arbitrarily diminished by tuning a design parameter of the system (typically but not exclusively, a control gain). This result is notably useful in cascaded-based control when uniform practical asymptotic stability is established without a Lyapunov function, e.g. via averaging. We provide a concrete example by solving the stabilization problem of a hovercraft

[1]  Andrew R. Teel,et al.  Global asymptotic stability for the averaged implies semi-global practical asymptotic stability for the actual , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[2]  A. Isidori,et al.  Omega‐limit sets of a class of nonlinear systems that are semiglobally practically stabilized , 2005 .

[3]  Eduardo Sontag.  Remarks on stabilization and input-to-state stability , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[4]  Elena Panteley,et al.  Cascaded nonlinear time-varying systems : Analysis and design , 2005 .

[5]  R. A. Silverman,et al.  Introductory Real Analysis , 1972 .

[6]  Antonio Loría,et al.  Uniform semiglobal practical asymptotic stability for non-autonomous cascaded systems and applications , 2008, Autom..

[7]  R. Suárez,et al.  Global stabilization of nonlinear cascade systems , 1990 .

[8]  Rogelio Lozano,et al.  Semi-global practical stabilization of an underactuated surface vessel via nested saturation controller , 2003, Proceedings of the 2003 American Control Conference, 2003..

[9]  Yuandan Lin,et al.  A Smooth Converse Lyapunov Theorem for Robust Stability , 1996 .

[10]  Romeo Ortega,et al.  Cascaded control of feedback interconnected nonlinear systems: Application to robots with AC drives , 1997, Autom..

[11]  David Angeli,et al.  A Unifying Integral ISS Framework for Stability of Nonlinear Cascades , 2001, SIAM J. Control. Optim..

[12]  Adriaan Arie Johannes Lefeber,et al.  Tracking Control of Nonlinear Mechanical Systems , 2000 .

[13]  吉沢 太郎.  Stability theory by Liapunov's second method , 1966 .

[14]  Ying Tan,et al.  On non-local stability properties of extremum seeking control , 2006, Autom..

[15]  Antonio Loría,et al.  Growth rate conditions for uniform asymptotic stability of cascaded time-varying systems , 2001, Autom..

[16]  A. Teel,et al.  Global stabilizability and observability imply semi-global stabilizability by output feedback , 1994 .

[17]  A. Teel,et al.  A smooth Lyapunov function from a class- ${\mathcal{KL}}$ estimate involving two positive semidefinite functions , 2000 .

[18]  P. Kokotovic,et al.  Sufficient conditions for stabilization of sampled-data nonlinear systems via discrete-time approximations , 1999 .