Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions

DOI10.1007/978-3-540-78929-1_9zbMath1143.68480OpenAlexW1584905895MaRDI QIDQ3523102

Pieter J. L. Cuijpers, Michel Reniers

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic methods (93B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Bisimulation maps in presheaf categories ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hybrid I/O automata.
• Hybrid process algebra
• Process algebra for hybrid systems
• An introduction to hybrid dynamical systems
• Process algebra with timing
• Syntax and consistent equation semantics of hybrid Chi
• Bisimulation relations for dynamical, control, and hybrid systems
• On Simulations and Bisimulations of General Flow Systems
• Impulse differential inclusions: a viability approach to hybrid systems
• Hybrid Systems: Computation and Control

This page was built for publication: Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions