Topological (bi-)simulation

zbMATH Open1271.68177MaRDI QIDQ2847419FDOQ2847419

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

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

Mathematics Subject Classification ID

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

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)