Formal controller synthesis from specifications given by discrete-time hybrid automata
From MaRDI portal
Publication:2665407
DOI10.1016/J.AUTOMATICA.2021.109768zbMath1478.93189OpenAlexW2989041661MaRDI QIDQ2665407
Antoine Girard, Vladimir Sinyakov
Publication date: 19 November 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109768
Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Synthesis problems (93B50) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- The algorithmic analysis of hybrid systems
- Temporal logic motion planning for dynamic robots
- Formal methods for discrete-time dynamical systems
- Abstraction and control by interconnection of linear systems: a geometric approach
- Language-Guided Controller Synthesis for Linear Systems
- Efficient finite abstraction of mixed monotone systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Dynamical properties of hybrid automata
- Equivalence of Dynamical Systems by Bisimulation
- Linear Time Logic Control of Discrete-Time Linear Systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- The Achievable Dynamics via Control by Interconnection
- Computing Abstractions of Nonlinear Systems
- Integrated Design of Symbolic Controllers for Nonlinear Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
This page was built for publication: Formal controller synthesis from specifications given by discrete-time hybrid automata
