Resilient Output Containment under Undisclosed Leader Dynamics and Actuator Attacks

技術要約：非公開のリーダーダイナミクスおよびアクチュエータ攻撃下における弾力的な出力包含

問題提起
本研究は、有向ネットワークトポロジー上で動作する不均一な線形マルチエージェントシステム（MAS）における、弾力的な出力包含（Resilient Output Containment）の問題を扱う。目的は、複数のリーダーによって生成される時変の凸包（Convex Hull）に対して、フォロワー・ネットワークの物理的出力が収束するようにすることである。この問題は、以下の2つの決定的な制約によって複雑化している：

1. リーダー・ダイナミクスの非公開性： リーダーは有界かつ局所的に絶対連続な軌跡を生成するが、その動的モデル、速度境界、および運動エンベロープはフォロワーに対して厳格に非公開である。これにより、リーダーのエキソシステム・パラメータの再構成に依存する標準的な分散型オブザーバ設計の使用が妨げられる。
2. アクチュエータへのサイバー攻撃： フォロワーは、状態相関攻撃、入力相関攻撃、および有界な外生的な偽データ注入の組み合わせとしてモデル化されるアクチュエータへの侵害を受ける。これらの攻撃は、包含コマンドの実行を阻害し、ネットワークを通じて伝播する可能性がある。

既存の解決策には限界がある。分散型オブザーバは非公開制約に抵触し、スライディングモード・プロトコルはチャタリングを誘発するか、あるいはリーダーの速度境界に関する事前知識を必要とし、連続適応型プロトコルは通常、無向グラフに限定されるか、全状態の測定を必要とする。

手法
著者らは、ネットワークレベルのコマンド生成とローカルな実行の弾力性を分離するように設計された、連続的な二層適密応制御アーキテクチャを提案している。

1. ネットワーク・インターフェース層（コマンド生成）：

   • この層は、近傍間で交換されるネットワーク・インターフェース状態と、利用可能な場合には即時のリーダー信号のみを用いて、タスク空間のコマンド（$\sigma_i$）を生成する。
   • これは、チューニングのためにグローバルなグラフ知識（例：ラプラシアンの固有値）を必要とせず、またリーダーの速度境界や運動エンベロープの事前境界も必要としない、斬新な適応型相互作用プロトコルを採用している。
   • このプロトコルは、グラフがリーダーを根とする統合スパンニングツリーを含む場合、非滑らかなリアプノフ解析を用いて、コマンド状態（$\sigma_i$）がリーダーの凸包へ漸近的に包含されることを証明する。

2. ローカル仮想アクチュエータ回復層（実行の弾力性）：

   • この層は、アクチュエータ攻撃が発生している場合でも、物理的なフォロワーが生成されたコマンドを追従することを保証する。
   • 「仮想アクチュエータ」の概念を利用し、 nominal コントローラと侵害されたアクチュエータの間に回復ブロックを挿入する。
   • 設計には、生成されたタスク空間のコマンドをフォロワーのダイナミクスに埋め込むための、安定したローカル・コマンドフィルタを使用する。
   • 連続適応型制御則は、状態相関、入力相関、および有界な外生攻撃を補償する。極めて重要な点として、この回復メカニズムは、全状態の測定（特にゼロダイナミクス状態 $\eta_i$）を必要とせず、部分的な状態測定（外部正規形状態 $x_i$）のみに依存する。
   • 安定性解析には、非滑らかなリアプノフ関数とリッカチ不等式を用い、ローカル追従誤差の漸近的収束を保証する。

主な貢献

• 有向グラフのための連続適応プロトコル： リーダー・モデルの再構成、既知のリーダー運動境界、またはグローバルなグラフパラメータを必要とせずに、一般的な有向リーダー根付きグラフ上で漸近的なコマンド包含を実現する連続適材型プロトコルを提案した。
• 非滑らかなリアプノフ解析： 提案されたプロトコルの漸近的結果を確立するために、新しい非滑らかなリアプノフ解析を用いている。これにより、不連続なスライディングモード制御に伴うチャタリングの問題や、境界層近似による最終有界性の制限を回避している。
• 部分状態による仮想アクチュエータ回復： 部分的な状態測定のみを用いて、広範なクラスのアクチュエータ攻撃（状態相関、入力相関、および外生的な攻撃）を漸近的に補償する、連続適応型仮想アクチュエータ層を開発した。これは、漸近的回復のために全状態の測定を必要とすることが多い既存の結果とは対照的である。
• 残留分析を伴う実用的な包含： 本研究は、コマンドレベルの包含（漸近的）と物理出力の包含（実用的）を区別している。物理出力の残留誤差を、リーダーの運動エンベロープの失敗ではなく、移動するコマンドと安定したローカル・コマンドフィルタとの間のミスマッチに起因するものとして、厳密に特性付けている。

シミュレーション結果
本アーキテクチャは、ケーブル懸架荷重（ベクトル相対次数 [4,4]）を運ぶ6台の不均一なクアッドコプターのネットワークを含む数値シミュレーションによって検証された。これに対し、3つのリーダーが複雑に移動、回転、およびサイズ変更する凸包を生成した。

• 攻撃シナリオ： 2台のフォロワーが、状態相関、入力相関、および外生成分を組み合わせた深刻で持続的なアクチュエータ攻撃を受けた。
• 性能：
  • ネットワーク・インターフェースは、コマンド状態（$\sigma_i$）をリーダーの凸包へと、無視できるほどの誤差（凸の直径に対して $< 10^{-6}$ m）で駆動した。
  • ローカル回復層は、信号を有界に保ち、物理的出力が凸包の小さな実用的残留範囲内（最大距離 $\approx 7.23$ m、または凸の直径の $\approx 1\%$）に留まることを保証した。
  • 物理的残留の主要な要因は、コマンド・フィルタの実現誤差（任意の移動コマンドを完全に追従できない安定フィルタの特性に起因）であると特定された。これは、ネットワーク包含の失敗ではない。
  • 非弾力的なベースラインとの比較により、提案されたアーキテクチャが攻撃から効果的に回復した一方で、ベースラインは包含を維持できずに失敗したことが示された。

意義と主張
本論文は、非公開のリーダー・ダイナミクスおよびアクチュエータ攻撃下における、不均一な MAS のための連続的かつ漸近的な包含に関する文献の空白を埋めるものである。その意義は、以下の点にある：

1. 敏感なリーダー・モデル情報を必要とせずに動作でき、ステルス性の高い攻撃に対する敵対的な合成に対するセキュリティを高めること。
2. チャタリングを引き起こす不連続な制御動作に頼ることなく、複雑なアクチュエータの侵害に対して弾力性を維持すること。
3. 協調層（コマンド）の漸近的収束を達成しつつ、物理層の（実用的な）包含誤差に対して厳密な境界を提供すること。

著者らは、物理的な出力包含は「実用的」（残留値への収束）であり、漸近的ではないことを強調している。これは、情報パターン（高次導関数の欠如）および安定したローカル・フィルタの使用に固有の制限であり、提案された制御戦略の失敗ではない。本研究は、ネットワーク・インターフェースとローカル実行層を分離することで、アクチュエータ攻撃を効果的に隔離し、それらが協調層へ伝播することを防げることを示している。