On Simulations and Bisimulations of General Flow Systems

DOI10.1007/978-3-540-71493-4_14MaRDI QIDQ3612967zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Logic in computer science (03B70) 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)

Recommendations

• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Bisimulation relations for dynamical, control, and hybrid systems
• scientific article; zbMATH DE number 4104403

Cited in

(15)

• Controller synthesis for bisimulation equivalence
• Topological (bi-)simulation
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Bisimulations between generalized Veltman models and Veltman models
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
• scientific article; zbMATH DE number 6970796 (Why is no real title available?)
• HYPE: hybrid modelling by composition of flows
• The true bisimulations for 'since' and 'until'
• Bisimulation and Hennessy-Milner logic for generalized synchronization trees
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• Understanding deadlock and livelock behaviors in hybrid control systems

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)