Lazy controller synthesis for monotone transition systems and directed safety specifications
From MaRDI portal
Publication:2059378
DOI10.1016/j.automatica.2021.109993zbMath1480.93130OpenAlexW3084732107MaRDI QIDQ2059378
Publication date: 14 December 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109993
monotone dynamical systemssymbolic controldirected safety specificationslazy controller synthesismonotone transition systems
Related Items
Cites Work
- Unnamed Item
- Symbolic control design for monotone systems with directed specifications
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- Formal methods for discrete-time dynamical systems
- Low-complexity quantized switching controllers using approximate bisimulation
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Language-Guided Controller Synthesis for Linear Systems
- Efficient finite abstraction of mixed monotone systems
- SCOTS
- Verification and Control of Hybrid Systems
- Optimized State Space Grids for Abstractions
- Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
- Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
- dtControl
- pFaces
- Monotone control systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems
- Traffic Network Control From Temporal Logic Specifications
- Ordering by Divisibility in Abstract Algebras
- Well-structured transition systems everywhere!
