Controller Synthesis for Safety Critical Planning

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

In Proceedings of the IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), pp. 306-313. Washington DC, USA, November 4-6, 2013. IEEE Computer Society, 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.