Continuity and invariance in hybrid automata

Hybrid automata have been proposed as a language for modelling and analysing the interaction of digital and analogue dynamics in embedded computer systems. In the paper, hybrid automata are studied from a dynamical systems perspective. Extending earlier work on conditions for existence and uniqueness of executions of hybrid automata, we characterise a class of hybrid automata whose executions depend continuously on the initial state. The continuity conditions are subsequently used to derive an extension of LaSalle's principle for studying the stability of invariant sets of states of hybrid automata.

[1]  Karl Henrik Johansson,et al.  Dynamical Systems Revisited: Hybrid Systems with Zeno Executions , 2000, HSCC.

[2]  S. Sastry.  Nonlinear Systems: Analysis, Stability, and Control , 1999 .

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

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

[5]  S. Sastry,et al.  Zeno hybrid systems , 2001 .

[6]  Jun-ichi Imura,et al.  Characterization of well-posedness of piecewise-linear systems , 2000, IEEE Trans. Autom. Control..

[7]  A. J. van der Schaft,et al.  Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..

[8]  S. Shankar Sastry,et al.  Hierarchically consistent control systems , 2000, IEEE Trans. Autom. Control..

[9]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[10]  J. Lygeros,et al.  Behavior based robotics using regularized hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[11]  S. Sastry,et al.  Simulation of Zeno hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

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

[13]  A. Stephen Morse,et al.  Control Using Logic-Based Switching , 1997 .

[14]  Proof of Lemma 3 , 2022 .

[15]  W. P. M. H. Heemels,et al.  Linear Complementarity Systems , 2000, SIAM J. Appl. Math..

[16]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[17]  Michael D. Lemmon.  On the Existence of Solutions to Controlled Hybrid Automata , 2000, HSCC.

[18]  Thomas A. Henzinger,et al.  Modularity for Timed and Hybrid Systems , 1997, CONCUR.

[19]  M. Broucke,et al.  Regularity of solutions and homotopic equivalence for hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[20]  Karl Henrik Johansson,et al.  Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.

[21]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

[22]  S. Sastry,et al.  On the existence of executions of hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).