Lasalle's Invariance Theorem for Nonsmooth Lagrangian Dynamical Systems

A key condition for the statement of Lasalle's invariance theorem is the continuity of the trajectories of the dynamical systems with respect to initial conditions. Systems with discontinuous flows generally don't present such a continuity, but in the particular case of nonsmooth Lagrangian dynamical systems we will see that in fact this continuity property holds in most cases. We will then be able to propose a a LaSalle's invariance theorem for nonsmooth dynamical systems satisfying this property through the use of general time-invariant flows.orem for nonsmooth dynamical systems still needs to be stated, so we propose here to extend this theorem through the framework of nonsmooth dynamical systems.

[1]  J. Moreau An introduction to Unilateral Dynamics , 2004 .

[2]  C. Glocker On frictionless impact models in rigid-body systems , 2001, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[3]  Pierre-Brice Wieber,et al.  Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction , 2005, HSCC.

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

[5]  J. Hiriart-Urruty,et al.  Convex analysis and minimization algorithms , 1993 .

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

[7]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[8]  Laetitia Paoli Problèmes de vibro-impact : étude de la dépendance par rapport aux données , 2004 .

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

[10]  J. Moreau,et al.  Unilateral Contact and Dry Friction in Finite Freedom Dynamics , 1988 .

[11]  M. Schatzman A class of nonlinear differential equations of second order in time , 1978 .

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

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

[14]  M. Branicky Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[15]  P. Ballard The Dynamics of Discrete Mechanical Systems with Perfect Unilateral Constraints , 2000 .