On Bicontinuous Bisimulation and the Preservation of Stability

DOI10.1007/978-3-540-71493-4_59zbMATH Open1221.93208OpenAlexW1494075606MaRDI QIDQ3613014FDOQ3613014

Authors: P. J. L. Cuijpers 

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_59

Recommendations

• Bisimulation relations for dynamical, control, and hybrid systems
• Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
• Bisimulation relations for dynamical and control systems
• Bisimilar linear systems.
• Bisimilar control affine systems

Mathematics Subject Classification ID

Robust stability (93D09)

Cited In (9)

• Topologies, Continuity and Bisimulations
• Pre-orders for reasoning about stability
• Simulation relations and controllability properties of linear and nonlinear control systems
• On Bisimilarity and Substitution in Presence of Replication
• Bisimulation relations for dynamical, control, and hybrid systems
• Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
• Topological (bi-)simulation
• Safe \& robust reachability analysis of hybrid systems
• Next-preserving branching bisimulation

This page was built for publication: On Bicontinuous Bisimulation and the Preservation of Stability

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