On Bicontinuous Bisimulation and the Preservation of Stability

DOI10.1007/978-3-540-71493-4_59MaRDI QIDQ3613014zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Robust stability (93D09)

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

Cited in

(9)

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

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)