http://www.cnr.it/ontology/cnr/individuo/prodotto/ID204729
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
- Pagina fine
- 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