TGA-Based Controllers for Flexible Plan Execution (Contributo in atti di convegno)

Type

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

Label

• TGA-Based Controllers for Flexible Plan Execution (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1007/978-3-642-24455-1_22 (literal)

Alternative label

• Orlandini, Andrea ; Finzi, Alberto ; Cesta, Amedeo ; Fratini, Simone (2011)
  TGA-Based Controllers for Flexible Plan Execution
  in KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI,2011. Proceedings, Berlin, 4-7 October 2011
  (literal)

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

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

Pagina inizio

• 233 (literal)

Pagina fine

• 245 (literal)

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

• ID_PUMA: /cnr.istc/2011-A2-029. - Area di valutazione 01 - Scienze matematiche e informatiche (literal)

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

• http://link.springer.com/chapter/10.1007/978-3-642-24455-1_22 (literal)

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

• 7006 (literal)

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

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

Titolo

• TGA-Based Controllers for Flexible Plan Execution (literal)

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

• 978-3-642-24454-4 (literal)

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

• J. Bach, S. Edelkamp (literal)

Abstract

• Plans synthesized by Temporal Planning and Scheduling systems may be temporally flexible hence they identify an envelope of possible solutions. Such flexibility can be exploited by an executive systems for robust on-line execution. Recent works have addressed aspects of plan execution using a quite general approach grounded on formal modeling and formal methods. The present work extends such an approach by presenting the formal synthesis of a plan controller associated to a flexible temporal plan. In particular, the controller synthesis exploits Timed Game Automata (TGA) for formal modeling and UPPAAL-TIGA as a model checker. After presenting a formal extension, the paper introduces a detailed experimental analysis on a real-world case study that demonstrates 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)

Prodotto di

• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (Modulo)
• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Pianificazione di interventi in situazione di emergenza: strumenti software e robotici (INT.P01.003.001) (Modulo)

Autore CNR

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

Insieme di parole chiave

• Parole chiave di "TGA-Based Controllers for Flexible Plan Execution" (Insieme di parole chiave)

Incoming links:

Autore CNR di

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

Prodotto

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (Modulo)
• Pianificazione di interventi in situazione di emergenza: strumenti software e robotici (INT.P01.003.001) (Modulo)

Insieme di parole chiave di

• Parole chiave di "TGA-Based Controllers for Flexible Plan Execution" (Insieme di parole chiave)