Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

DOI10.1007/978-3-540-71493-4_18zbMath1221.93071OpenAlexW1887552673MaRDI QIDQ3612972

George J. 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

Mathematics Subject Classification ID

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

Related Items (6)

Specifications for decidable hybrid games ⋮ Approximate simulation relations for hybrid systems ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Temporal logic motion planning for dynamic robots ⋮ Hierarchical control system design using approximate simulation

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