TGA-Based Controllers for Flexible Plan Execution

  • Andrea Orlandini
  • Alberto Finzi
  • Amedeo Cesta
  • Simone Fratini
Conference paper

DOI: 10.1007/978-3-642-24455-1_22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7006)
Cite this paper as:
Orlandini A., Finzi A., Cesta A., Fratini S. (2011) TGA-Based Controllers for Flexible Plan Execution. In: Bach J., Edelkamp S. (eds) KI 2011: Advances in Artificial Intelligence. KI 2011. Lecture Notes in Computer Science, vol 7006. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Andrea Orlandini
    • 1
  • Alberto Finzi
    • 2
  • Amedeo Cesta
    • 3
  • Simone Fratini
    • 3
  1. 1.CNR – Consiglio Nazionale delle RicercheITIAMilanItaly
  2. 2.DSF – Università Federico IINaplesItaly
  3. 3.CNR – Consiglio Nazionale delle RicercheISTCRomeItaly

Personalised recommendations