Orlandini, Andrea and Finzi, Alberto and Cesta, Amedeo USING VALIDATION AND VERIFICATION TECHNIQUES FOR ROBUST PLAN EXECUTION. In: International Symposium on Artificial Intelligence, Robotics and Automation in Space, 2012, Torino, Italy.

[img]
Anteprima
Testo
P_16_Orlandini.pdf

Download (1MB) | Anteprima
[error in script] [error in script]
Tipologia del documento: Contributo a Convegno o Workshop (Paper)
Titolo: USING VALIDATION AND VERIFICATION TECHNIQUES FOR ROBUST PLAN EXECUTION
Autori:
AutoreEmail
Orlandini, Andrea[non definito]
Finzi, Albertofinzi@na.infn.it
Cesta, Amedeo[non definito]
Numero di pagine: 8
Tipo di evento: Conference
Titolo dell'evento: International Symposium on Artificial Intelligence, Robotics and Automation in Space
Luogo dell'evento: Torino, Italy
Data dell'evento: 2012
Numero di pagine: 8
Parole chiave: Design Support System, Validation and Verification, Timeline-based Planning and Execution
Diritti di accesso: Accesso aperto
Informazioni aggiuntive: AIRobots
Depositato il: 12 Set 2014 11:02
Ultima modifica: 17 Mag 2017 17:33
URI: http://www.fedoa.unina.it/id/eprint/9620

Abstract

This paper describes the exploitation of a Validation and Verification technique aiming at enriching the support capabilities of the KnowledgE ENgineering (KEEN) software environment. In particular, the work reports on the formal synthesis of a plan controller associated to a flexible temporal plan. The controller synthesis exploits Timed Game Automata (TGA) for formal modeling and UPPAAL-TIGA as a model checker. The paper introduces a detailed experimental analysis on a real-world case study demonstrating the viability of the approach. In particular, it is shown how the controller synthesis overhead is compatible with the performance expected from a short horizon planner.

Downloads

Downloads per month over past year

Actions (login required)

Modifica documento Modifica documento