Approximate simulation relations for hybrid systems
From MaRDI portal
Publication:939013
DOI10.1007/s10626-007-0029-9zbMath1395.93113OpenAlexW2157202548WikidataQ57581884 ScholiaQ57581884MaRDI QIDQ939013
Antoine Girard, George J. Pappas, A. Agung Julius
Publication date: 20 August 2008
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-007-0029-9
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)
Related Items (19)
A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Crossing the Bridge between Similar Games ⋮ Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Event-B refinement for continuous behaviours approximation ⋮ Bisimulations for neural network reduction ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Asynchronous correspondences between hybrid trajectory semantics ⋮ Simulation relations and applications in formal methods ⋮ Order-reduction abstractions for safety verification of high-dimensional linear systems ⋮ Model reduction of switched affine systems ⋮ Unnamed Item ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Balanced truncation for linear switched systems ⋮ Stabilization of finite automata with application to hybrid systems control ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ Proving Approximate Implementations for Probabilistic I/O Automata
Uses Software
Cites Work
- Unnamed Item
- Metrics for labelled Markov processes
- The algorithmic analysis of hybrid systems
- Symbolic models for control systems
- Bisimilar linear systems.
- Universal construction of feedback laws achieving ISS and integral-ISS disturbance attenuation
- Approximate bisimulation relations for constrained linear systems
- Bisimulation relations for dynamical, control, and hybrid systems
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- SOSTOOLS and Its Control Applications
- Inverse Optimality in Robust Stabilization
- Approximation Metrics for Discrete and Continuous Systems
- Hybrid Systems: Computation and Control
- Automata, Languages and Programming
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Approximate simulation relations for hybrid systems
