Dynamical properties of hybrid automata

Lygeros, John; Johansson, Karl Henrik; Simić, Slobodan N.; Zhang, Jun; Sastry, Shankar

doi:10.1109/tac.2002.806650

articleIEEE Transactions on Automatic ControlJan 1, 2003GREEN OA

Dynamical properties of hybrid automata

JLJohn Lygeros KHKarl Henrik Johansson SNSlobodan N. Simić JZJun Zhang SSShankar Sastry

University of Cambridge · KTH Royal Institute of Technology · +1 more institution

Indexed incrossref

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.

Citation impact

803

total citations

FWCI: 45.49
Percentile: 100%
References: 55

Citations per year

Authors

5

Topics & keywords

Topics

Keywords

Mathematics
Uniqueness
Automaton
Hybrid system
Linearization
Hybrid automaton
Dynamical systems theory
Lyapunov function

No related works found for this paper.