资源论文Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds

Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds

2019-10-10 | |  79 |   53 |   0
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 dynamic controllability, which determines whether an adaptive schedule can be constructed on-the-fly. Our work improves the runtime of checking the dynamic controllability of STNUs with integer bounds to O  min(mn, m?n log N) + km + k2n + kn log n. Our approach pre-processes the STNU using an existing O(n3) 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

上一篇:Fair Online Allocation of Perishable Goods and its Application to Electric Vehicle Charging

下一篇:Finding Optimal Solutions in HTN Planning – A SAT-based Approach

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...