On the regularization of Zeno hybrid automata
1999 (English)In: Systems & control letters (Print), ISSN 0167-6911, E-ISSN 1872-7956, Vol. 38, no 3, 141-150 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
Elsevier, 1999. Vol. 38, no 3, 141-150 p.
Hybrid systems, Zeno automata, Regularization, Simulation
IdentifiersURN: urn:nbn:se:kth:diva-79881DOI: 10.1016/S0167-6911(99)00059-6ISI: 000165574500002OAI: oai:DiVA.org:kth-79881DiVA: diva2:495789
QC 201202272012-02-272012-02-092012-02-27Bibliographically approved