[論文レビュー] Byzantine Convergence in Robots Networks: The Price of Asynchrony

Zohir Bouzid, Maria Potop-Butucaru+1 more|ArXiv.org|Aug 4, 2009

Optimization and Search Problems参考文献 9被引用数 16

ひとこと要約

この論文は、最大f体のByzantine障害が発生する完全非同期な1次元ロボットネットワークにおいて、決定的アルゴリズムを提示し、ロボットが未知の共通位置に収束することを保証する。アルゴリズムは、中央値に基づく位置トリミングと、極端な位置からのみ移動する戦略を用いる慎重で収縮する戦略により、$5f+1$台のロボットで収束を達成し、完全非同期なCORDAモデルにおいて$5f+1$が必要かつ十分であることを証明する。

ABSTRACT

We study the convergence problem in fully asynchronous, uni-dimensional robot networks that are prone to Byzantine (i.e. malicious) failures. In these settings, oblivious anonymous robots with arbitrary initial positions are required to eventually converge to an a apriori unknown position despite a subset of them exhibiting Byzantine behavior. Our contribution is twofold. We propose a deterministic algorithm that solves the problem in the most generic settings: fully asynchronous robots that operate in the non-atomic CORDA model. Our algorithm provides convergence in 5f+1-sized networks where f is the upper bound on the number of Byzantine robots. Additionally, we prove that 5f+1 is a lower bound whenever robot scheduling is fully asynchronous. This constrasts with previous results in partially synchronous robots networks, where 3f+1 robots are necessary and sufficient.

研究の動機と目的

• 完全非同期で1次元のロボットネットワークにおけるByzantine故障下での収束問題を解決すること。
• 最も一般的な非同期設定における決定的Byzantine耐性に必要な最小ロボット数の理解のギャップを埋めること。
• 完全非同期なCORDAモデルにおいて、$5f+1$が収束に必要かつ十分であることを証明すること。
• 任意のByzantine行動に対しても収束を保証する決定的で慎重かつ収縮するアルゴリズムを設計すること。

提案手法

• アルゴリズムは、呼び出しロボットを中心とする範囲に制限するためのトリム関数$\text{trim}_{2f}^{i}(P(t))$を用い、各側に最大$2f$個の極端な位置を除外する。
• トリム範囲の中央値を$\text{center}()$関数で計算し、移動先の目標位置を決定する。
• 位置が$P_{f+1}(t)$以下または$P_{n-f}(t)$以上である極端な位置にあるロボットのみが移動を許可され、慎重な挙動を保証する。
• アルゴリズムは慎重（目的地が常に正しいロボットの範囲内にあり得る）かつ収縮（直径が時間とともに乗法的に減少）であることが証明される。
• 収束は、アルゴリズムが慎重かつ収縮的である場合に収束を保証する定理4.1によって形式的に確立される。
• 正規のスケジューラーに起因する非同期性を考慮した完全非同期なCORDAモデルにおいて、正しさが証明される。

実験結果

リサーチクエスチョン

• RQ1 完全非同期で1次元のロボットネットワークにおいて、Byzantine故障が発生する条件下で、決定的収束を達成するために必要な最小ロボット数は何か？
• RQ2 Byzantineロボットが任意に振る舞う場合、完全非同期なCORDAモデルで決定的アルゴリズムが収束を達成できるか？
• RQ3 $5f+1$は、この設定におけるByzantine耐性に必要なロボット数のタイトな下界であるか？
• RQ4 非同期性は、部分的に同期的なモデルと比較して、収束アルゴリズムのレジリエンスと設計にどのように影響を与えるか？

主な発見

• この論文は、最大f体のByzantine障害が発生する完全非同期な1次元ロボットネットワークにおいて、決定的収束を達成するためには$5f+1$台のロボットが必要であることを証明する。
• 完全非同期なCORDAモデルにおいて、$5f+1$台のロボットで収束を達成する決定的アルゴリズムが提案される。
• アルゴリズムは慎重かつ収縮的であり、正しいロボットが常に正しい位置の凸包内に移動し、正しいロボットの位置の直径が時間とともに減少することを保証する。
• 部分的に同期的なモデルで知られている$3f+1$の下界に比べ、$5f+1$の下界は非同期性のコストを明確に示している。
• アルゴリズムの正しさは、ロボットのスケジューリングと実行における非有界な非同期性を考慮したCORDAモデルにおいて形式的に証明される。