Home |  English version |  Mappa |  Commenti |  Sondaggio |  Staff |  Contattaci Cerca nel sito  
Istituto di scienze e tecnologie della cognizione

Torna all'elenco Contributi in rivista anno 2011

Contributo in rivista

Tipo: Articolo in rivista

Titolo: Flexible Plan Verification: Feasibility Results

Anno di pubblicazione: 2011

Autori: Cesta, Amedeo ; Finzi, Alberto ; Fratini, Simone ; Orlandini, Andrea ; Tronci, Enrico

Affiliazioni autori: CNR-ISTC, Roma1-SanMartino ; UniversitÓ di Napoli "Federico II" ; CNR-ITIA, Milano ; UniversitÓ di Roma, La Sapienza

Autori CNR:

  • AMEDEO CESTA
  • SIMONE FRATINI
  • ANDREA ORLANDINI

Lingua: inglese

Abstract: Timeline-based planning techniques have demonstrated wide application possibilities in heterogeneous real world domains. For a wider diffusion of this technology, a more thorough investigation of the connections with formal methods is needed. This paper is part of a research program aimed at studying the interconnections between timeline-based planning and standard techniques for formal validation and verification (V&V). In this line, an open issue consists of studying the link between plan generation and plan execution from the particular perspective of verifying temporal plans before their actual execution. The present work addresses the problem of verifying flexible temporal plans, i.e., those plans usually produced by least-commitment temporal planners. Such plans only impose minimal temporal constraints among the planned activities, hence are able to adapt to on-line environmental changes by trading some of the retained flexibility.

Lingua abstract: inglese

Pagine da: 111

Pagine a: 137

Rivista:

Fundamenta informaticae North-Holland
Paese di pubblicazione: Paesi Bassi
Lingua: inglese
ISSN: 0169-2968

Numero volume: 107

Numero fascicolo: 2-3

DOI: 10.3233/FI-2011-397

Parole chiave:

  • Validation & Verification
  • Timeline-based Planning
  • Experimental Analysis

Altre informazioni: ID_PUMA: /cnr.istc/2011-A0-057. - Area di valutazione 09 - Ingegneria industriale e informatica

Strutture CNR:

Moduli:

 
Torna indietro Richiedi modifiche Invia per email Stampa
Home Il CNR  |  I servizi News |   Eventi | Istituti |  Focus