Abstract
Mathematical models of hybrid systems may exhibit Zeno behaviour, in which infinitely many discrete events occur in a finite time interval. Although this may be considered physically unrealistic, since Zeno behaviour is useful in modelling real-world systems, it is important for computational tools to be able to handle it. In particular, verification tools should use a well-defined semantics under which the Zeno behaviour is effectively and rigorously computable. In this paper, we give a semantics for systems with events similar to mechanical impacts and show that computation of the behaviour is possible, even beyond the Zeno time. If we allow perturbations outside this class of impacting systems, then it may not be possible to handle Zeno behaviour in a realistic way. Copyright (C) 2022 The Authors.
Original language | English |
---|---|
Title of host publication | IFAC PAPERSONLINE |
Publisher | Elsevier |
Pages | 85-90 |
Number of pages | 6 |
Volume | 55 |
Edition | 30 |
DOIs | |
Publication status | Published - 2022 |
Event | 25th International Symposium on Mathematical Theory of Networks and Systems (MTNS) - University of Bayreuth, Bayreuth, Germany Duration: 12 Sept 2022 → 16 Sept 2022 https://www.mtns2022.uni-bayreuth.de/en/index.html |
Symposium
Symposium | 25th International Symposium on Mathematical Theory of Networks and Systems (MTNS) |
---|---|
Abbreviated title | MTNS 2022 |
Country/Territory | Germany |
City | Bayreuth |
Period | 12/09/22 → 16/09/22 |
Internet address |
Keywords
- Hybrid system
- Zeno
- impact
- computability
- transfinite
- HYBRID
- STABILITY