Skip to Main content Skip to Navigation
Conference papers

Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches

Abstract : Planning for real world applications, with explicit temporal representation and a robust execution is a very challenging problem. To tackle it, the planning community has proposed a number of original and successful approaches. However, there are other paradigms "outside" the Automated Planning field which may prove to be successful with respect to this objective. This paper presents a comparison of two "planning" approaches dealing with temporal and/or discrete uncertainties and with a strong emphasis on robust execution. The first approach is based on chronicles and constraint satisfaction techniques; it relies on a causal link partial order temporal planner, in our case I X T E T. The second approach is based on timed game automata and reachability analysis, and uses the UPPAAL-TIGA system. The comparison is both qualitative (the kind of problems modeled and the properties of plans obtained) and quantitative (experimental results on a real example). To make this comparison possible, we propose a general scheme to translate a subset of I X T E T planning problems into UPPAAL-TIGA game-reachability problems. A direct consequence of this automated process would be the possibility to apply validation and verification techniques available in the timed automata community.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00157935
Contributor : Mihaela Sighireanu <>
Submitted on : Monday, January 21, 2019 - 10:27:01 AM
Last modification on : Saturday, March 28, 2020 - 2:12:27 AM

File

icaps07mg.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00157935, version 1

Citation

Yasmina Abdeddaim, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, et al.. Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches. International Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9. ⟨hal-00157935⟩

Share

Metrics

Record views

170

Files downloads

34