Using Validation and Verification Techniques for Robust Plan Execution (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Using Validation and Verification Techniques for Robust Plan Execution (Contributo in atti di convegno) (literal)

Anno

• 2012-01-01T00:00:00+01:00 (literal)

Alternative label

• Orlandini, Andrea; Finzi, Alberto; Cesta, Amedeo (2012)
  Using Validation and Verification Techniques for Robust Plan Execution
  in International Symposium on Artificial Intelligence, Robotics and Automation in Space 2012, Torino, 4-6 September 2012
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Orlandini, Andrea; Finzi, Alberto; Cesta, Amedeo (literal)

Pagina inizio

• 8 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• ID_PUMA: /cnr.istc/2012-A2-021. - Progetto: Approcci innovativi e multidisciplinari per ragionamento con vincoli e preferenza - Tecniche a vincoli innovative per problemi di planning e scheduling (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://robotics.estec.esa.int/i-SAIRAS/isairas2012/Papers/Poster%20Papers/P_16_Orlandini.pdf (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 1 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTC, Roma1-SanMartino; Università di Napoli \"Federico II\"; CNR-ISTC, Roma1-SanMartino (literal)

Titolo

• Using Validation and Verification Techniques for Robust Plan Execution (literal)

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. (literal)

Editore

• ESA (Editore)

Prodotto di

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (Modulo)

Autore CNR

• AMEDEO CESTA (Persona)
• ANDREA ORLANDINI (Unità di personale interno)

Insieme di parole chiave

• Keywords of "Using Validation and Verification Techniques for Robust Plan Execution" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• AMEDEO CESTA (Persona)
• ANDREA ORLANDINI (Unità di personale interno)

Prodotto

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (Modulo)

Editore di

• ESA (Editore)

Insieme di parole chiave di

• Keywords of "Using Validation and Verification Techniques for Robust Plan Execution" (Insieme di parole chiave)