Back to Search
Start Over
A Prototype for the Robust Execution of Flexible Plans
- Source :
- 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019, pp. 89–93, Rende, Italia, 19/11/2019-20/11/2020, info:cnr-pdr/source/autori:Lanzilli, Annarita; Mayer, Marta Cialdea; Cesta, Amedeo; Orlandini, Andrea; Umbrico, Alessandro/congresso_nome:1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019/congresso_luogo:Rende, Italia/congresso_data:19%2F11%2F2019-20%2F11%2F2020/anno:2020/pagina_da:89/pagina_a:93/intervallo_pagine:89–93
- Publication Year :
- 2019
- Publisher :
- Zenodo, 2019.
-
Abstract
- Timeline-based Planning and Scheduling (P&S) usually deals with two main sources of uncertainty: some components may depend on an external environment and cannot be planned; there may be tasks whose duration cannot be exactly foreseen in advance. Such uncertainties are formally defined and consequent controllability issues have been addressed, focusing on dynamic controllability. In this work, we present a new software prototype, tiga2exec, for dynamic controllable execution of timeline-based plans leveraging recent results gathered from the integration of P&S and Model Checking techniques. tiga2exec is deployed in a timeline-based planning system to control plan execution guaranteeing dynamic controllability. A preliminary experimental evaluation is also presented.
- Subjects :
- Artificial intelligence
planning and scheduling
controllability
model checking
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019, pp. 89–93, Rende, Italia, 19/11/2019-20/11/2020, info:cnr-pdr/source/autori:Lanzilli, Annarita; Mayer, Marta Cialdea; Cesta, Amedeo; Orlandini, Andrea; Umbrico, Alessandro/congresso_nome:1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019/congresso_luogo:Rende, Italia/congresso_data:19%2F11%2F2019-20%2F11%2F2020/anno:2020/pagina_da:89/pagina_a:93/intervallo_pagine:89–93
- Accession number :
- edsair.doi.dedup.....6e15ea88937100e5adebc050ba6d5103
- Full Text :
- https://doi.org/10.5281/zenodo.3859885