Dynamical properties of hybrid automata
Lygeros, J.
Johansson, K.H.
Simic, S.N.
Jun Zhang
Sastry, S.S.
Dept. of Eng., Univ. of Cambridge, UK;
This paper appears in: Automatic Control, IEEE Transactions on
Publication Date: Jan 2003
Volume: 48,
Issue: 1
On page(s): 2- 17
ISSN: 0018-9286
INSPEC Accession Number: 7519581
Digital Object Identifier: 10.1109/TAC.2002.806650
Current Version Published: 2003-01-22
Abstract
Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid automata are studied here from a dynamical systems perspective. Necessary and sufficient conditions for existence and uniqueness of solutions are derived and a class of hybrid automata whose solutions depend continuously on the initial state is characterized. The results on existence, uniqueness, and continuity serve as a starting point for stability analysis. Lyapunov's theorem on stability via linearization and LaSalle's invariance principle are generalized to hybrid automata.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
