[論文レビュー] Discrete Dubins Paths

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

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

ひとこと要約

本稿では、曲率制約付き運動の離散モデルを導入し、回転制約および長さ制約の下で最短な多角形経路としての離散ダビンズ経路を定義する。この離散経路が、古典的ダビンズ経路と同一の構造的タイプ（例：ABA や AAA）を有することを証明し、離散化の細分化に伴う極限における収束を用いて、ダビンズの古典的結果に対する新しい離散的証明を提示する。

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.

研究の動機と目的

• 連続的なダビンズ経路の幾何学的・位相的構造を保つ離散的類似物を構築すること。
• 回転、長さ、および回転/長さ比に関する制約を用いて、人工的な鋭角な折り返しを短い辺から防ぐために、離散的曲率制約付き経路を形式化すること。
• 最短の離散経路（離散ダビンズ経路）が、古典的ダビンズ経路と同じ構造的タイプを有することを確立すること。
• 極限的議論を用いて、ダビンズの元々の結果（最短の有界曲率経路）を離散的極限によって再証明すること。
• 適切なパrameterの収束の下で、滑らかなダビンズ経路が離散ダビンズ経路の極限として現れることを示すこと。

提案手法

• 最大頂点回転角 ≤ θ、隣接する短い辺（長さ < ℓ）の禁止、および補角制約による短い辺上の回転の制限の3つの制約を満たす離散的曲率制約付き経路を定義する。
• 端点での回転制約を形式化するために、概念的に「前駆けエッジ」と「後続エッジ」を導入するが、これらは経路に含めない。
• エッジの種別列（例：ABA、AAA）によって離散ダビンズ経路を分類し、少なくとも半数のエッジが長さちょうど ℓ に等しいことを示す。
• 構造的制約を証明：長さが ℓ より長いエッジは高々1つ、折り返しエッジは高々2つであり、より長いエッジが存在する場合には折り返しエッジは存在しない。
• 単位円に内接する正 n 角形を用いて、滑らかな曲線の θₙ-離散化を構築する。
• ℓ → 0 および θₙ → 0 の極限における離散経路の連続曲線への収束を用い、ダビンズ型の経路を回復し、最小性を証明する。

実験結果

リサーチクエスチョン

• RQ1 回転制約およびエッジ長制約の下で、その最短経路が古典的ダビンズ経路の構造を再現するような、曲率制約付き運動の離散モデルを構築可能か？
• RQ2 有界な回転およびエッジ長ルールの下で、離散ダビンズ経路が満たすべき構造的制約は何か？
• RQ3 離散化が細かくなるにつれて、離散ダビンズ経路はどのように連続ダビンズ経路に収束するか？
• RQ4 ダビンズの元々の結果（最短の有界曲率経路）を、離散的極限的議論を用いて再証明可能か？
• RQ5 短い辺およびその隣接制約は、離散的曲率制約付き経路の幾何的整合性を保つために果たす役割は何か？

主な発見

• 離散ダビンズ経路には、少なくとも半数のエッジが長さちょうど ℓ に等しくなければならない。これは、連続的対応物と構造的一致を保証する。
• 離散ダビンズ経路には、長さが ℓ より大きいエッジが高々1つであり、折り返しエッジは高々2つである。
• 離散ダビンズ経路に ℓ より長いエッジが存在する場合、折り返しエッジは存在せず、より規則的な構造を示す。
• パrameter θₙ および ℓₙ = 2 sin(π/n) を用いた離散ダビンズ経路の列の極限は、ABA または AAA 型の滑らかなダビンズ経路に収束する。
• 離散経路 τₙ の長さは、極限となる滑らかな経路 τ* の長さに収束し、τ* がすべての有界曲率経路の中で最小であることを証明する。
• この離散化手法により、連続的な最小経路が離散的最小経路の極限として生じることを示すことで、ダビンズの結果に対する新しい証明が可能になる。