[論文レビュー] Characterizing minimum-length coordinated motions for two discs

David Kirkpatrick, Paul Liu|arXiv (Cornell University)|Jul 14, 2016

Robotic Path Planning Algorithms参考文献 13被引用数 10

ひとこと要約

本稿では、障害物のない平面における2つの円形ロボットの最小長さの同期運動を、中心の経路長をコスト指標として完全に特徴づける。最適経路は、2つの円の半径の和に等しい半径の直線または円弧で構成され、最大6セグメントであることが証明され、閉形式の積分により計算可能である。また、1つのロボットが順次移動する分離型（decoupled）運動と、相対角度が単調に変化する連携型（coupled）運動の両方が可能であることが示される。

ABSTRACT

We study the problem of determining optimal coordinated motions for two disc robots in an otherwise obstacle-free plane. Using the total path length traced by the two disc centres as a measure of distance, we give an exact characterization of a shortest collision-avoiding motion for all initial and final configurations of the robots. The individual paths are composed of at most six (straight or circular-arc) segments, and their total length can be expressed as a simple integral with a closed form solution depending only on the initial and final configuration of the robots. Furthermore, the paths can be parametrized in such a way that (i) only one robot is moving at any given time (decoupled motion), or (ii) the angle between the two robots' centres changes monotonically.

研究の動機と目的

• 障害物のない平面における2つの円形ロボットの最短衝突回避運動を、中心が描く経路長の和をコスト指標として特定すること。
• 最適運動が存在する初期および終了配置のすべての特徴を明らかにすること、特に配置間にネット回転が存在する場合を含むこと。
• 分離型運動（1つのロボットが順次移動）と相対角度の単調変化を伴う連携型運動（monotonic coupled motions）を両方サポートする統一的フレームワークを提供すること。
• 線分の運動に関する先行研究を一般化するために、2次元の円形ロボットに向けたカウチの表面積公式を拡張すること。
• 最適経路が一定数の直線および円弧セグメントから構成され、全長の閉形式表現が初期および終了配置のみに依存することを確立すること。

提案手法

• 初期の線分の方向に対するカウチの表面積公式を応用し、2つの円形ロボットの運動における最適性条件を導出する。
• 移動を、衝突を避ける制約のもとでの並進と回転を含む剛体変換の系列としてモデル化する。
• 1つのロボットの中心の位置とその相対距離sの軌跡（s-円）に基づく幾何的分解を用いる。
• 1つのロボットの初期および終了位置の周囲のs-円の交差に基づいて、配置をケースに分類する。
• 最適性および相対角度の単調性を証明するために、補題（例：補題4.4および補題4.6）を用いる。
• 分離型運動（1つのロボットが順次移動）と連携型運動（相対角度が連続的に単調に変化）を両方構築する。

実験結果

リサーチクエスチョン

• RQ1 障害物のない平面における2つの円形ロボットの最短同期運動の正確な幾何的構造は何か？
• RQ2 どの初期および終了配置において、最適運動が直線で実現可能か？
• RQ3 最適運動は、分離型（1つのロボットが順次移動）または連携型（相対角度の単調変化）の形に分解可能か？
• RQ4 最適運動の全経路長の閉形式表現は何か？また、初期および終了配置のみに依存するか？
• RQ5 最適運動を、2つのロボットが1つの連続する時間区間中に接触し、相対角度が単調に変化する形で実現可能か？

主な発見

• 2つの円形ロボットの最適同期運動は、最大6セグメントからなる：2つの円の半径の和に等しい半径の直線または円弧。
• 全経路長は、中心の初期および終了配置にのみ依存する閉形式積分で与えられる。
• すべての最適運動は、1つのロボットが順次移動する分離型運動、または相対角度が単調に変化する連携型運動として実現可能である。
• 連携型運動では、2つのロボットが1つの連続する時間区間中に接触し、一度離れば再び接触しない。
• 相対配置にネット回転が存在する場合、最適運動は一意である。それ以外の場合は、ネット時計回り回転用と反時計回り回転用の2つの最適運動が存在する。
• 証明はカウチの表面積公式と、s-円（1つのロボットの中心からの距離sの点の軌跡）の交差に基づく幾何的ケース解析に依存し、各ケースで最適性および単調性を保証する補題が用いられる。