Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8055369 | Nonlinear Analysis: Hybrid Systems | 2016 | 20 Pages |
Abstract
Even simple hybrid automata like the classic bouncing ball can exhibit Zeno behavior. The existence of this type of behavior has so far forced a large class of 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 automata. 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 independent of the occurrence of a given event. Such an event can then even occur an unbounded number of times. This insight makes it possible to handle some types of Zeno behavior. If the post-Zeno state is defined explicitly in the given model of the hybrid automaton, the computed enclosure covers the corresponding trajectory that starts from the Zeno point through a restarted evolution.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Michal KoneÄný, Walid Taha, Ferenc A. Bartha, Jan Duracz, Adam Duracz, Aaron D. Ames,