[論文レビュー] Pattern Formation for Asynchronous Robots without Agreement in Chirality

Sruti Gan Chaudhuri, Swapnil Ghike+2 more|arXiv (Cornell University)|Mar 11, 2014

Optimization and Search Problems参考文献 23被引用数 5

ひとこと要約

本稿では、ねじれ性や方向感覚の合意を必要とせず、有限時間で任意の非対称パターンを形成する、決定的アルゴリズムを提示する。局所的協調と衝突回避移動戦略を用いたCORDAモデルにより、最小包摂円上での順次移動と交互配置の維持を通じて、グローバルな協調や明示的通信なしに収束を実現する。

ABSTRACT

This paper presents a deterministic algorithm for forming a given asymmetric pattern in finite time by a set of autonomous, homogeneous, oblivious mobile robots under the CORDA model. The robots are represented as points on the 2D plane. There is no explicit communication between the robots. The robots coordinate among themselves by observing the positions of the other robots on the plane. Initially all the robots are assumed to be stationary. The robots have local coordinate systems defined by Sense of Direction (SoD), orientation or chirality and scale. Initially the robots are in asymmetric configuration. We show that these robots can form any given asymmetric pattern in finite time.

研究の動機と目的

• ねじれ性や方向感覚の合意を必要としない、非同期で匿名かつ無記憶の移動ロボットによる任意のパターン形成問題を解決すること。
• 従来の研究で仮定されていた、同点条件や最小包摂円（SEC）に対するロボット分布に関する制約を排除すること。
• 局所的観測と戦略的ロボット選択を通じて協調を維持しつつ、衝突を回避する移動を実現すること。
• 明示的通信なしに、ローカル座標系のみを用いて任意の非対称パターンへの有限時間収束を達成すること。
• 形成過程中においても原点、軸、スケールを維持することで、配置の安定性を確保すること。

提案手法

• ロボットが待機・観測・計算・移動のサイクルを非同期で実行するCORDAモデルを用い、移動が即時でないため中間観測が可能である。
• ロボットが中間ウェイポイントを経由して目的地へ誘導するMoveToDestination()手続きを採用し、どのパターン点に対しても、ターゲットロボットより近づかないように保証する。
• 最小包摂円（SEC）上にいるロボットを管理するMoveOnBoundary()を導入し、3つのサブルーチン（MoveOnCircle, MoveEnsuringAlternate, GenerateAlternate）を用いる。
• デッドロックを回避し、進行を保証するための「交互配置」を維持する。この配置では、埋まりきった最終位置を通らずに、少なくとも1つの空いているパターン点に到達可能である。
• ロボット選択の同点を解消するために辞書式順序を用い、決定論的かつ無限ループの回避を実現する。
• SECとその上に配置されたロボットの位置が移動中も安定することを保証することで、原点（O）、座標軸、スケールを実行中を通じて維持する。

実験結果

リサーチクエスチョン

• RQ1 ねじれ性や方向感覚の合意なしに、非同期で無記憶のロボットが任意の非対称パターンを形成できるか？
• RQ2 グローバルな協調なしに、ロボットが最終パターン位置へ移動する際、どのように衝突を回避できるか？
• RQ3 ロボットが非同期に動作し、明示的通信ができない状況下で、どのように有限時間収束を保証できるか？
• RQ4 ロボットの移動中に、原点、スケール、軸といった配置の安定性をどのように維持できるか？
• RQ5 対称的または準同型の配置にある複数のロボットが同時に移動を試みる状況で、どのようにデッドロックや無限ループを防げるか？

主な発見

• 提案されたアルゴリズムは、ねじれ性や方向感覚の合意がなくても、任意の非対称パターンへの有限時間収束を保証する。
• 従来の仮定（同点条件やSEC上に配置されるロボット数に関する制約）を排除し、従来の手法よりもより一般的な適用が可能である。
• MoveOnBoundary()手続きによるSEC上での戦略的ロボット選択と移動により、衝突回避経路が保証される。
• 原点、座標軸、スケールが実行中を通じて維持され、ロボット間で一貫したローカル座標の合意が保たれる。
• SEC上にいるロボットは、MoveOnCircle, MoveEnsuringAlternate, GenerateAlternateの手続きにより誘導され、最終パターン位置への進行が維持される。
• アルゴリズムは決定論的であり、移動が即時でない非同期環境を想定するCORDAモデルで動作し、中間観測が可能であるため、非同期性に対して強い。