A TGA-based Method for Safety Critical Plan Execution

Orlandini, A., Suriano, M., Cesta, A., Finzi, A.

In Proceedings of the 5th Italian Workshop on Planning and Scheduling (IPS 2013), pp. 39-46. Turin, Italy, December 4th, 2013

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 approach uses Timed Game Automata (TGA) for formal modeling and the UPPAAL-TIGA model checker for controllers synthesis. An experimental evaluation is performed using a real-world control system.