Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds
Name
ijcai19.pdf
Size
183.25 KB
Format
Adobe PDF
Checksum (MD5)
c58a76fbb5339659e0b8ab516343a7d5
Author(s)
Bhargava, Nikhil
Williams, Brian C.
Date Issued
August 2019
Publisher
International Joint Conference in Artificial Intelligence
Abstract
Simple Temporal Networks with Uncertainty (STNUs) provide a useful formalism with which to reason about events and the temporal constraints that apply to them. STNUs are in particular notable because they facilitate reasoning over stochastic, or uncontrollable, actions and their corresponding durations. To evaluate the feasibility of a set of constraints associated with an STNU, one checks the network's \textit{dynamic controllability}, which determines whether an adaptive schedule can be constructed on-the-fly. Our work provides a dynamic controllability checker that is able to quickly refute the controllability of an STNU with integer bounds, such as those found in planning problems. Our work is faster than the existing best runtime for networks with integer bounds and executes in O(min(mn, m\sqrt{n}\log{N}) + km + k^2n + kn\log{n}). Our approach pre-processes the STNU using an existing O(n^3) dynamic controllability checking algorithm and provides tighter bounds on its runtime. This makes our work easily adaptable to other algorithms that rely on checking variants of dynamic controllability.
Subjects
temporal reasoning
scheduling
Persistent DSpace Link
