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.

Cialdea, M., Orlandini, A., Umbrico, A. (2016). Planning and execution with flexible timelines: a formal account. ACTA INFORMATICA, 53(6), 649-680 [10.1007/s00236-015-0252-z].

Planning and execution with flexible timelines: a formal account

CIALDEA, Marta;ORLANDINI, Andrea;UMBRICO, ALESSANDRO
2016

Abstract

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.
Cialdea, M., Orlandini, A., Umbrico, A. (2016). Planning and execution with flexible timelines: a formal account. ACTA INFORMATICA, 53(6), 649-680 [10.1007/s00236-015-0252-z].
File in questo prodotto:
File Dimensione Formato  
actaInformatica-postPrint.pdf

accesso aperto

Tipologia: Documento in Post-print
Licenza: DRM non definito
Dimensione 411.3 kB
Formato Adobe PDF
411.3 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11590/284753
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 66
  • ???jsp.display-item.citation.isi??? 38
social impact