[論文レビュー] Pairbot: A Novel Model for Autonomous Mobile Robot Systems Consisting of Paired Robots

Navarra, Alfredo, Piselli, Francesco|arXiv (Cornell University)|Sep 30, 2020

Optimization and Search Problems参考文献 32被引用数 4

ひとこと要約

本稿では、各ロボットが指定された相棒とペアを形成することで、相互のロボット間接続性と計算能力を向上させる、自律移動型ロボットのための新しい計算パラダイム「Pairbotモデル」を提案する。相互認識と同期的な位置合わせを可能にすることで、従来のLCMモデルよりも弱い仮定のもとで、永続的移動問題や7対ロボット集約問題を解決可能であり、可視範囲が限定的で非同期スケジューリングが適用される状況でも優れた解消可能性を示している。

ABSTRACT

By Programmable Matter (PM) is usually meant a system of weak and self-organizing computational entities, called particles, which can be programmed via distributed algorithms to collectively achieve some global tasks. We consider the SILBOT model where particles are modeled as finite state automata, living and operating in the cells of a hexagonal grid. Particles are all identical, executing the same deterministic algorithm which is based on local observation of the surroundings, up to two hops. Particles are asynchronous, without any direct means of communication and disoriented but sharing a common handedness, i.e., chirality is assumed. Within such a basic model, we consider a foundational primitive for PM, that is Coating: a set of n particles must move so as to ensure the closed surrounding of an object occupying some connected cells of the grid. We present an optimal deterministic distributed algorithm - along with the correctness proof, that in Θ(n²) rounds solves the Coating problem, where a round concerns the minimal time window within which each particle is activated at least once.

研究の動機と目的

• 自律移動型ロボットシステムにおけるLCMモデルの限界、特にロボット間接続性と問題の解消可能性に関する課題を解決すること。
• ロボット同士の内在的ペアリングを通じて協調性を向上させる、新たな計算モデル「Pairbot」を提案すること。
• 永続的移動問題や7対ロボット集約問題といった具体的な問題を通じて、Pairbotモデルの計算的利点を示すこと。
• LCMロボットと比較して、可視範囲やスケジューラの種別といった弱い仮定のもとで問題を解くために必要な最小限の能力を明確にすること。
• 今後のペアロボットフレームワークにおけるパターン形成、展開、埋め込み問題の探求の基盤を築くこと。

提案手法

• Pairbotモデルは、各ロボットが一意に識別可能な相棒を保有するペアリングメカニズムを導入し、相互認識と同期的な運動を可能にする。
• LCM（見ること－計算する－移動する）サイクルを採用するが、相対的な配置に基づいてロボットの位置を動的に調整するペアリング論理を拡張して運用する。
• 相棒の状態と他のロボットの相対的位置に基づいて、各ペアロボットの動きを制御する69の規則を有する決定的アルゴリズムを設計した。
• 可視範囲を1（短距離）に設定し、FSYNCおよびASYNCスケジューラの両方を用いて、耐障害性を評価した。
• 7対ロボット集約問題の3,652通りの初期接続配置について、正しさを網羅的に検証するためのシミュレータを実装した。
• 同等の仮定のもとで標準的なLCMモデルと比較することで、解消可能性における差異を明確にした。

実験結果

リサーチクエスチョン

• RQ1 ロボット間のペアリングメカニズムが、自律移動型ロボットシステムにおける相互接続性と計算能力を顕著に向上させ得るか？
• RQ2 非同期スケジューラのもとで、3対ロボットが永続的移動問題を解けるか？また、LCMロボットと比較してどうなるか？
• RQ3 可視範囲1の条件下で、7対ロボット集約問題がPairbotモデルで解けるか？同様の制約のもとでLCMロボットでも可能か？
• RQ4 LCMモデルがPairbotモデルの挙動を模倣するための最小限の能力セットは何か？
• RQ5 固定された相棒関係が、匿名的かつ均一なロボットと比較して、協調問題の解消可能性にどのように影響を与えるか？

主な発見

• 非同期スケジューラのもとで、3対ロボットは永続的移動問題を解けるが、6体以下ではLCMロボットですら、より制限の厳しいSSYNCスケジューラでも解けない。
• Pairbotモデルでは可視範囲1のもとで7対ロボット集約問題が解けるが、LCMロボットは同様の制約のもとでこの問題を解くには可視範囲2が必要である。
• FSYNCスケジューラのもとで、3,652通りの初期接続配置すべてに対して、提案されたアルゴリズムが正しく7対ロボット集約問題を解いた。
• 同等の仮定のもとで、PairbotモデルはLCMモデルよりも高い計算能力を発揮しており、特に可視範囲が限定的で非同期スケジューリングが適用される状況での解消可能性に優れている。
• ペアリングメカニズムにより、明示的な通信を一切不要とし、相互認識と位置適応に基づく頑健な協調が実現された。
• 単純なペアリング関係が、複雑な協調問題を解くために必要な能力を著しく低減できることを示した。