[論文レビュー] Consensus Problems in Networks of Agents under Nonlinear Protocols with Directed Interaction Topology

Xiwei Liu, Tianping Chen|ArXiv.org|Apr 23, 2008

Distributed Control Multi-Agent Systems参考文献 10被引用数 5

ひとこと要約

本稿は、有向グラフ上での非線形プロトコルを用いたマルチエージェントネットワークにおけるコンセンサスのための条件を確立する。スぺクトルグラフ理論とラプラシアン安定性を活用することで、相互作用トポロジーが強く連結であり、かつ非線形プロトコルが厳密に増加関数である場合にコンセンサスが達成されることを証明する。これは、従来の無向グラフおよび線形プロトコルの結果を、有向グラフおよび非線形プロトコルへと一般化したものである。

ABSTRACT

The purpose of this short paper is to provide a theoretical analysis for the consensus problem under nonlinear protocols. A main contribution of this work is to generalize the previous consensus problems under nonlinear protocols for networks with undirected graphs to directed graphs (information flow). Our theoretical result is that if the directed graph is strongly connected and the nonlinear protocol is strictly increasing, then consensus can be realized. Some simple examples are also provided to demonstrate the validity of our theoretical result.

研究の動機と目的

• 非線形プロトコル下での有向グラフへのコンセンサス理論の拡張。
• 既存の線形コンセンサス結果を非線形プロトコルへ一般化しつつ、収束保証を維持すること。
• 代数的グラフ理論、行列理論、制御理論を用いた、有向かつ非線形エージェントネットワークの厳密な理論的枠組みの提供。
• 数値例を通じて非線形プロトコルの有効性を示し、線形プロトコルと比較してより速い収束を示す。

提案手法

• 重み付き有向グラフと隣接行列、グラフラプラシアンを用いてエージェントネットワークをモデル化する。
• 各エージェントが変換された状態の差に基づいて更新する非線形コンセンサスプロトコルを定義：$\dot{x}_i = \sum_{j \in \mathcal{N}_i} a_{ij} (h(x_j) - h(x_i))$。
• 安定性解析のためのリャプノフ関数 $V(x) = \frac{1}{2} \sum_{i,j} b_{ij} (h(x_i) - h(x_j))^2$ を構築する。
• ラプラシアンの性質と $h(\cdot)$ の厳密増加性を用いて、有界性および収束性を証明する。
• 最大不変集合 $\Omega = \{x : x_i = x_j \text{ for all } i,j\}$ を特定し、これがコンセンサスを意味することを示す。
• ラプラシアンの固値 0 に対応する左固有ベクトル $\xi$ を用いて、コンセンサス値 $\beta = \sum \xi_i x_i(0)$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 有向グラフ上での非線形プロトコルを用いたエージェントネットワークにおいて、どのような条件下でコンセンサスが成立するか？
• RQ2 非線形プロトコルを用いた無向グラフにおけるコンセンサス結果を、有向グラフへと拡張可能か？
• RQ3 非線形プロトコルの厳密増加性がコンセンサスへの収束に与える影響は何か？
• RQ4 非線形プロトコルは、有向ネットワークにおいて線形プロトコルよりも速やかにコンセンサスに到達可能か？
• RQ5 強連結性が非線形ダイナミクス下でのコンセンサスの確保に果たす役割は何か？

主な発見

• 有向グラフが強く連結であり、かつ非線形プロトコル $h(\cdot)$ が厳密に増加関数である場合、コンセンサスが達成される。
• コンセンサス値は $\beta = \sum_{i=1}^n \xi_i x_i(0)$ であり、$\xi$ はラプラシアンの固値 0 に対応する左固有ベクトルである。
• リャプノフ関数 $V(x)$ は非増加的かつ有界であり、すべての状態軌道が有界に保たれることを保証する。
• 関数 $h$ が $ (h(w_1) - h(w_2)) / (w_1 - w_2) \geq \alpha > 0 $ を満たす場合、コンセンサスは指数関数的に達成される。
• 数値シミュレーションにより、$h(x) = \alpha x + \sin(x)$（$\alpha = 2$）のような非線形プロトコルが、線形プロトコルよりも速やかにコンセンサスに到達することが確認された。
• 例 2 では、導関数 $\geq 1/2$ を満たす区分的非線形プロトコル $h^*(x)$ が、線形プロトコル $h(x) = x/2$ よりも速やかに収束することを示した。