Controller synthesis for safety and reachability via approximate bisimulation
From MaRDI portal
Publication:445917
DOI10.1016/J.AUTOMATICA.2012.02.037zbMATH Open1246.93045arXiv1010.4672OpenAlexW2962709723MaRDI QIDQ445917FDOQ445917
Authors: Antoine Girard 
Publication date: 27 August 2012
Published in: Automatica (Search for Journal in Brave)
Abstract: In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to solve both classes of problems. We start by synthesizing a controller for an approximately bisimilar abstraction. Then, using a concretization procedure, we obtain a controller for our initial system that is proved "correct by design". We provide guarantees of performance by giving estimates of the distance of the synthesized controller to the maximal (i.e the most permissive) safety controller or to the time-optimal reachability controller. Finally, we use the presented techniques combined with discrete approximately bisimilar abstractions of switched systems developed recently, for switching controller synthesis.
Full work available at URL: https://arxiv.org/abs/1010.4672
Recommendations
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- Low-complexity quantized switching controllers using approximate bisimulation
- Controller synthesis for bisimulation equivalence
Cites Work
- A Lyapunov approach to incremental stability properties
- Supervisory control of hybrid systems within a behavioural framework
- Verification and Control of Hybrid Systems
- Title not available (Why is that?)
- Approximately bisimilar symbolic models for nonlinear control systems
- Title not available (Why is that?)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximation Metrics for Discrete and Continuous Systems
- Linear Time Logic Control of Discrete-Time Linear Systems
- Title not available (Why is that?)
- Games for synthesis of controllers with partial observation.
- Discrete approximation and supervisory control of continuous systems
- Hybrid Systems: Computation and Control
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- Modular Feedback Logic for Discrete Event Systems
Cited In (23)
- Learning-based symbolic abstractions for nonlinear control systems
- Title not available (Why is that?)
- Formal modelling, analysis and verification of hybrid systems
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Flow functions, control flow functions, and the reach control problem
- Low-complexity quantized switching controllers using approximate bisimulation
- Verification of Hybrid Systems
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Backstepping controller synthesis and characterizations of incremental stability
- Controller synthesis for bisimulation equivalence
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Switching controller synthesis for delay hybrid systems under perturbations
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Approximate bisimulation: a bridge between computer science and control theory
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Symbolic control design of nonlinear systems with outputs
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Model-order reduction of ion channel dynamics using approximate bisimulation
- Falsification of combined invariance and reachability specifications in hybrid control systems
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- CONCUR 2004 - Concurrency Theory
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
Uses Software
This page was built for publication: Controller synthesis for safety and reachability via approximate bisimulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q445917)
