Conditional Simple Temporal Networks with Uncertainty and Resources

Conditional simple temporal networks with uncertainty (CSTNUs) allow for the representation of temporal plans subject to both conditional constraints and uncertain durations.   Dynamic controllability (DC) of CSTNUs ensures the existence of an execution strategy able to execute the network in real t...

Full description

Saved in:
Bibliographic Details
Published in:The Journal of artificial intelligence research 2019-01, Vol.64, p.931
Main Authors: Combi, Carlo, Posenato, Roberto, Viganò, Luca, Zavatteri, Matteo
Format: Article
Language:English
Subjects:
Artificial intelligence
Availability
Controllability
Networks
Polynomials
Stability
Uncertainty
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Conditional simple temporal networks with uncertainty (CSTNUs) allow for the representation of temporal plans subject to both conditional constraints and uncertain durations.   Dynamic controllability (DC) of CSTNUs ensures the existence of an execution strategy able to execute the network in real time (i.e., scheduling the time points under control) depending on how these two uncontrollable parts behave. However, CSTNUs do not deal with resources. In this paper, we define conditional simple temporal networks with uncertainty and resources (CSTNURs) by injecting resources and runtime resource constraints (RRCs) into the specification.  Resources are mandatory for executing the time points and their availability is represented through temporal expressions, whereas RRCs restrict resource availability by further temporal constraints among resources. We provide a fully-automated encoding to translate any CSTNUR into an equivalent timed game automaton in polynomial time for a sound and complete DC-checking.
ISSN:1076-9757
1076-9757
1943-5037
DOI:10.1613/jair.1.11453