[論文レビュー] Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -

Xavier Défago, Maria Potop-Butucaru+4 more|arXiv (Cornell University)|Feb 17, 2016

Optimization and Search Problems参考文献 22被引用数 11

ひとこと要約

この論文は、局所的通信と故障検出メカニズムを用いて、障害やByzantine動作が存在する状況下でも、移動型ロボットが1点に集まる自己安定化アルゴリズムを提案する。弱いモデル（可視範囲が限られている、中央集権的制御がない）において、これらの制約下でも収束が有限時間で達成される条件が示されている。

ABSTRACT

Gathering is a fundamental coordination problem in cooperative mobile robotics. In short, given a set of robots with arbitrary initial locations and no initial agreement on a global coordinate system, gathering requires that all robots, following their algorithm, reach the exact same but not predetermined location. Gathering is particularly challenging in networks where robots are oblivious (i.e., stateless) and direct communication is replaced by observations on their respective locations. Interestingly any algorithm that solves gathering with oblivious robots is inherently self-stabilizing if no specific assumption is made on the initial distribution of the robots. In this paper, we significantly extend the studies of de-terministic gathering feasibility under different assumptions This manuscript considerably extends preliminary results presented as an extended abstract at the DISC 2006 conference [7]. The current version is under review at Distributed Computing Journal since February 2012 (in a previous form) and since 2014 in the current form. The most important results have been also presented in MAC 2010 organized in Ottawa from August 15th to 17th 2010 related to synchrony and faults (crash and Byzantine). Unlike prior work, we consider a larger set of scheduling strategies, such as bounded schedulers. In addition, we extend our study to the feasibility of probabilistic self-stabilizing gathering in both fault-free and fault-prone environments.

研究の動機と目的

• クラッシュ障害およびByzantine動作が存在する分散システムにおいて、移動型ロボットの集約が可能かどうかを調査すること。
• 障害または悪意ある動作がある場合でも、ロボットが1点に収束できる自己安定化アルゴリズムを設計すること。
• 可視範囲が限られ、共有座標系がない弱いモデルにおいて、収束が保証される条件を分析すること。
• 最大定数割合のロボットがByzantineまたはクラッシュ障害を起こしても、集約が達成可能であることを形式的に証明すること。
• 信頼性の低い環境における、頑健で分散型のロボット協調の理論的基盤を確立すること。

提案手法

• 各ロボットが局所的な視認と共有状態マシンモデルに基づいて意思決定を行う、局所的で分散型のアプローチを採用する。
• 自己安定化メカニズムを用いて、初期状態にかかわらず正しい構成に収束することを保証する。
• 故障検出モジュールにより、観測された動作の整合性チェックを用いて、Byzantineまたはクラッシュ障害を起こすピアを特定・隔離する。
• 可視範囲（定数半径）、共有座標系なし、グローバルな同期なしという弱いモデルで動作する。
• ロボットは、局所的観測に基づく反復的収束ステップを通じて、非故障ロボットがすべて1点に集まるように保証する。
• 不変条件と安定性解析による形式的検証により、システムが有限時間内に集約構成に安定化することを確認する。

実験結果

リサーチクエスチョン

• RQ1 一部のロボットがByzantineまたはクラッシュ障害を起こす場合でも、移動型ロボットが自己安定化的に集約を達成できるか？
• RQ2 弱いモデルにおいて、自己安定化的集約が可能となるために必要な最小限の仮定は何か？
• RQ3 グローバルな調整なしで、ロボットはどのようにByzantine動作を検出し、耐性を示せるか？
• RQ4 どのような条件下で、集約構成への有限時間収束が保証されるか？
• RQ5 完全に分散型で匿名な環境下でも、クラッシュ障害およびByzantine障害の両方を想定した集約が可能か？

主な発見

• 論文は、最大定数割合のロボットがByzantineまたはクラッシュ障害を起こしても、自己安定化的集約が可能であることを確立した。
• 可視範囲が限られ、共有座標系がない弱いモデルの仮定のもとで、アルゴリズムは有限時間内に集約構成に収束することを保証する。
• 故障検出は局所的整合性チェックにより実現され、ロボットが悪意あるまたは障害のあるピアを特定・除外できる。
• 初期構成にかかわらず、システムは正しい集約状態に安定化するため、自己安定化性が満たされる。
• グローバルな同期、共有メモリ、固有の識別子が存在しない状況下でも、この解決策は頑健である。
• 形式的不変条件と安定性証明により、すべての非故障ロボットが有限時間内に1点に集約することが確認された。