Topological (bi-)simulation

MaRDI QIDQ2847419zbMATH OpenFDO

Authors P. J. L. Cuijpers, Michel A. Reniers

Publication date 9 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610405100X

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Topologies, Continuity and Bisimulations
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• On Bicontinuous Bisimulation and the Preservation of Stability
• On Simulations and Bisimulations of General Flow Systems

Cited in

(8)

• Topologies, Continuity and Bisimulations
• Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
• Rigorous discretization of hybrid systems using process calculi
• Hybrid process algebra
• Process algebra for hybrid systems
• Topological construction of parameterized bisimulation limit
• Equivalent environments and covering spaces for robots
• Safe \& robust reachability analysis of hybrid systems

This page was built for publication: Topological (bi-)simulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847419)