Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
From MaRDI portal
Publication:3523108
DOI10.1007/978-3-540-78929-1_15zbMath1144.93340arXiv0807.5022MaRDI QIDQ3523108
Antoine Girard, Paulo Tabuada, Giordano Pola
Publication date: 2 September 2008
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0807.5022
93C83: Control/observation systems involving computers (process control, etc.)
93C95: Application models in control theory
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Quantifying conformance using the Skorokhod metric, Finite abstractions for hybrid systems with stable continuous dynamics, Supervisory control for collision avoidance in vehicular networks using discrete event abstractions, Verification of continuous dynamical systems by timed automata, Augmented finite transition systems as abstractions for control synthesis, Towards scalable synthesis of stochastic control systems, Automated generation of dynamics-based runtime certificates for high-level control, Bisimulations for neural network reduction, Robust and nonlinear control literature survey (No. 17), Crossing the Bridge between Similar Games