Efficiently Exploring Ordering Problems through Conflict-directed Search

In planning and scheduling, solving problems with both state and temporal constraints is hard since these constraints may be highly coupled. Judicious orderings of events enable solvers to efficiently make decisions over sequences of actions to satisfy complex hybrid specifications. The ordering problem is thus fundamental to planning. Promising recent works have explored the ordering problem as search, incorporating a special tree structure for efficiency. However, such approaches only reason over partial order specifications. Having observed that an ordering is inconsistent with respect to underlying constraints, prior works do not exploit the tree structure to efficiently generate orderings that resolve the inconsistency. In this paper, we present Conflict-directed Incremental Total Ordering (CDITO), a conflict-directed search method to incrementally and systematically generate event total orders given ordering relations and conflicts returned by sub-solvers. Due to its ability to reason over conflicts, CDITO is much more efficient than Incremental Total Ordering. We demonstrate this by benchmarking on temporal network configuration problems that involve routing network flows and allocating bandwidth resources over time.Comment: Accepted at ICAPS2019. 9 pages, 4 figures, 2 tables

Waiting time distribution of solar energetic particle events modeled with a non-stationary Poisson process

We present a study of the waiting time distributions (WTDs) of solar energetic particle (SEP) events observed with the spacecraft $WIND$ and $GOES$. Both the WTDs of solar electron events (SEEs) and solar proton events (SPEs) display a power-law tail $\sim \Delta t^{-\gamma}$. The SEEs display a broken power-law WTD. The power-law index is $\gamma_{1} =$ 0.99 for the short waiting times ($$100 hours). The break of the WTD of SEEs is probably due to the modulation of the corotating interaction regions (CIRs). The power-law index $\gamma \sim$ 1.82 is derived for the WTD of SPEs that is consistent with the WTD of type II radio bursts, indicating a close relationship between the shock wave and the production of energetic protons. The WTDs of SEP events can be modeled with a non-stationary Poisson process which was proposed to understand the waiting time statistics of solar flares (Wheatland 2000; Aschwanden $\&$ McTiernan 2010). We generalize the method and find that, if the SEP event rate $\lambda = 1/\Delta t$ varies as the time distribution of event rate $f(\lambda) = A \lambda^{-\alpha}exp(-\beta \lambda)$, the time-dependent Poisson distribution can produce a power-law tail WTD $\sim \Delta t^{\alpha - 3}$, where $0 \leq \alpha < 2$.Comment: 10 pages, 4 figures, accepted for publication in ApJ Letter