Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
DOI10.1007/s00236-019-00341-xzbMath1441.93131OpenAlexW2972527389WikidataQ127254224 ScholiaQ127254224MaRDI QIDQ2303884
Antoine Girard, Gregor Gössler
Publication date: 6 March 2020
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-019-00341-x
switched systemsmulti-resolution bisimilar abstractionsroad traffic regulationsynthesis of safety controllers
Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Qualitative modelling of linear dynamical systems with quantized state measurements
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Formal methods for discrete-time dynamical systems
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- Finite abstraction of mixed monotone systems with discrete and continuous inputs
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- Symbolic Models for Networks of Control Systems
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
- Verification and Control of Hybrid Systems
- Supervisory Control of a Class of Discrete Event Processes
- Hierarchical hybrid control systems: a lattice theoretic formulation
- Discrete approximation and supervisory control of continuous systems
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
- Constructing Control System Abstractions from Modular Components
- Decentralized Supervisory Control of Networks of Nonlinear Control Systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
- Compositional Synthesis of Finite-State Abstractions
- A Lyapunov approach to incremental stability properties
- Linear Time Logic Control of Discrete-Time Linear Systems
- Approximation Metrics for Discrete and Continuous Systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Formal Analysis of Discrete-Time Piecewise Affine Systems
- Backstepping Design for Incremental Stability
- Computing Abstractions of Nonlinear Systems
- Integrated Design of Symbolic Controllers for Nonlinear Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
