Dynamical properties of hybrid automata

Top Cited Papers

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.

Keywords

This publication has 37 references indexed in Scilit:

Automata for modeling real-time systems
Published by Springer Nature ,2005
Impulse differential inclusions: a viability approach to hybrid systems
IEEE Transactions on Automatic Control, 2002
Zeno hybrid systems
International Journal of Robust and Nonlinear Control, 2001
Characterization of well-posedness of piecewise-linear systems
IEEE Transactions on Automatic Control, 2000
Computation of piecewise quadratic Lyapunov functions for hybrid systems
IEEE Transactions on Automatic Control, 1998
Conflict resolution for air traffic management: a study in multiagent hybrid systems
IEEE Transactions on Automatic Control, 1998
Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
IEEE Transactions on Automatic Control, 1998
Complementarity modeling of hybrid systems
IEEE Transactions on Automatic Control, 1998
On the dynamics of rigid-block motion under harmonic forcing
Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
Stability theory for ordinary differential equations
Journal of Differential Equations, 1968