Chance-Constrained Scheduling via Conflict-Directed Risk Allocation

Temporal uncertainty in large-scale logistics forces one to trade off between lost efficiency through built-in slack and costly replanning when deadlines are missed. Due to the difficulty of reasoning about such likelihoods and consequences, a computational framework is needed to quantify and bound the risk of violating scheduling requirements. This work addresses the chance-constrained scheduling problem, where actions' durations are modeled probabilistically. Our solution method uses conflict-directed risk allocation to efficiently compute a scheduling policy. The key insight, compared to previous work in probabilistic scheduling, is to decouple the reasoning about temporal and risk constraints. This decomposes the problem into a separate master and subproblem, which can be iteratively solved much quicker. Through a set of simulated car-sharing scenarios, it is empirically shown that conflict-directed risk allocation computes solutions nearly an order of magnitude faster than prior art does, which considers all constraints in a single lump-sum optimization.

[1]  L. Blackmore,et al.  Convex Chance Constrained Predictive Control without Sampling , 2009 .

[2]  Patrick Doherty,et al.  EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm , 2014, ICAPS.

[3]  Thierry Vidal,et al.  Handling contingency in temporal constraint networks: from consistency to controllabilities , 1999, J. Exp. Theor. Artif. Intell..

[4]  Ioannis Tsamardinos,et al.  A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty , 2002, SETN.

[5]  Nicola Muscettola,et al.  Execution of Temporal Plans with Uncertainty , 2000, AAAI/IAAI.

[6]  Cheng Fang,et al.  Chance-Constrained Probabilistic Simple Temporal Problems , 2014, AAAI.

[7]  Brian C. Williams,et al.  Conflict-directed A* and its role in model-based embedded systems , 2007, Discret. Appl. Math..

[8]  Nicola Muscettola,et al.  Temporal Dynamic Controllability Revisited , 2005, AAAI.

[9]  Cheng Fang,et al.  Resolving Uncontrollable Conditional Temporal Problems Using Continuous Relaxations , 2014, ICAPS.

[10]  Masahiro Ono,et al.  Iterative Risk Allocation: A new approach to robust Model Predictive Control with a joint chance constraint , 2008, 2008 47th IEEE Conference on Decision and Control.

[11]  Michael A. Saunders,et al.  SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization , 2002, SIAM J. Optim..

[12]  Brian C. Williams,et al.  A Fast Incremental Dynamic Controllability Algorithm , 2005 .

[13]  Cesare Tinelli,et al.  Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) , 2006, JACM.

[14]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[15]  Paul Robertson,et al.  A Fast Incremental Algorithm for Maintaining Dispatchability of Partially Controllable Plans , 2007, ICAPS.

[16]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[17]  Peng Yu,et al.  Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution , 2013, IJCAI.