hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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)
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). (Effective Modeling Group)
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). (Effective Modeling Group)
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). (Effective Modeling Group)ORCID-id: 0000-0003-4175-4020
Visa övriga samt affilieringar
2013 (Engelska)Ingår i: 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, Piscataway, N.J.: IEEE Press, 2013, s. 120-125Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Piscataway, N.J.: IEEE Press, 2013. s. 120-125
Nyckelord [en]
hybrid systems, validated numerics, simulation, model validation, reliability
Nationell ämneskategori
Beräkningsmatematik
Identifikatorer
URN: urn:nbn:se:hh:diva-23678DOI: 10.1109/CPSNA.2013.6614258ISI: 000339121000022Scopus ID: 2-s2.0-84887375129ISBN: 978-1-4799-0798-4 (digital)ISBN: 978-1-4799-0797-7 (tryckt)ISBN: 978-1-4799-0796-0 (tryckt)OAI: oai:DiVA.org:hh-23678DiVA, id: diva2:651737
Konferens
The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, Taipei, Taiwan, August 19-20, 2013
Forskningsfinansiär
KK-stiftelsen
Anmärkning

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.

Tillgänglig från: 2013-09-27 Skapad: 2013-09-27 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

cpsna13.pdf(328 kB)149 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 328 kBChecksumma SHA-512
91789e0c7431c15394b60c2c3363e39226dec529c4850c4c68cc1339b55d6295846864675ae7922552d50e8f4a181b2d6a8068e55d064bfec76e83c22cfe57ea
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Taha, WalidDuracz, JanDuracz, Adam

Sök vidare i DiVA

Av författaren/redaktören
Taha, WalidDuracz, JanDuracz, Adam
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Beräkningsmatematik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 149 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 270 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf