A Corollary for Nonsmooth Systems

In this note, two generalized corollaries to the LaSalle-Yoshizawa Theorem are presented for nonautonomous systems described by nonlinear differential equations with discontinuous right-hand sides. Lyapunov-based analysis methods are developed using differential inclusions to achieve asymptotic convergence when the candidate Lyapunov derivative is upper bounded by a negative semi-definite function.

[1]  Shankar Sastry,et al.  A calculus for computing Filippov's differential inclusion with application to the variable structure control of robot manipulators , 1986, 1986 25th IEEE Conference on Decision and Control.

[2]  Tielong Shen,et al.  Adaptive control approach to uncertain longitudinal tire slip in traction control of vehicles , 2008 .

[3]  Nariman Sepehri,et al.  On Lyapunov's stability analysis of non-smooth systems with applications to control engineering , 2001 .

[4]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[5]  V. Matrosov.  On the stability of motion , 1962 .

[6]  Yu. S. Ledyaev,et al.  Nonsmooth analysis and control theory , 1998 .

[7]  Nariman Sepehri,et al.  On design of continuous Lyapunov's feedback control , 2005, J. Frankl. Inst..

[8]  Ricardo G. Sanfelice,et al.  Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability , 2007, IEEE Transactions on Automatic Control.

[9]  Ricardo G. Sanfelice,et al.  Asymptotic Stability in Hybrid Systems via Nested Matrosov Functions , 2009, IEEE Transactions on Automatic Control.

[10]  Andrew R. Teel,et al.  Weak Converse Lyapunov Theorems and Control-Lyapunov Functions , 2003, SIAM J. Control. Optim..

[11]  Antonio Loría,et al.  A nested Matrosov theorem and persistency of excitation for uniform convergence in stable nonautonomous systems , 2005, IEEE Transactions on Automatic Control.

[12]  A. Bacciotti,et al.  Stability and Stabilization of Discontinuous Systems and Nonsmooth Lyapunov Functions , 1999 .

[13]  Andrea Bacciotti,et al.  An invariance principle for nonlinear switched systems , 2005, Syst. Control. Lett..

[14]  G. Cheng,et al.  Finite-time stability with respect to a closed invariant set for a class of discontinuous systems , 2009 .

[15]  Bor-Sen Chen,et al.  A general invariance principle for nonlinear time-varying systems and its applications , 2001, IEEE Trans. Autom. Control..

[16]  Andrea Bacciotti,et al.  Nonpathological Lyapunov functions and discontinuous Carathéodory systems , 2006, Autom..

[17]  G. Smirnov.  Introduction to the Theory of Differential Inclusions , 2002 .

[18]  Antonio Loría,et al.  Integral Characterizations of Uniform Asymptotic and Exponential Stability with Applications , 2002, Math. Control. Signals Syst..

[19]  Shouchuan Hu.  Differential equations with discontinuous right-hand sides☆ , 1991 .

[20]  Tomás Caraballo,et al.  Pullback attractors for asymptotically compact non-autonomous dynamical systems , 2006 .

[21]  Andrew R. Teel,et al.  Asymptotic convergence from Lp stability , 1999, IEEE Trans. Autom. Control..

[22]  Yu. S. Ledyaev,et al.  Asymptotic Stability and Smooth Lyapunov Functions , 1998 .

[23]  F. Clarke.  Optimization And Nonsmooth Analysis , 1983 .

[24]  Zhong-Ping Jiang,et al.  A Generalization of Krasovskii-LaSalle Theorem for Nonlinear Time-Varying Systems: Converse Results and Applications , 2005, IEEE Trans. Autom. Control..

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

[26]  C. Byrnes,et al.  An integral-invariance principle for nonlinear systems , 1995, IEEE Trans. Autom. Control..

[27]  J. P. Lasalle.  Some Extensions of Liapunov's Second Method , 1960 .

[28]  J. Alvarez,et al.  An Invariance Principle for Discontinuous Dynamic Systems With Application to a Coulomb Friction Oscillator , 2000 .

[29]  Sanjay P. Bhat,et al.  Semistability for time-varying discontinuous dynamical systems with application to agreement problems in switching networks , 2008, 2008 47th IEEE Conference on Decision and Control.

[30]  Tunc Geveci,et al.  Advanced Calculus , 2014, Nature.

[31]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[32]  Lihong Huang,et al.  Generalized Lyapunov method for discontinuous systems , 2009 .

[33]  Zvi Artstein,et al.  Uniform asymptotic stability via the limiting equations , 1978 .

[34]  Yuri Orlov,et al.  Extended invariance principle for nonautonomous switched systems , 2003, IEEE Trans. Autom. Control..

[35]  S. Bhat,et al.  An invariance principle for nonlinear hybrid and impulsive dynamical systems , 2003 .

[36]  J. Hale,et al.  Stability of Motion. , 1964 .

[37]  M. Forti,et al.  Generalized Lyapunov approach for convergence of neural networks with discontinuous or non-Lipschitz activations , 2006 .

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

[39]  Wilfrid Perruquetti,et al.  Finite time stability of differential inclusions , 2005, IMA J. Math. Control. Inf..

[40]  Michael Malisoff,et al.  Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems , 2006, math/0610210.

[41]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[42]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[43]  Alessandro Astolfi,et al.  A LaSalle version of Matrosov theorem , 2011, IEEE Conference on Decision and Control and European Control Conference.

[44]  E. Ryan.  An Integral Invariance Principle for Differential Inclusions with Applications in Adaptive Control , 1998 .

[45]  João Pedro Hespanha,et al.  Uniform stability of switched linear systems: extensions of LaSalle's Invariance Principle , 2004, IEEE Transactions on Automatic Control.

[46]  Andrew R. Teel,et al.  Smooth Lyapunov functions and robustness of stability for difference inclusions , 2004, Syst. Control. Lett..

[47]  Otomar Hájek,et al.  Discontinuous differential equations, II , 1979 .

[48]  A. Fuller,et al.  Stability of Motion , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[49]  Mihai Necula,et al.  Nonlinear evolution equations on locally closed graphs , 2010 .

[50]  B. Paden,et al.  Lyapunov stability theory of nonsmooth systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[51]  Xiaoming Wang,et al.  Attractors for noncompact nonautonomous systems via energy equations , 2003 .

[52]  David Angeli,et al.  Nonlinear norm-observability notions and stability of switched systems , 2005, IEEE Transactions on Automatic Control.