Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point
Aston University, Birmingham, United Kingdom. (Engineering & Applied Science)
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)ORCID iD: 0000-0003-4175-4020
Show others and affiliations
2013 (English)In: 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, Piscataway, N.J.: IEEE Press, 2013, 120-125 p.Conference paper, Published paper (Refereed)
Abstract [en]

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

Place, publisher, year, edition, pages
Piscataway, N.J.: IEEE Press, 2013. 120-125 p.
Keyword [en]
hybrid systems, validated numerics, simulation, model validation, reliability
National Category
Computational Mathematics
Identifiers
URN: urn:nbn:se:hh:diva-23678DOI: 10.1109/CPSNA.2013.6614258ISI: 000339121000022Scopus ID: 2-s2.0-84887375129ISBN: 978-1-4799-0798-4 (electronic)ISBN: 978-1-4799-0797-7 (print)ISBN: 978-1-4799-0796-0 (print)OAI: oai:DiVA.org:hh-23678DiVA: diva2:651737
Conference
The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, Taipei, Taiwan, August 19-20, 2013
Funder
Knowledge Foundation
Note

This work was supported by the US National Science Foundation, awards NSF-CPS-1136099/1136104, the Swedish Knowledge Foundation (KK), The Center for Research on Embedded Systems (CERES), and EPSRC grant number EP/C01037X/1.

Available from: 2013-09-27 Created: 2013-09-27 Last updated: 2017-04-11Bibliographically approved

Open Access in DiVA

cpsna13.pdf(328 kB)113 downloads
File information
File name FULLTEXT01.pdfFile size 328 kBChecksum SHA-512
91789e0c7431c15394b60c2c3363e39226dec529c4850c4c68cc1339b55d6295846864675ae7922552d50e8f4a181b2d6a8068e55d064bfec76e83c22cfe57ea
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Taha, WalidDuracz, JanDuracz, Adam
By organisation
Centre for Research on Embedded Systems (CERES)
Computational Mathematics

Search outside of DiVA

GoogleGoogle Scholar
Total: 113 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 124 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf