Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

DOI10.1007/978-3-540-78929-1_15zbMath1144.93340arXiv0807.5022OpenAlexW1711666165MaRDI 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

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Application models in control theory (93C95) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Crossing the Bridge between Similar Games ⋮ Bisimulations for neural network reduction ⋮ Robust and nonlinear control literature survey (No. 17) ⋮ 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 ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Quantifying conformance using the Skorokhod metric ⋮ Supervisory control for collision avoidance in vehicular networks using discrete event abstractions ⋮ Verification of continuous dynamical systems by timed automata

This page was built for publication: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems