On Simulations and Bisimulations of General Flow Systems
From MaRDI portal
Publication:3612967
DOI10.1007/978-3-540-71493-4_14zbMath1221.93113OpenAlexW1524746456MaRDI QIDQ3612967
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
Controllability (93B05) Discrete-time control/observation systems (93C55) Logic in computer science (03B70) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour, On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions, Unnamed Item, Understanding deadlock and livelock behaviors in hybrid control systems, HYPE: hybrid modelling by composition of flows, On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems, Controller synthesis for bisimulation equivalence, Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces