Consensus Tracking of Perturbed Open Multi-Agent Systems with Repelling Antagonistic Interactions

技術的サマリー：反発的敵対的相互作用を伴う摂動を受けたオープンマルチエージェントシステムの合意追跡

問題定義
本研究は、移動に起因する adversities（敵対的状況）にさらされるオープンマルチエージェントシステム（OMAS）における合意追跡問題に対処する。従来のマルチエージェントシステムとは異なり、OMAS はエージェントがネットワークに動的に参加または離脱する特徴を有し、その結果として、自然にスイッチングし、かつサイズが変化するトポロジーを呈する。調査された具体的な課題は以下の通りである：

1. 非消滅摂動：エージェントの移動に起因する連続的なダイナミクス/状態摂動およびインパルス的な状態ジャンプの両方。
2. 反発的敵対的相互作用：ネットワークを不安定化させる可能性のある相互作用。これは、負の辺（反発）が協力的な辺を支配し得る符号付き有向グラフを用いてモデル化される。
3. 断続的に切断される符号付き有向グラフ：ネットワークトポロジーは有向であり、特定の時点で接続性を欠くことが許容される。

核心的な難しさは、反発的相互作用が協力的な相互作用を支配する場合、ネットワークの接続性に関わらずシステムが不安定なサブシステムを生成し、参照リーダーに対する合意追跡の達成を複雑化するという点にある。

手法
著者らは、OMAS を摂動を受けたマルチモード多次元（M³D）システムとしてモデル化する。この枠組みは、エージェントの参加/離脱に起因する次元の変化と、非消滅するインパルス摂動を統合された構造に組み込んでいる。

主要な手法論的ステップは以下の通りである：

• システム定式化：エージェントのダイナミクスは、合意追跡プロトコルを備えた線形方程式によって記述される。ネットワークトポロジーは、スイッチングする符号付き有向グラフ $\tilde{G}_{\sigma(t)}$ によって表現される。著者らは「反発ラプラシアン」行列を定義し、負の辺が正の辺を上回る場合、その行列は負の実部を持つ固有値を有し、不安定化を招くことを指摘している。
• 誤差ダイナミクス：合意追跡問題は、追跡誤差システムの安定性解析に変換される。この誤差システムは、以下の特性を持つスイッチングシステムとして特徴づけられる：
  • 行列 $\tilde{A}_{\sigma(t)}$ によって支配される連続ダイナミクス。
  • エージェントの移動および外部インパルスによって引き起こされる、スイッチング時刻 $t_k$ における離散ジャンプ。
• 安定性解析：著者らは M³D システムの安定性理論を拡張する。スイッチングモードを安定集合（$P_s$）と不安定集合（$P_u$）に分類する。
  • $P_s$ 内のモードは、リーダーを根とする有向スパンニング木を有し、かつ正の辺のみからなるトポロジーに対応する。
  • $P_u$ 内のモードには、スパンニング木を持たない正の辺のみからなるトポロジー、あるいは反発的相互作用が支配するトポロジーが含まれる。
• スイッチング条件：不安定子システムおよび非消滅摂動にもかかわらず安定性を保証するために、著者らは以下の条件に基づいて条件を導出する：
  • 区分的平均滞在時間（ADT）：スイッチングの頻度に対する制約。
  • 活性化時間比率：安定モードと不安定モードで費やされる時間の比率に対する制約。具体的には、安定化させる有向グラフは、反発的相互作用の不安定化効果を中和するのに十分な時間、活性化されなければならない。

主要な貢献

1. 問題の拡張：本研究は、状態摂動下でのリーダーレス合意から、非消滅摂動および敵対的相互作用の両方下での合意追跡へと、以前の OMAS 研究（例：Xue et al., 2022）を拡張する。
2. 反発的相互作用の解析：本論文は、反発的相互作用が協力的な相互作用を支配する場合、OMAS はネットワークの接続性に関わらず不安定性を示すことを示す理論的特徴付けを提供する。これは、純粋に協力的または対立的（二部）な相互作用を仮定することが多い既存の文献におけるギャップを埋めるものである。
3. 新規 M³D 解析手法：非消滅摂動と不安定化させる反発的相互作用を許容する新しい解析手法が提案される。以前の研究とは異なり、この手法は：
   • 「交互スイッチング」条件を必要としない。
   • 有向かつ断続的に切断される符号付きグラフに適用可能である。
   • 状態非依存および状態依存のインパルスの両方を処理する。

結果
理論的解析は以下の結果をもたらす：

• 最終有界性：非消滅摂動および状態非依存インパルスの下で、システムは最終的に有界な合意追跡を達成する。最終的な有界性は、摂動の大きさとスイッチングパラメータに依存する。
• 漸近追跡：摂動が消滅する場合（すなわち、外部擾乱がなく、誤差が消滅するにつれて消滅する状態依存インパルスが存在する場合）、漸近的合意追跡が達成される。
• スイッチング条件：結果は、スイッチング信号が特定の区分的 ADT および活性化時間比率の条件を満たせば合意が達成可能であることを確立する。これらの条件は、不安定子システムおよび摂動に対抗するために、安定化モードが十分に活性化されることを保証する。

意義
本論文は、OMAS における移動に起因する adversities に焦点を当てることで、理論的および実践的な意義を主張する。それは、エージェントの移動が急激な擾乱を導入し、サイバー物理的攻撃（トロイの木馬型デバイスなど）に起因して協力的な相互作用を敵対的なものに変換し得ることを強調している。特定のスイッチング条件が満たされれば、反発的相互作用が支配する場合でも合意を維持し得ることを実証することで、モバイルアドホックネットワークや動的なリソース枯渇にさらされるシステムなど、敵対的環境における柔軟なネットワークの制御のための堅牢な枠組みを提供する。シミュレーション例は、導出された条件が、持続的な擾乱の存在下で有界追跡を達成し、擾乱が消失する場合には漸近追跡を達成することを検証している。