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.
Tipo Pubblicazione:
Contributo in atti di convegno
Publisher:
IEEE Computer Society Press,, Los Alamitos, Calif. , Stati Uniti d'America
IEEE, New York, USA
Source:
ICTAI 2013, pp. 306–313, Washington DC, USA, November 2013
Date:
2013
Resource Identifier:
http://www.cnr.it/prodotto/i/311494
https://dx.doi.org/10.1109/ICTAI.2013.54
info:doi:10.1109/ICTAI.2013.54
http://www.scopus.com/record/display.url?eid=2-s2.0-84897704969&origin=inward
urn:isbn:9781479929719
Language:
Eng