Multiple Lyapunov functions and other analysis tools for switched and hybrid systems

We introduce some analysis tools for switched and hybrid systems. We first present work on stability analysis. We introduce multiple Lyapunov functions as a tool for analyzing Lyapunov stability and use iterated function systems theory as a tool for Lagrange stability. We also discuss the case where the switched systems are indexed by an arbitrary compact set. Finally, we extend Bendixson's theorem to the case of Lipschitz continuous vector fields, allowing limit cycle analysis of a class of "continuous switched" systems.

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

[2]  and Charles K. Taft Reswick,et al.  Introduction to Dynamic Systems , 1967 .

[3]  V. Utkin.  Variable structure systems with sliding modes , 1977 .

[4]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

[5]  P. Holmes,et al.  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.

[6]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[7]  A. Haddad,et al.  On the Controllability and Observability of Hybrid Systems , 1988, 1988 American Control Conference.

[8]  Michael F. Barnsley,et al.  Fractals everywhere , 1988 .

[9]  Roger W. Brockett,et al.  Smooth dynamical systems which realize arithmetical and logical operations , 1989 .

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

[11]  E. Vrscay.  Iterated function systems: theory, applications and the inverse problem , 1991 .

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

[13]  Jozef Hooman,et al.  A Compositional Approach to the Design of Hybrid Systems , 1992, Hybrid Systems.

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

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

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

[17]  M. Vidyasagar,et al.  Nonlinear systems analysis (2nd ed.) , 1993 .

[18]  M. Branicky.  Analyzing continuous switching systems: theory and examples , 1994, Proceedings of 1994 American Control Conference - ACC '94.

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

[20]  R. Decarlo,et al.  Construction of piecewise Lyapunov functions for stabilizing switched systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[21]  Yuandan Lin,et al.  Recent results on Lyapunov-theoretic techniques for nonlinear stability , 1994, Proceedings of 1994 American Control Conference - ACC '94.

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

[23]  Michael S. Branicky,et al.  Universal Computation and Other Capabilities of Hybrid and Continuous Dynamical Systems , 1995, Theor. Comput. Sci..

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

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

[26]  Karl Johan Åström,et al.  A Stabilizing Switching Scheme for Multi Controller Systems , 1996 .

[27]  Bengt Lennartson,et al.  Modelling, analysis, and synthesis of hybrid systems , 1996 .

[28]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[29]  Bjj Orn Schieeer.  Simulation of Hybrid Systems , 2022 .