用Dijkstra算法实现安全高效的在线路径规划,无需估计转移概率。
Dijkstra as an Oracle for Online Stochastic Shortest Path Navigation with Provable Guarantees

- 基于简化地图的非负代价条件,使Dijkstra在随机环境中保持精确
- 实验显示规划工作量减少4.5至19.3倍,碰撞次数降低17倍
- 适合需要低计算开销与高安全性的移动机器人导航场景
在人类和关键设施共存的环境中,移动机器人需在未知真实代价且执行不精确的情况下以低开销抵达目标。传统精确求解方法如价值迭代的计算量随地图直径增长,而Dijkstra算法虽快速但常被视为随机环境下不精确。本研究证明,在比因果性条件更弱的简化地图非负代价条件下,Dijkstra仍可保持精确。据此提出在线学习算法DORA(Dijkstra Oracle Reduced-cost Algorithm),每轮仅调用最短路径查询固定次数,不估计转移核,并在动态障碍物接触概率受限时加入对数生存权重。在网格世界导航、定向钻探和无人机监控三个基准测试中,DORA性能媲美已知转移核的乐观价值迭代,规划工作量减少4.5至19.3倍,学习期间碰撞次数降低17倍,接触率始终控制在跨越两个数量级的预算内。结果表明最短路径搜索支持安全高效的在线导航与路径规划。
原文摘要 · Abstract (English)
Mobile robots that operate in side by side with humans and critical facilities must reach their goals at low cost, despite often unknown true traversal costs of the map apriori and imperfect actuation. Planners that solve the underlying stochastic shortest path problem exactly, such as value iteration, require computation that grows with the diameter of the map, whereas Dijkstra's algorithm is fast but is usually considered inexact once transitions are stochastic. This study shows that Dijkstra's algorithm can remain an exact planning engine under a condition that is much weaker than the causality condition often invoked in the literature, namely nonnegativity of a reduced cost defined on the determinized map. Building on this characterization, an online learner DORA (Dijkstra Oracle Reduced-cost Algorithm) is proposed for robot navigation that calls a shortest path oracle a fixed number of times per episode, never estimates a transition kernel, and adds a logarithmic survival weight when the probability of contact with a dynamic obstacle must stay within a budget. In the numerical experiments involving three other benchmarks that cover grid world navigation, directional drilling, and drone surveillance, the learner matches optimistic value iteration that is given the true transition kernel while performing 4.5 to 19.3 times less planner work, reduces contacts during learning by a factor of seventeen relative to determinize and replan, and keeps the contact rate within budgets that span two orders of magnitude. These results indicate that shortest path search supports safe and efficient online navigation and path planning tasks.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。