Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

DOI10.1007/978-3-540-71493-4_18MaRDI QIDQ3612972zbMATH OpenOpenAlexFDO

Authors Georgios E. Fainekos, Antoine Girard, George Pappas

Publication date 11 March 2009

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71493-4_18

Mathematics Subject Classification ID

Logic in computer science (03B70) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Abstraction, discretization, and robustness in temporal logic control of dynamical systems
• Formal controller synthesis from specifications given by discrete-time hybrid automata
• scientific article; zbMATH DE number 1794383
• Reactive synthesis from signal temporal logic specifications
• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic

Cited in

(14)

• Temporal logic motion planning for dynamic robots
• Hierarchical control system design using approximate simulation
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Formal controller synthesis from specifications given by discrete-time hybrid automata
• Hierarchical hybrid symbolic robot motion planning and control
• Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
• Finite abstractions with robustness margins for temporal logic-based control synthesis
• Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
• scientific article; zbMATH DE number 1794383 (Why is no real title available?)
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Specifications for decidable hybrid games
• Robustness of temporal logic specifications for continuous-time signals
• Approximate simulation relations for hybrid systems

This page was built for publication: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

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