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. © 2013 IEEE.
Controller synthesis for safety critical planning
Contributo in atti di convegno
IEEE Computer Society Press,, Los Alamitos, Calif. , Stati Uniti d'America
IEEE, New York, USA
ICTAI 2013, pp. 306–313, Washington DC, USA, November 2013