On the regularization of Zeno hybrid automata

被引：382

作者：

Johansson, KH ^{[1
]}

Egerstedt, M

Lygeros, J

Sastry, S

机构：

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

[2] Royal Inst Technol, Div Optimizat & Syst Theory, S-10044 Stockholm, Sweden

来源：

SYSTEMS & CONTROL LETTERS | 1999年 / 38卷 / 03期

关键词：

hybrid systems; zeno automata; regularization; simulation;

D O I：

10.1016/S0167-6911(99)00059-6

中图分类号：

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

学科分类号：

0812 ;

摘要：

Fundamental properties of hybrid automata, such as existence and uniqueness of executions, are studied. Particular attention is devoted to Zeno hybrid automata, which are hybrid automata that take infinitely many discrete transitions in finite time. It is shown that regularization techniques can be used to extend the Zeno executions of these automata to times beyond the Zeno time. Different types of regularization may, however, lead to different extensions. A water tank control problem and a bouncing ball system are used to illustrate the results. (C) 1999 Elsevier Science B.V. All rights reserved.

引用

页码：141 / 150

页数：10

共 20 条

[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] BERARD B, 1996, LECT NOTES COMPUTER, V1046, P257
[4] BILLINGSLEY P., 1999, Convergence of Probability Measures, V2nd, DOI 10.1002/9780470316962
[5] A unified framework for hybrid control: Model and optimal control theory
Branicky, MS
Borkar, VS
Mitter, SK
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (01) : 31 - 45
[6] The SHIFT programming language for dynamic networks of hybrid automata
Deshpande, A
Gollu, A
Semenzato, L
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) : 584 - 587
[7] ELMQVIST H, 1994, DYMOLA DYNAMIC MODEL
[8] Filippov A.F., 1988, MATH ITS APPL SOVIET, V18
[9] The theory of hybrid automata
Henzinger, TA
[J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 278 - 292
[10] Fast switches in relay feedback systems
Johansson, KH
Rantzer, A
Åström, KJ
[J]. AUTOMATICA, 1999, 35 (04) : 539 - 552

← 1 2 →