hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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 automaton up to and beyond a Zeno point
Computer Science Group, Aston University, Birmingham, United Kingdom. (Engineering & Applied Science)ORCID iD: 0000-0003-2374-9017
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Department of Computer Science, Rice University, Houston, Texas, USA. (Effective Modeling Group)
Department of Computer Science, Rice University, Houston, Texas, USA. (Effective Modeling Group)ORCID iD: 0000-0002-7545-9145
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)
Show others and affiliations
2016 (English)In: Nonlinear Analysis. Hybrid Systems., ISSN 1751-570X, E-ISSN 1878-7460, Vol. 20, 1-20 p.Article in journal (Refereed) Published
Abstract [en]

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. ©2015 The Authors. Published by Elsevier Ltd.

Place, publisher, year, edition, pages
London: Elsevier, 2016. Vol. 20, 1-20 p.
Keyword [en]
hybrid automata, hybrid systems, validated numerics, simulation, model validation, reliability
National Category
Computational Mathematics
Identifiers
URN: urn:nbn:se:hh:diva-29869DOI: 10.1016/j.nahs.2015.10.004ISI: 000370898700001Scopus ID: 2-s2.0-84947996983OAI: oai:DiVA.org:hh-29869DiVA: diva2:876228
Funder
Knowledge Foundation, 20100314
Note

A preliminary version of this paper was published in the proceedings of CPSNA 2013. This work was supported by the US National Science Foundation, awards NSF-CPS-1136099/1136104, the Swedish Knowledge Foundation (KK) and the Center for Research on Embedded Systems (CERES) grant number 20100314, and EPSRC grant number EP/C01037X/1.

Available from: 2015-12-02 Created: 2015-12-02 Last updated: 2016-03-23Bibliographically approved

Open Access in DiVA

fulltext(1756 kB)94 downloads
File information
File name FULLTEXT01.pdfFile size 1756 kBChecksum SHA-512
362650e5b16189ceb090fb92b9ec84e8376723c736aaf6d936b4e10a0de8cc7dec20c04c5b2d3343be3b0cc47355eb84327be9099dd1aa9938cbfacd20211aed
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Konečný, MichalTaha, WalidBartha, Ferenc ÁgostonDuracz, JanDuracz, Adam
By organisation
Centre for Research on Embedded Systems (CERES)
In the same journal
Nonlinear Analysis. Hybrid Systems.
Computational Mathematics

Search outside of DiVA

GoogleGoogle Scholar
Total: 94 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

Altmetric score

Total: 173 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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