Lost in translation: Hybrid-time flows vs. real-time transitions

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)

Abstract

Recently, hybrid-time flow systems have been introduced as an extension to timed transition systems, hybrid automata, continuous time evolutions of differential equations etc. Furthermore, a number of notions of bisimulation have been defined on these flow systems reflecting abstraction from certain timing properties. In this paper, we research the difference in abstraction level between this new semantic model of flow systems, and the more traditional model of real-time transition systems. We explore translations between the old and new semantic models, and we give a necessary and sufficient condition, called finite-set refutability, for these translations to be without loss of information. Finally, we show that differential inclusions with an upper-semicontinuous, closed and convex right-hand side, are finite-set refutable, and easily extend this result to impuls differential inclusions and hybrid automata.
Original languageEnglish
Title of host publicationHybrid Systems: Computation and Control (11th International Workshop, HSCC'08, St. Louis MO, USA, April 22-24, 2008, Proceedings)
EditorsM. Egerstedt, B. Mishra
Place of PublicationBerlin
PublisherSpringer
Pages116-129
ISBN (Print)978-3-540-78928-4
DOIs
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
Volume4981
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Lost in translation: Hybrid-time flows vs. real-time transitions'. Together they form a unique fingerprint.

  • Cite this

    Cuijpers, P. J. L., & Reniers, M. A. (2008). Lost in translation: Hybrid-time flows vs. real-time transitions. In M. Egerstedt, & B. Mishra (Eds.), Hybrid Systems: Computation and Control (11th International Workshop, HSCC'08, St. Louis MO, USA, April 22-24, 2008, Proceedings) (pp. 116-129). (Lecture Notes in Computer Science; Vol. 4981). Springer. https://doi.org/10.1007/978-3-540-78929-1_9