Recent trends in the stability analysis of hybrid dynamical systems

Dramatic progress in computing capabilities has resulted in the synthesis and implementation of increasingly complex dynamical systems. Since such systems frequently exhibit simultaneously several kinds of dynamic behavior in different parts of the system, they are referred to as hybrid dynamical systems. Such systems frequently defy traditional modeling and analysis techniques since the different system components may evolve along different notions of "time", including real time, discrete time, and discrete events. Most investigations of such systems to date involve ad hoc models and tailor-made analysis results. In some recent work, however, a general model has been proposed which contains most of the different classes of hybrid dynamical systems considered in the literature as special cases. At the core of this general model of hybrid dynamical system, which is defined on an arbitrary metric space, is a notion of generalized time. For this class of general hybrid dynamical systems, a variety of Lyapunov and Lagrange stability results have been established and made public in a scattering of publications and workshop records. Our objective in this paper is to present a unified overview of the more important aspects of this work.

[1]  Wolfgang Hahn,et al.  Stability of Motion , 1967 .

[2]  T. Pavlidis Stability of systems described by differential equations containing impulses , 1967 .

[3]  I. Sandberg Some theorems on the dynamic response of nonlinear transistor networks , 1969 .

[4]  W. Walter Differential and Integral Inequalities , 1970 .

[5]  J. Hale Functional Differential Equations , 1971 .

[6]  A. Michel,et al.  Stability analysis of interconnected dynamical systems: Hybrid systems involving operators and difference equations , 1987 .

[7]  P. Varaiya,et al.  Hybrid dynamical systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[8]  D. Baĭnov,et al.  Systems with impulse effect : stability, theory, and applications , 1989 .

[9]  R. Decarlo,et al.  Asymptotic Stability of m-Switched Systems using Lyapunov-Like Functions , 1991, 1991 American Control Conference.

[10]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[11]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[12]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[13]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[14]  Panos J. Antsaklis,et al.  Lyapunov stability of a class of discrete event systems , 1994, IEEE Trans. Autom. Control..

[15]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[16]  Branicky [IEEE 1994 33rd IEEE Conference on Decision and Control - Lake Buena Vista, FL, USA (14-16 Dec. 1994)] Proceedings of 1994 33rd IEEE Conference on Decision and Control - Stability of switched and hybrid systems , 1994 .

[17]  M. Branicky Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[18]  Panos J. Antsaklis,et al.  A general model for the qualitative analysis of hybrid dynamical systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[19]  Kevin M. Passino,et al.  Lagrange stability and boundedness of discrete event systems , 1995, Discret. Event Dyn. Syst..

[20]  Michael S. Branicky,et al.  Studies in hybrid systems: modeling, analysis, and control , 1996 .

[21]  A. Michel,et al.  Some qualitative properties of sampled-data control systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[22]  A. Michel,et al.  Stability analysis of systems with impulse effects , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[23]  A. Michel,et al.  Stability Analysis of Discontinuous Dynamical Systems with Applications , 1996 .

[24]  S. Pettersson,et al.  Stability and robustness for hybrid systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[25]  Ilya Kolmanovsky,et al.  Hybrid control for stabilization of a class of cascade nonlinear systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[26]  B. Brogliato,et al.  On the control of finite-dimensional mechanical systems with unilateral constraints , 1997, IEEE Trans. Autom. Control..

[27]  Anthony N. Michel,et al.  Modeling and Qualitative Theory for General Hybrid Dynamical and Control Systems , 1997 .

[28]  Ling Hou,et al.  Stability analysis of a general class of hybrid dynamical systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[29]  A. Michel,et al.  Some qualitative properties of sampled-data control systems , 1997, IEEE Trans. Autom. Control..

[30]  Anthony N. Michel,et al.  Stability Analysis of Interconnected Hybrid Dynamical Systems , 1998 .

[31]  A. Michel,et al.  A comparison theory for stability analysis of discontinuous dynamical systems. I. Results involving stability preserving mappings , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[32]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[33]  Bo Hu,et al.  Some qualitative properties of multirate digital control systems , 1999, IEEE Trans. Autom. Control..

[34]  Cheong Boon Soh,et al.  Lyapunov stability of a class of hybrid dynamic systems , 2000, Autom..