[論文レビュー] Resilient Continuous-Time Consensus in Fractional Robust Networks

Heath J. LeBlanc, Haotian Zhang+2 more|arXiv (Cornell University)|Mar 11, 2013

Distributed Control Multi-Agent Systems参考文献 22被引用数 4

ひとこと要約

本稿では、各正規エージェントの隣人の中から最大 $f$ の割合が悪意ある者である可能性がある分数敵対モデル下で、マルチエージェントネットワークにおける連続時間のレジリエントなコンセンサスプロトコル、ARC-P を提案する。著者らは、新たなグラフ理論的指標である分数レジリエンス（fractional robustness）を用いて、ネットワークが $2f$-分数レジリエント（十分条件）である場合にコンセンサスが達成されることを証明した。また、時間変動するトポロジーに伴うドウェル時間制約のもとで、$f$-分数レジリエントであることが必要条件であることを示した。

ABSTRACT

In this paper, we study the continuous-time consensus problem in the presence of adversaries. The networked multi-agent system is modeled as a switched system, where the normal agents have integrator dynamics and the switching signal determines the topology of the network. We consider several models of omniscient adversaries under the assumption that at most a fraction of any normal agent's neighbors may be adversaries. Under this fractional assumption on the interaction between normal and adversary agents, we show that a novel graph theoretic metric, called fractional robustness, is useful for analyzing the network topologies under which the normal agents achieve consensus.

研究の動機と目的

• 連続時間システムにおける分数敵対モデル下での、耐レジリエントコンセンサスのためのトポロジー的条件の欠如を解決すること。
• 従来のグラフ指標（連結性など）では、極端な値の削除に伴う情報フローの再帰的冗長性を捉えきれないという限界を克服すること。
• 局所情報と分数敵対仮定の下で動作する、MSRアルゴリズムの連続時間版（ARC-P）を開発すること。
• 時間変動するネットワークトポロジーに適した分数レジリエンス指標を用いて、耐レジリエントコンセンサスの必要十分条件を確立すること。
• 3つの敵対モデル（Byzantine、悪意ある、クラッシュ）を想定し、各正規エージェントの隣人の中から最大 $f$ の割合が侵害されているという仮定の下で、収束を分析すること。

提案手法

• ネットワークを、時変有向グラフ $\mathcal{D}(t)$ を持つスイッチングシステムとしてモデル化し、区分定数のスイッチング信号 $\sigma(t)$ によって制御する。
• ARC-P（悪意あるレジリエントコンセンサスプロトコル）を連続時間に適応し、各正規エージェントが極端な値を除去した後、隣人状態の重み付き平均に基づいて自身の状態を更新する。
• 分数レジリエンス指標として、$p$-分数レジリエンス（$p > 2f$）を定義し、$f$-分数敵対モデル下でのネットワークレジリエンスを特徴付ける。
• 離散時間間隔 $\Delta$ の間に、最大および最小の正規エージェント状態の進化に基づく背理法を用い、極端な値を持つエージェント集合の減少を追跡する。
• スイッチング間隔にドウェル時間制約（$t_{k+1} - t_k \geq \tau$）を適用し、トポロジー変更間の収束に十分な時間を保証する。
• 正規エージェント間の最大値と最小値の差を $\Psi(t) = M_{\mathcal{N}}(t) - m_{\mathcal{N}}(t)$ と定義し、レジリエンス条件の下で $\Psi(t)$ が時間間隔にわたって厳密に減少することを示す。

実験結果

リサーチクエスチョン

• RQ1 各正規エージェントの隣人の中から分数 $f$ が敵対的である場合、連続時間マルチエージェントシステムで耐レジリエントコンセンサスを保証するトポロジー的条件は何か？
• RQ2 分数レジリエンス指標は、時間変動するネットワークトポロジー下でのARC-Pプロトコルの収束性とどのように関係するか？
• RQ3 連続時間システムにおいて、$f$-分数敵対モデル下で耐レジリエントコンセンサスの必要十分条件を確立できるか？
• RQ4 Byzantine、悪意ある、クラッシュ攻撃者という異なる敵対モデルが、分数脅威仮定下でのコンセンサスプロトコルのレジリエンスにどのように影響を与えるか？
• RQ5 時間変動するネットワークにおいて、トポロジー変更間のドウェル時間は収束を保証するために果たす役割は何か？

主な発見

• ネットワークが $2f$-分数レジリエンスである場合、ARC-Pプロトコルは連続時間で耐レジリエントコンセンサスを達成する。これは収束の十分条件である。
• 耐レジリエントコンセンサスのための必要条件は、ネットワークが $f$-分数レジリエンスでなければならないことである。これにより、与えられた敵対モデル下で境界のタイトさが確立された。
• プロトコルは、正規エージェント間の最大値と最小値の差 $\Psi(t) = M_{\mathcal{N}}(t) - m_{\mathcal{N}}(t)$ が時間間隔 $\Delta$ にわたって厳密に減少することを保証し、これによりコンセンサスに到達する。
• 時間変動するネットワークでは、$t \geq t'$ に対してすべての $t$ で $p$-分数レジリエンス（$2f < p \leq 1$）が成り立つ場合、かつスイッチング間隔がドウェル時間 $\tau$ 以上に下限付けられている場合、収束が保証される。
• 敵対者が全能的で、状態を適応的に操作しても、各正規エージェントの隣人の中の破壊された割合が $f < 1/2$ に制限されていれば、プロトコルはレジリエンスを維持する。
• 解析により、極端な値を持つエージェント数（$\mathcal{X}_M^j$ および $\mathcal{X}_m^j$）が時間とともに減少することが示され、$\Psi(t)$ が任意の $\epsilon > 0$ よりも小さくなることが保証され、これによりコンセンサスが成立する。