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

zbMATH Keywords

switched systemsmulti-resolution bisimilar abstractionsroad traffic regulationsynthesis of safety controllers

Mathematics Subject Classification ID

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 (2)

Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Finite-step approximately bi-similar symbolic model for switched systems

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