Controller Synthesis for Safety Critical Planning

• Published in: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence pp. 306 - 313
• Main Authors: Orlandini, Andrea, Suriano, Marco, Cesta, Amedeo, Finzi, Alberto
• Format: Conference Proceeding Journal Article
• Language: English
• Published: IEEE 01.01.2013
• Subjects: Artificial intelligence; Automata; Checkers; Conferences; Control systems; Controllers; Expert systems; Games; Inductors; Planning; Robust Planning and Execution; Robustness; Safety critical; Synthesis; Timed Game Automata; Timeline-based planning and scheduling

Safety critical planning and execution is a crucial issue in autonomous systems. This paper proposes a methodology for controller synthesis suitable for timeline-based planning and demonstrates its effectiveness in a space domain where robustness of execution is a crucial property. The proposed appr...