Optimal Planning in a Dynamic World

2026-10-02

AI Summary

This study addresses the replanning efficiency bottleneck in traditional path planning within dynamic environments, where execution start times are unknown. To overcome this limitation, this work proposes an arbitrary-start-time planning framework that introduces a novel data structure termed the composite Arrival Time Function (cATF). By elevating scalar cost propagation in heuristic search to functional propagation, cATF encodes optimal plans across all time horizons, thereby supporting robust queries without predefined start times. Theoretically, we prove that the size of cATF remains linearly bounded. Empirical evaluations on Safe Interval Path Planning (SIPP) demonstrate that the proposed approach significantly outperforms conventional replanning methods, enabling the efficient generation of optimal paths.

Abstract

Background: We address the problem of planning when the set of feasible states or actions changes over time. For example, in the problem of path planning among moving obstacles (sometimes known as SIPP), the feasibility of being at a particular location can change as the obstacles move. Or, the action of boarding a particular train is feasible only while it is stopped at the station. This dynamism means that the optimal plan and its duration can change depending on when execution begins. In practice, execution start time is often unknown until planning has completed or another agent gives the go-ahead. However, most prior planning work either ignores dynamism or assumes a known start time. This makes it straightforward to assess state and action feasibility but is impractical for some applications. Objectives: In this paper, we relax the assumption of a known start time. We define the setting of {\em any-start-time planning} and provide algorithms for it. Methods: We present a data structure called a compound arrival time function (cATF) that compactly encodes the optimal plan as a function of start time. We provide general-purpose planning algorithms, based on heuristic graph search, that assemble cATFs by propagating functions along edges instead of scalar costs. Results: We prove that the size of a cATF is at most linear in the problem size. An experimental evaluation of an implementation for the specific problem of SIPP shows that, on difficult problems, agents that rely on replanning often fail, while any-start-time algorithms using cATFs can quickly look up the optimal plan once the execution start time is known. Conclusions: By enabling efficient representations and reasoning for time-dependent plans, this work provides a foundation for planning in dynamic worlds.

Problem

• Dynamic Planning
• Any-Start-Time Planning
• Path Planning
• Moving Obstacles
• Optimal Planning

Innovation

• any-start-time planning
• compound arrival time function
• heuristic graph search
• dynamic world planning
• SIPP