On Simulations and Bisimulations of General Flow Systems
DOI10.1007/978-3-540-71493-4_14zbMATH Open1221.93113OpenAlexW1524746456MaRDI QIDQ3612967FDOQ3612967
Authors: J. M. Davoren, Paulo Tabuada 
Publication date: 11 March 2009
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-71493-4_14
Recommendations
Controllability (93B05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Logic in computer science (03B70)
Cited In (15)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
- Title not available (Why is that?)
- HYPE: hybrid modelling by composition of flows
- Bisimulations between generalized Veltman models and Veltman models
- The true bisimulations for 'since' and 'until'
- Hybrid Systems: Computation and Control
- Controller synthesis for bisimulation equivalence
- Topological (bi-)simulation
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Understanding deadlock and livelock behaviors in hybrid control systems
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
- Hybrid Systems: Computation and Control
- Bisimulation and Hennessy-Milner logic for generalized synchronization trees
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
This page was built for publication: On Simulations and Bisimulations of General Flow Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612967)
