Estimating the probability of meeting a deadline in schedules and plans

From MaRDI portal
Publication:2321333

DOI10.1016/J.ARTINT.2019.06.009zbMATH Open1478.90047arXiv1503.01327OpenAlexW2954015630WikidataQ127581036 ScholiaQ127581036MaRDI QIDQ2321333FDOQ2321333

Solomon E. Shimony, Gera Weiss, Liat Cohen

Publication date: 28 August 2019

Published in: Artificial Intelligence (Search for Journal in Brave)

Abstract: Given a hierarchical plan (or schedule) with uncertain task times, we propose a deterministic polynomial (time and memory) algorithm for estimating the probability that its meets a deadline, or, alternately, that its {em makespan} is less than a given duration. Approximation is needed as it is known that this problem is NP-hard even for sequential plans (just, a sum of random variables). In addition, we show two new complexity results: (1) Counting the number of events that do not cross deadline is #P-hard; (2)~Computing the expected makespan of a hierarchical plan is NP-hard. For the proposed approximation algorithm, we establish formal approximation bounds and show that the time and memory complexities grow polynomially with the required accuracy, the number of nodes in the plan, and with the size of the support of the random variables that represent the durations of the primitive tasks. We examine these approximation bounds empirically and demonstrate, using task networks taken from the literature, how our scheme outperforms sampling techniques and exact computation in terms of accuracy and run-time. As the empirical data shows much better error bounds than guaranteed, we also suggest a method for tightening the bounds in some cases.


Full work available at URL: https://arxiv.org/abs/1503.01327




Recommendations




Cites Work


Cited In (1)

Uses Software





This page was built for publication: Estimating the probability of meeting a deadline in schedules and plans

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321333)