Coordinate-invariant incremental Lyapunov functions

In this note, we propose coordinate-invariant notions of incremental Lyapunov function and provide characterizations of incremental stability in terms of existence of the proposed Lyapunov functions.

[1]  Antoine Girard,et al.  Controller synthesis for safety and reachability via approximate bisimulation , 2010, Autom..

[2]  Alessio Franci,et al.  Phase-locking between Kuramoto oscillators: Robustness to time-varying natural frequencies , 2010, 49th IEEE Conference on Decision and Control (CDC).

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

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

[5]  Yuan Wang,et al.  Stabilization in spite of matched unmodeled dynamics and an equivalent definition of input-to-state stability , 1996, Math. Control. Signals Syst..

[6]  David Angeli,et al.  A Lyapunov approach to incremental stability properties , 2002, IEEE Trans. Autom. Control..

[7]  Eduardo Sontag,et al.  On characterizations of the input-to-state stability property , 1995 .

[8]  Antoine Girard,et al.  Synthesis of switching controllers using approximately bisimilar multiscale abstractions , 2011, HSCC '11.

[9]  Paulo Tabuada,et al.  Towards backstepping design for incremental stability , 2010, 49th IEEE Conference on Decision and Control (CDC).

[10]  Eduardo Sontag,et al.  Forward Completeness, Unboundedness Observability, and their Lyapunov Characterizations , 1999 .

[11]  G. Zames.  Functional Analysis Applied to Nonlinear Feedback Systems , 1963 .

[12]  Rupak Majumdar,et al.  A Lyapunov approach in incremental stability , 2011, IEEE Conference on Decision and Control and European Control Conference.

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

[14]  Insup Lee,et al.  Robust Test Generation and Coverage for Hybrid Systems , 2007, HSCC.

[15]  Silke Wagner,et al.  Control software model checking using bisimulation functions for nonlinear systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[16]  George J. Pappas,et al.  Approximations of Stochastic Hybrid Systems , 2009, IEEE Transactions on Automatic Control.

[17]  Paulo Tabuada,et al.  Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, IEEE Transactions on Automatic Control.

[18]  Yi Liu,et al.  Nonlinear adaptive backstepping controller design for static VAR compensator , 2010, 2010 Chinese Control and Decision Conference.

[19]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[20]  A. Teel,et al.  A Smooth Lyapunov Function from a Class-kl Estimate Involving Two Positive Semideenite Functions , 1999 .

[21]  Paulo Tabuada,et al.  Backstepping Design for Incremental Stability , 2010, IEEE Transactions on Automatic Control.