[論文レビュー] The BG-simulation for Byzantine Mobile Robots

Taisuke Izumi, Zohir Bouzid+2 more|arXiv (Cornell University)|Jun 1, 2011

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

ひとこと要約

この論文は、強い仮定のもとでもByzantine集約が不可能であることを証明している：1体のByzantineロボット、アトミック実行、n-有界の集中スケジューラ、無念ロボットでないロボット、即時移動、共通の座標系の方向性。主な貢献は、非同期コンセンサス問題からのBGシミュレーションに基づく還元で、同じ条件下で一般化された2価パターン形成問題に対しても不可能性が拡張されることを示している。

ABSTRACT

This paper investigates the task solvability of mobile robot systems subject to Byzantine faults. We first consider the gathering problem, which requires all robots to meet in finite time at a non-predefined location. It is known that the solvability of Byzantine gathering strongly depends on a number of system attributes, such as synchrony, the number of Byzantine robots, scheduling strategy, obliviousness, orientation of local coordinate systems and so on. However, the complete characterization of the attributes making Byzantine gathering solvable still remains open. In this paper, we show strong impossibility results of Byzantine gathering. Namely, we prove that Byzantine gathering is impossible even if we assume one Byzantine fault, an atomic execution system, the n-bounded centralized scheduler, non-oblivious robots, instantaneous movements and a common orientation of local coordinate systems (where n denote the number of correct robots). Those hypotheses are much weaker than used in previous work, inducing a much stronger impossibility result. At the core of our impossibility result is a reduction from the distributed consensus problem in asynchronous shared-memory systems. In more details, we newly construct a generic reduction scheme based on the distributed BG-simulation. Interestingly, because of its versatility, we can easily extend our impossibility result for general pattern formation problems.

研究の動機と目的

• モバイルロボットシステムにおけるByzantine集約の可能性と不可能性の結果のギャップを埋めること。
• 従来の仮定よりも強い仮定のもとでも、Byzantine集約が解けるかどうかを調査すること。
• 集約を超えて、より広いクラスの形成問題へ不可能性の結果を拡張すること。
• 故障耐性ロボットシステムにおける不可能性を証明するための一般的な還元フレームワークを確立すること。
• 非無念ロボット、共通の方向性、有界スケジューラがある状況でも、Byzantine集約が依然として解けないことを示すこと。

提案手法

• BGシミュレーションを用いて、非同期コンセンサス問題からByzantine集約問題への還元を構築する。
• 各ロボットが共有メモリシステムにおけるプロセスをエミュレートするシミュレーションアルゴリズムを設計し、ロボットの配置をコンセンサスの状態にマッピングする。
• マッピング関数 M(C) を定義する。これは、現在のロボット配置と形成ファミリー F に属する任意の有効なパターンとの最大重複度を表す。
• 現在の配置とパターンファミリーに基づいて、Byzantineロボットのターゲット位置を決定する決定的関数 m(C) を導入する。
• 提案値 0 と 1 の初期ロボット配置を設定し、それらが移動ベクトル x によってのみ異なるようにする。これにより、コンセンサスの入力をシミュレートする。
• 1近傍関係に基づくパターン配置の同値類を用いて、正当な配置をコンセンサス出力にマッピングするデコード関数を定義する。

実験結果

リサーチクエスチョン

• RQ1 アトミック実行、共通の座標系、非無念ロボットといった強い仮定のもとでも、Byzantine集約は解けるか？
• RQ2 Byzantine集約の不可能性は、一般化されたパターン形成問題へ拡張可能か？
• RQ3 BGシミュレーション技術により、非同期システムにおけるコンセンサス問題への還元によって、より強い不可能性結果が得られるか？
• RQ4 Byzantine集約の不可能性を引き起こす最小限のシステム仮定は何か？
• RQ5 2価形成問題は、Byzantine集約と同一の条件下で解けないことが証明可能か？

主な発見

• 1体のByzantineロボット、アトミック実行、n-有界の集中スケジューラ、非無念ロボット、即時移動、共通の座標系の方向性がある状況でも、Byzantine集約は不可能である。
• 従来の知られていた仮定よりもはるかに弱い仮定のもとでも不可能性が成立するため、より強い否定的結果である。
• BGシミュレーションに基づく還元技術により、コンセンサス問題におけるFLPの不可能性がロボット集約問題へ正しく伝播した。
• このフレームワークは、直線、円、その他の対称パターンを含む、任意の2価形成問題の不可能性の証明に拡張可能である。
• 還元は頑健である：ロボットが記憶を持ち、共通の方向性を持ち、有界スケジューリングがある状況でも、依然としてByzantine集約は解けない。
• 論文は、根本的な困難が対称性の打破や協調の欠如に起因するのではなく、非同期システムにおけるByzantine故障下でのコンセンサスの本質的不可能性に起因することを示している。この不可能性は、ロボットモデルに引き継がれる。