Konečný, Michal, Taha, Walid, Duracz, Jan, Duracz, Adam and Ames, Aaron (2013). Enclosing the behavior of a hybrid system up to and beyond a Zeno point. IN: 2013 IEEE 1st international conference on cyber-physical systems, networks, and applications (CPSNA). TWN: IEEE.
Abstract
Even simple hybrid systems like the classic bouncing ball can exhibit Zeno behaviors. The existence of this type of behavior has so far forced simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad hoc restrictions to circumvent Zeno behavior or to abandon hybrid modeling. To address this problem, we take a fresh look at event detection and localization. A key insight that emerges from this investigation is that an enclosure for a given time interval can be valid independently of the occurrence of a given event. Such an event can then even occur an unbounded number of times, thus making it possible to handle certain types of Zeno behavior.
Publication DOI: | https://doi.org/10.1109/CPSNA.2013.6614258 |
---|---|
Divisions: | ?? 50811700Jl ?? |
Additional Information: | © 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
Event Title: | 1st international conference on Cyber-Physical Systems, Networks, and Applications |
Event Type: | Other |
Event Dates: | 2013-08-19 - 2013-08-20 |
Uncontrolled Keywords: | Computational Theory and Mathematics,Engineering (miscellaneous),Modelling and Simulation |
ISBN: | 978-1-4799-0798-4 |
Last Modified: | 05 Aug 2024 12:16 |
Date Deposited: | 01 Oct 2013 08:27 |
Full Text Link: |
http://ieeexplo ... rnumber=6614258 |
Related URLs: |
http://www.scop ... tnerID=8YFLogxK
(Scopus URL) |
PURE Output Type: | Conference contribution |
Published Date: | 2013 |
Authors: |
Konečný, Michal
(![]() Taha, Walid Duracz, Jan Duracz, Adam Ames, Aaron |