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

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) Logic in computer science (03B70)

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)

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

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)