Generating Controllers for Flexible Plan Execution: a TGA approach (Contributo in atti di convegno)

Type
Label
  • Generating Controllers for Flexible Plan Execution: a TGA approach (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Orlandini, Andrea [1]; Finzi, Alberto [2]; Cesta, Amedeo [3]; Fratini, Simone [3] (2011)
    Generating Controllers for Flexible Plan Execution: a TGA approach
    in ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems (VVPS-11), Freiburg, Germany, 13 June 2011
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Orlandini, Andrea [1]; Finzi, Alberto [2]; Cesta, Amedeo [3]; Fratini, Simone [3] (literal)
Pagina inizio
  • 4 (literal)
Pagina fine
  • 8 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • ID_PUMA: cnr.istc/2011-A2-050 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://icaps11.informatik.uni-freiburg.de/proceedings/vvps/orlandini-et-al.pdf (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] CNR-ITIA, Milano; [2] Università di Napoli \"Federico II\"; [3] CNR-ISTC, Roma1-SanMartino (literal)
Titolo
  • Generating Controllers for Flexible Plan Execution: a TGA approach (literal)
Abstract
  • In temporal Planning and Scheduling (P&S) system, the synthesized plans may be temporally flexible and partially specified, therefore they need suitable executive systems for proper on-line execution. In general, instantiating and executing a temporally flexible plan is not an easy task due to constraint propagation and controllability issues. Previous works have tackled these problems by reasoning on the temporal constraints networks underlying the constraint-based plan representation often used by such systems. However, these issues can be addressed from a more abstract and general point of view deploying formal modeling and formal methods. In this work, we pursue such a second direction by presenting a formal method to synthesize a controller associated with a generated flexible temporal plan. Controller synthesis exploits Timed Game Automata (TGA) for formal modeling and UPPAAL-TIGA as a model checker. We present the method discussing both formal and empirical issues. The collected empirical results show the practical feasibility of the approach in a real-world robotic case study. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it