[論文レビュー] Strategic Topology Switching for Security-Part I: Consensus & Switching Times.

Yanbing Mao, Emrah Akyol+1 more|arXiv (Cornell University)|Nov 30, 2017

Distributed Control Multi-Agent Systems参考文献 40被引用数 7

ひとこと要約

本稿では、通常時における漸近的コンセンサスを達成するとともに、ステalthy zero-dynamics 攻撃（ZDA）の検出を可能にする、2次元マルチエージェントシステムの分散型で時間に依存するトポロジー切り替え戦略を提案する。安定なスイッチド線形システム理論を活用し、コンセンサスを達成するための十分な停留時間条件を確立するとともに、速度センシングや結合重みの制約を必要としない、相対的位置測定のみに依存する簡素化された制御プロトコルを導入する。主な貢献は、Zeno行動を回避し、攻撃が存在しない場合にコンセンサスを保証する、証明可能に収束するスイッチングメカニズムの構築である。

ABSTRACT

In this two-part paper, we consider strategic topology switching for the second-order multi-agent systems under a special class of stealthy attacks, namely the "zero-dynamics" attack (ZDA). The main mathematical tool proposed here is to strategically switch the network topology to detect a possible ZDA. However, it is not clear a priori that such a switching strategy still yields consensus in this switched system, in the normal (un-attacked) operation mode. In Part I, we propose a strategy on the switching times that enables the topology-switching algorithm proposed in Part II to reach the second-order consensus in the absence of a ZDA. Utilizing the theory of stable switched linear systems with unstable subsystems, we characterize sufficient conditions for the dwell time of topology-switching signal to reach consensus. Building on this characterization, we then propose a decentralized time-dependent topology-switching algorithm. The proposed algorithm, used in conjunction with a simplified control protocol, achieves consensus while providing substantial advantages over other control approaches: it relies only on the relative position measurements (without any requirement for velocity measurements); and it does not impose any constraint on the magnitudes of coupling weights. We finally demonstrate our theoretical findings via the numerical simulation results.

研究の動機と目的

• 戦略的なトポロジー切り替えのもとで、速度測定を必要とせずに2次元コンセンサスを達成する課題に対処すること。
• 不安定な部分系を含むスイッチドシステムにおいても、通常（攻撃なし）の状態でコンセンサスを保証する分散型スイッチングアルゴリズムを開発すること。
• トポロジー切り替え戦略における望ましくないZeno行動（チタリング：停留時間がゼロ）および真正のZeno行動（有限時間内に無限回の切り替え）を回避すること。
• ネットワークトポロジーを戦略的に切り替えることで、ステルスなゼロダイナミクス攻撃（ZDA）の検出を可能にするとともに、通常時のコンセンサスを維持すること。
• 結合重みに関する制限付き仮定を排除し、相対的位置測定のみに依存する制御プロトコルを提供すること。

提案手法

• 不安定な部分系を含むスイッチド線形システム理論を用い、2次元マルチエージェントシステムにおけるコンセンサスのための十分な停留時間条件を導出する。
• 予め定義された時間間隔に基づいてスイッチングをスケジューリングする分散型で時間に依存するトポロジー切り替えアルゴリズムを提案し、安定性と収束性を保証する。
• 簡素化された制御プロトコルを採用：$ u_i(t) = \sum_{j=1}^n a_{ij}(x_j(t) - x_i(t)) $ は、相対位置差にのみ依存する。
• ラプラシアン行列 $ L_r $ の固有分解を用いた直交分解により、システムをモード座標に変換し、安定性を分析する。
• バーデルモンド行列の行列式の性質を応用し、モード成分に初期エネルギーがゼロである場合、自明な状態が唯一の解であることを示し、仮定された条件下で矛盾を導く。
• モードエネルギーの関係と $ \Lambda $, $ \Delta $, $ H $ を含む行列方程式との同等性を確立し、背理法による証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 不安定な部分系を含むスイッチドマルチエージェントシステムにおいて、2次元コンセンサスを達成するためのトポロジー切り替え戦略を設計可能か？
• RQ2 攻撃が存在しない状況で、コンセンサスを保証するためのトポロジー切り替えに必要な停留時間条件は何か？
• RQ3 速度測定や結合重みの制約なしに、相対位置測定のみを用いてコンセンサスを達成可能か？
• RQ4 ネットワーク制御システムの文脈において、戦略的なトポロジー切り替えフレームワークでZeno行動をどのように回避できるか？
• RQ5 提案されたスイッチング戦略は、通常時の動作においてシステムのコンセンサスを維持しつつ、ゼロダイナミクス攻撃を検出可能か？

主な発見

• 停留時間の観点から、コンセンサスの十分条件が導出された：切り替え信号に最小停留時間が保証されれば、スイッチドシステムは漸近的2次元コンセンサスを達成する。
• 提案された分散型時間依存スイッチングアルゴリズムは、速度測定を必要とせず、結合重みに制約を課さない形でコンセンサスを保証する。
• 本手法は、チタリングZeno行動（停留時間がゼロ）および真正のZeno行動（有限時間内に無限回の切り替え）の両方を効果的に排除する。
• リャプノフ関数 $ F(t) $ の微分がすべての時間でゼロであるという仮定の下で、矛盾が証明された。その結果、唯一の解は自明な状態であり、非自明な初期条件がその条件を満たせないことが示された。
• 証明により、すべての $ t \geq 0 $ に対して $ \tilde{x}(t) = 0 $ および $ \tilde{v}(t) = 0 $ が成り立つことが示され、初期エネルギーが非ゼロであるという仮定と矛盾するため、安定性条件が正当化される。
• 異なる固有値を持つバーデルモンド行列の使用により、方程式系の唯一の解はゼロベクトルであることが保証され、導出された条件の一意性と正しさが確認される。