Controller synthesis for safety critical planning

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
Author or Creator: 
Orlandini, Andrea
Suriano, Marco
Cesta, Amedeo
Finzi, Alberto
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
ISTC Author: 
Ritratto di AndreA Orlandini
Real name: 
Ritratto di Amedeo Cesta
Real name: