Planning and execution with flexible timelines: a formal account

Planning for real world problems with explicit temporal constraints is a challenging problem. Among several approaches, the use of flexible timelines in Planning and Scheduling has been shown to be successful in a number of concrete applications, such as, for instance, autonomous space systems. This paper builds on previous work and presents a revised and extended formal account of flexible timelines with the aim of providing a general semantics for related planning concepts such as domains, goals, problems, constraints, and flexible plans. Some sources of uncertainty are also modeled in the proposed framework and taken into account in the characterization of valid plans that are assumed not to take decisions on components the planner cannot control. A formal definition of different forms of plan controllability is also proposed.

Tipo Pubblicazione: 
Articolo
Author or Creator: 
Cialdea Mayer
Marta
Orlandini
Andrea
Umbrico
Alessandro
Publisher: 
Springer, Berlin , Germania
Source: 
Acta informatica (2016): 1–32. doi:10.1007/s00236-015-0252-z
info:cnr-pdr/source/autori:Cialdea Mayer, Marta and Orlandini, Andrea and Umbrico, Alessandro/titolo:Planning and execution with flexible timelines: a formal account/doi:10.1007/s00236-015-0252-z/rivista:Acta informatica/anno:2016/pagina_da:1/pagina_a:32/
Date: 
2016
Resource Identifier: 
http://www.cnr.it/prodotto/i/343037
https://dx.doi.org/10.1007/s00236-015-0252-z
info:doi:10.1007/s00236-015-0252-z
http://dx.doi.org/10.1007/s00236-015-0252-z
Language: 
Eng
ISTC Author: 
Ritratto di AndreA Orlandini
Real name: