Formal controller synthesis from specifications given by discrete-time hybrid automata

DOI10.1016/J.AUTOMATICA.2021.109768MaRDI QIDQ2665407zbMATH OpenOpenAlexFDO

Authors Vladimir Sinyakov, Antoine Girard

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

zbMATH Keywords

alternating simulation relationformal controller synthesishybrid automatasymbolic abstractions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Attainable sets, reachability (93B03) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55)

Recommendations

• Language-guided controller synthesis for discrete-time linear systems
• Controllers for reachability specifications for hybrid systems
• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
• Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
• Formal controller synthesis from hybrid programs

Cites work

• Abstraction and control by interconnection of linear systems: a geometric approach
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Computing Abstractions of Nonlinear Systems
• Dynamical properties of hybrid automata
• Efficient finite abstraction of mixed monotone systems
• Equivalence of Dynamical Systems by Bisimulation
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Finite abstractions with robustness margins for temporal logic-based control synthesis
• Formal methods for discrete-time dynamical systems
• scientific article; zbMATH DE number 2085340 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Integrated Design of Symbolic Controllers for Nonlinear Systems
• Language-Guided Controller Synthesis for Linear Systems
• Linear Time Logic Control of Discrete-Time Linear Systems
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
• Temporal logic motion planning for dynamic robots
• The Achievable Dynamics via Control by Interconnection
• The algorithmic analysis of hybrid systems

Cited in

(6)

• Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
• Diagnosis and repair for synthesis from signal temporal logic specifications
• Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
• Formal controller synthesis from hybrid programs
• Robust Controller Synthesis for Duration Calculus
• Controller synthesis against omega-regular specifications: a funnel-based control approach

This page was built for publication: Formal controller synthesis from specifications given by discrete-time hybrid automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665407)