Dynamical properties of hybrid automata

被引：507

作者：

Lygeros, J ^{[1
]}

Johansson, KH

Simic, SN

Zhang, J

Sastry, SS

机构：

[1] Univ Cambridge, Dept Engn, Cambridge CB2 1PZ, England

[2] Royal Inst Technol, Dept Signals Sensors & Syst, S-10044 Stockholm, Sweden

[3] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2003年 / 48卷 / 01期

基金：

美国国家航空航天局; 英国工程与自然科学研究理事会;

关键词：

continuity of solutions; dynamical systems; existence; LaSalle's principle; Lyapunov's indirect method; hybrid systems; uniqueness;

D O I：

10.1109/TAC.2002.806650

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：2 / 17

页数：16

共 46 条

[1]

ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042

[2]

Alur R, 1997, LECT NOTES COMPUT SC, V1243, P74

[3] Discrete abstractions of hybrid systems [J].

Alur, R ;

Henzinger, TA ;

Lafferriere, G ;

Pappas, GJ .

PROCEEDINGS OF THE IEEE, 2000, 88 (07) :971-984

[4]

[Anonymous], 1999, THESIS LUND I TECHNO

[5]

[Anonymous], 1995, WORKSHOP

[6] Impulse differential inclusions: A viability approach to hybrid systems [J].

Aubin, JP ;

Lygeros, J ;

Quincampoix, M ;

Sastry, S ;

Seube, N .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (01) :2-20

[7]

AUBIN JP, 1991, VIABILITY THEORYF

[8] Automotive engine control and hybrid systems: Challenges and opportunities [J].

Balluchi, A ;

Benvenuti, L ;

Di Benedetto, MD ;

Pinello, C ;

Sangiovanni-Vincentelli, AL .

PROCEEDINGS OF THE IEEE, 2000, 88 (07) :888-912

[9]

BERARD B, 1996, LECT NOTES COMPUTER, V1046, P257

[10]

Borkar V. S., 1995, PROBABILITY THEORY A

← 1 2 3 4 5 →