| Abstract
|
<p>Even simple hybrid systems like t … <p>Even simple hybrid systems like the classic bouncing ball can exhibit Zeno behaviors. The existence of this type ofbehavior 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 agiven event. Such an event can then even occur an unbounded number of times, thus making it possible to handle certain types of Zeno behavior.</p> certain types of Zeno behavior.</p>
|
| Author
|
Michal Konecny +
, Walid Taha +
, Jan Duracz +
, Adam Duracz +
, Aaron Ames +
|
| Conference
|
The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, Taipei, Taiwan, August 19-20, 2013
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:651737
|
| PublicationType
|
Conference Paper +
|
| Title
|
Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
|
| Year
|
2013 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
, Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:40:07 +
|
