Robust controller synthesis for hybrid systems using modal logic

DOI10.1007/3-540-45351-2_35MaRDI QIDQ4552484zbMATH OpenFDO

Authors Thomas Moor, J. M. Davoren

Publication date 3 September 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2034/20340433

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Formal languages and automata (68Q45) Synthesis problems (93B50) Design techniques (robust design, computer-aided design, etc.) (93B51)

Recommendations

• Formal controller synthesis from hybrid programs
• Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
• On the controller synthesis for linear hybrid systems
• Robust control of discrete-time hybrid systems with uncertain modal dynamics
• Controllers for reachability specifications for hybrid systems

Cited in

(13)

• Temporal logic motion planning for dynamic robots
• Towards physical hybrid systems
• Robust control of discrete-time hybrid systems with uncertain modal dynamics
• On the controller synthesis for linear hybrid systems
• Synthesizing switching controllers for hybrid systems by generating invariants
• Synthesizing Switching Logic Using Constraint Solving
• Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
• Mode switching synthesis for reachability specifications
• Formal controller synthesis from hybrid programs
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Specifications for decidable hybrid games
• Toward unified analysis and controller synthesis for a class of hybrid systems
• On dynamic topological and metric logics

This page was built for publication: Robust controller synthesis for hybrid systems using modal logic

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