Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Dynamical properties of hybrid automata

Author(s):

J. Lygeros, K. H. Johansson, S. N. Simic, J. Zhang, S. Sastry
Conference/Journal:

IEEE Transactions on Automatic Control, vol. 48, pp. 2-17
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.

Year:

2003
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@Article { LygEtal:2003:IFA_2592,
    author={J. Lygeros and K. H. Johansson and S. N. Simic and J. Zhang and S.
	  Sastry},
    title={{Dynamical properties of hybrid automata}},
    journal={IEEE Transactions on Automatic Control},
    year={2003},
    volume={48},
    number={},
    pages={2--17},
    month=jan,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=2592}
}
Permanent link