[论文解读] Discrete Dubins Paths

Sylvester Eriksson‐Bique, David Kirkpatrick+1 more|arXiv (Cornell University)|Nov 11, 2012

Robotic Path Planning Algorithms参考文献 29被引用 5

一句话总结

本文提出了一种曲率受限运动的离散模型，将离散Dubins路径定义为在转向角和长度约束下的最短多边形路径。证明了这些离散路径继承了经典Dubins路径的相同结构类型（例如ABA或AAA），并通过离散化趋于精细时的极限收敛，提供了Dubins原始结果的一个新离散证明。

ABSTRACT

A Dubins path is a shortest path with bounded curvature. The seminal result in non-holonomic motion planning is that (in the absence of obstacles) a Dubins path consists either from a circular arc followed by a segment followed by another arc, or from three circular arcs [Dubins, 1957]. Dubins original proof uses advanced calculus; later, Dubins result was reproved using control theory techniques [Reeds and Shepp, 1990], [Sussmann and Tang, 1991], [Boissonnat, Cérézo, and Leblond, 1994]. We introduce and study a discrete analogue of curvature-constrained motion. We show that shortest "bounded-curvature" polygonal paths have the same structure as Dubins paths. The properties of Dubins paths follow from our results as a limiting case---this gives a new, "discrete" proof of Dubins result.

研究动机与目标

• 开发曲率受限运动的离散类比，以保持连续Dubins路径的几何与拓扑结构。
• 通过转向角、长度以及转向角与长度的综合约束，形式化离散曲率受限路径，以防止短边导致的人工尖锐转向。
• 确立最短离散路径（离散Dubins路径）与经典Dubins路径具有相同的结构类型。
• 通过极限论证，提供Dubins原始结果（关于最短有界曲率路径）的新离散证明。
• 证明光滑Dubins路径在参数适当收敛时，作为离散Dubins路径的极限出现。

提出的方法

• 定义具有三个约束的离散曲率受限路径：最大顶点转向角 ≤ θ，无相邻短边（长度 < ℓ），并通过补充角约束限制短边上的转向。
• 从概念上引入前导边和后继边，以在不将它们包含在路径中的前提下形式化路径端点的转向约束。
• 根据边类型序列（如ABA、AAA）对离散Dubins路径进行分类，表明至少一半的边长度恰好为ℓ。
• 证明结构界限：至多一条边长度严格大于ℓ，至多两条拐点边，若存在更长的边则无拐点边。
• 通过单位圆内接正n边形构造光滑曲线的θₙ-离散化，以逼近连续路径。
• 通过ℓ → 0且θₙ → 0时离散路径对连续曲线的收敛，恢复Dubins型路径并证明其最小性。

实验结果

研究问题

• RQ1 能否构造一种曲率受限运动的离散模型，使得其最短路径与经典Dubins路径的结构相匹配？
• RQ2 在有界转向角和边长规则下，离散Dubins路径必须满足哪些结构约束？
• RQ3 当离散化趋于精细时，离散Dubins路径如何收敛到连续Dubins路径？
• RQ4 能否通过离散极限论证重现Dubins关于最短有界曲率路径的原始结果？
• RQ5 短边及其相邻性约束在保持离散曲率受限路径几何完整性方面起什么作用？

主要发现

• 离散Dubins路径必须包含至少一半边长恰好为ℓ的边，以确保与连续对应物的结构一致性。
• 离散Dubins路径至多包含一条长度严格大于ℓ的边，至多包含两条拐点边。
• 若离散Dubins路径包含一条长度大于ℓ的边，则其不包含任何拐点边，表明其结构更为规则。
• 参数θₙ与ℓₙ = 2 sin(π/n)的离散Dubins路径序列的极限收敛于类型为ABA或AAA的光滑Dubins路径。
• 离散路径τₙ的长度收敛于极限光滑路径τ*的长度，证明τ*是所有有界曲率路径中长度最小的。
• 该离散化方法允许通过证明连续情形下的最短路径作为离散最短路径的极限而获得Dubins结果的新证明。