Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Michal Konečný; Walid Taha; Jan Duracz; Adam Duracz; Aaron Ames

doi:10.1109/CPSNA.2013.6614258

Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Michal Konečný, Walid Taha, Jan Duracz, Adam Duracz, Aaron Ames

Computer Science Research Group

Research output: Chapter in Book/Published conference output › Conference publication

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.

Original language	English
Title of host publication	2013 IEEE 1st international conference on cyber-physical systems, networks, and applications (CPSNA)
Publisher	IEEE
Pages	120-125
Number of pages	6
ISBN (Electronic)	978-1-4799-0798-4
DOIs	https://doi.org/10.1109/CPSNA.2013.6614258
Publication status	Published - 2013
Event	1st international conference on Cyber-Physical Systems, Networks, and Applications - Taipei, Taiwan Duration: 19 Aug 2013 → 20 Aug 2013

Conference

Conference	1st international conference on Cyber-Physical Systems, Networks, and Applications
Abbreviated title	CPSNA 2013
Country/Territory	Taiwan
City	Taipei
Period	19/08/13 → 20/08/13

Bibliographical note

© 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.

Access to Document

10.1109/CPSNA.2013.6614258

Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point
© 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.
Accepted author manuscript, 243 KB

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6614258

Cite this

@inproceedings{16a1777cdef8463f98f8292e111d9bdd,

title = "Enclosing the behavior of a hybrid system up to and beyond a Zeno point",

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.",

author = "Michal Kone{\v c}n{\'y} and Walid Taha and Jan Duracz and Adam Duracz and Aaron Ames",

note = "{\textcopyright} 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.; 1st international conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013 ; Conference date: 19-08-2013 Through 20-08-2013",

year = "2013",

doi = "10.1109/CPSNA.2013.6614258",

language = "English",

pages = "120--125",

booktitle = "2013 IEEE 1st international conference on cyber-physical systems, networks, and applications (CPSNA)",

publisher = "IEEE",

address = "United States",

}

Konečný, M, Taha, W, Duracz, J, Duracz, A & Ames, A 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). IEEE, pp. 120-125, 1st international conference on Cyber-Physical Systems, Networks, and Applications, Taipei, Taiwan, 19/08/13. https://doi.org/10.1109/CPSNA.2013.6614258

TY - GEN

T1 - Enclosing the behavior of a hybrid system up to and beyond a Zeno point

AU - Konečný, Michal

AU - Taha, Walid

AU - Duracz, Jan

AU - Duracz, Adam

AU - Ames, Aaron

N1 - © 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.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84887375129&partnerID=8YFLogxK

U2 - 10.1109/CPSNA.2013.6614258

DO - 10.1109/CPSNA.2013.6614258

M3 - Conference publication

AN - SCOPUS:84887375129

SP - 120

EP - 125

BT - 2013 IEEE 1st international conference on cyber-physical systems, networks, and applications (CPSNA)

PB - IEEE

T2 - 1st international conference on Cyber-Physical Systems, Networks, and Applications

Y2 - 19 August 2013 through 20 August 2013

ER -

Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Abstract

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this