[論文レビュー] Finite-Time Consensus Problems for Networks of Dynamic Agents

Long Wang, Feng Xiao|ArXiv.org|Jan 25, 2007

Distributed Control Multi-Agent Systems参考文献 20被引用数 6

ひとこと要約

本稿では、切り替え可能な接続構造下でも有限時間内に状態の一致を達成できる2つの連続的で分散型プロトコルを提案する。有限時間リャプノフ安定性理論を用いて、上界付きの収束時間内での収束を証明し、収束速度は通信グラフの代数的連結度に強く依存する。

ABSTRACT

In this paper, finite-time state consensus problems for continuous-time multi-agent systems are discussed, and two distributive protocols, which ensure that the states of agents reach an agreement in a finite time, are presented. By employing the method of finite-time Lyapunov functions, we derive conditions that guarantee the two protocols to solve the finite-time consensus problems respectively. Moreover, one of the two protocols solves the finite-time weighted-average consensus problem and can be successively applied to the systems with switching topology. Upper bounds of convergence times are also established. Simulations are presented to show the effectiveness of our results.

研究の動機と目的

• リアルタイム応用において漸近的収束では不十分な、有限時間内に一致を達成する必要性に対応する。
• 均衡点でのリプシッツ連続性を必要としない、有限時間内に一致を保証する連続的で分散型プロトコルを開発する。
• 通信トポロジー（特に代数的連結度）が収束速度および時間上限に与える影響を分析する。
• 切り替え可能なトポロジーに対しても、有限時間内に一致を達成できることを示す。
• プロトコルパラメータおよびネットワーク構造に依存する収束時間の上界を確立する。

提案手法

• 重みなし平均一致と重み付き平均一致の両方を対象とした2つの有限時間一致プロトコルを提案する。
• 特別に構築されたリャプノフ関数を用いて、有限時間収束を証明するための有限時間リャプノフ安定性理論を適用する。
• 一般な一致問題を、有効なリャプノフ関数を明示的に構築可能な特殊ケースに還元する。
• ラプラシアン行列および代数的連結度を含むグラフ理論的ツールを用いて、収束時間をネットワークトポロジーと関連付ける。
• 微分方程式 (13) および (14) を用いて、プロトコルパラメータおよびトポロジーに依存する収束時間の上界を導出する。
• 代数的連結度が異なる4つの異なる通信トポロジーを用いたシミュレーションにより、理論的結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 連続的で分散型プロトコルは、均衡点でのリプシッツ連続性を破らないまま、多エージェント系で有限時間内に一致を達成できるか？
• RQ2 通信グラフの代数的連結度は、収束時間の上界にどのように影響するか？
• RQ3 提案されたプロトコルは、切り替え可能な通信トポロジー下でも有限時間内に一致を維持できるか？
• RQ4 提案された2つのプロトコルの収束時間の明示的な上界は何か？
• RQ5 プロトコルパラメータ（例：α）は、収束速度および収束時間にどのように影響するか？

主な発見

• プロトコル (6) は有限時間内に重み付き平均一致を達成し、切り替え可能なトポロジー下でも有効である。周期的切り替えシーケンス下では収束時間が11.2999秒以内に制限される。
• トポロジー 𝒢₂ では、プロトコル (5) の収束時間の上界は6.0638秒であり、𝒢₄ では16.2819秒である。
• 変換されたグラフ 𝒢([a_ij^(2/(1+α))]) の代数的連結度は収束時間と強く相関しており、高い値（例：𝒢₂ では2.5198）は短い上界を示す。
• プロトコル (6) の収束時間の上界は、𝒢₂ で4.2085秒、𝒢₄ で11.2999秒と推定され、プロトコル (5) よりも優れた性能を示す。
• シミュレーションにより、両プロトコルが有限時間内に一致を達成することが確認され、状態軌道が予測された上界内に収束する。
• 収束時間は代数的連結度と逆相関しており、より結合度の高いネットワークがより速い一致を達成することを示している。