Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

DOI10.1007/978-3-540-71493-4_18zbMATH Open1221.93071OpenAlexW1887552673MaRDI QIDQ3612972FDOQ3612972

George Pappas, Georgios E. Fainekos, Antoine Girard

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

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

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)

Cited In (11)

• Approximate simulation relations for hybrid systems
• Hierarchical control system design using approximate simulation
• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
• Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
• Robustness of temporal logic specifications for continuous-time signals
• Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
• Temporal logic motion planning for dynamic robots
• Title not available (Why is that?)
• Specifications for decidable hybrid games
• 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)