[論文レビュー] Mean-field Games for Bio-inspired Collective Decision-making in Dynamical Networks

Leonardo Stella, Dario Bauso|arXiv (Cornell University)|Feb 9, 2018

Nonlinear Dynamics and Pattern Formation参考文献 2被引用数 4

ひとこと要約

本稿では、動的ネットワークにおける集団的意思決定を扱う連続時間の平均場ゲームモデルを提案する。マクロスコピックな平均場均衡とマイクロスコピックなプレイヤー動的を統合する。フレームワークはハチの群れやスマートグリッドにおけるサイバー攻撃といった生物的インスピレーションを持つシステムに適用され、Kuramotoオシレーターのモデル化とリャプノフ解析を通じて、ネットワーク構造と攻撃タイプが失敗伝播および周波数安定性に与える影響が示された。

ABSTRACT

Given a large number of homogeneous players that are distributed across three possible states, we consider the problem in which these players have to control their transition rates, while minimizing a cost. The optimal transition rates are based on the players' knowledge of their current state and of the distribution of all the other players, and this introduces mean-field terms in the running and the terminal cost. The first contribution involves a mean-field game model that brings together macroscopic and microscopic dynamics. We obtain the mean-field equilibrium associated with this model, by solving the corresponding initial-terminal value problem. We perform an asymptotic analysis to obtain a stationary equilibrium for the system. The second contribution involves the study of the microscopic dynamics of the system for a finite number of players that interact in a structured environment modeled by an interaction topology. The third contribution is the specialization of the model to describe honeybee swarms, virus propagation, and cascading failures in interconnected smart-grids. A numerical analysis is conducted which involves two types of cyber-attacks. We simulate in which ways failures propagate across the interconnected smart grids and the impact on the grids frequencies. We reframe our analysis within the context of Lyapunov's linearisation method and stability theory of nonlinear systems and Kuramoto coupled oscillators model.

研究の動機と目的

• 構造的ネットワークにおけるマクロスコピックな均衡ダイナミクスとマイクロスコピックなプレイヤー相互作用を統合する包括的な平均場ゲームフレームワークの構築を目的とする。
• 制御された遷移率のもとで、有限時間ホライゾンおよび漸近的設定における平均場均衡の安定性と収束性を分析することを目的とする。
• ハチの群れ、ウイルスの拡散、相互接続されたスマートグリッドにおけるカスケード的障害といった実世界のシステムにモデルを特化させることを目的とする。
• 連続的低レート攻撃および逐次的バースト攻撃という特定のサイバー攻撃パターンが、グリッド周波数および障害伝播に与える影響を、Kuramotoベースのモデルを用いて評価することを目的とする。
• イギリスのWalpole GSP - Peterborough (EPN)ネットワークを用いた事例研究を通じて数値的妥当性を検証し、感染拡散とシステムのレジリエンスを評価することを目的とする。

提案手法

• プレイヤーがコスト関数の最小化を目的として遷移率を制御する、連続時間・離散状態の平均場ゲームを定式化する。コスト関数には走行コストと終端コストが含まれる。
• 走行コストおよび終端コストに平均場項を導入し、プレイヤーが他のプレイヤーの分布に依存することを反映させることで、群衆回避的および群衆誘引的行動を可能にする。
• 初期-終端値問題を解いて平均場均衡を導出し、漸近的解析を用いて定常均衡解を求める。
• 特定の相互作用トポロジーを持つネットワーク上での有限プレイヤー動的を、制御されたおよび制御されていない遷移率を有するマルコフ連鎖ダイナミクスでモデル化する。
• 3つの分野にモデルを適用する：ハチの群れ（コンSENSUSベースの意思決定）、ウイルスの拡散（疫学的ダイナミクスに類似）、スマートグリッドにおけるカスケード的障害（Kuramoto結合オシレーターを用いて）。
• リャプノフ線形化および非線形安定性理論を用いて、サイバー攻撃下でのシステム行動を分析し、周波数揺らぎの振幅を影響の主要指標とする。

実験結果

リサーチクエスチョン

• RQ1 平均場ゲーム理論は、構造的で有限プレイヤーのネットワークにおいて、マクロスコピックな均衡とマイクロスコピックなダイナミクスを同時にモデル化するためにどのように拡張可能か？
• RQ2 制御された遷移率と状態依存コストを有するシステムにおいて、定常平均場均衡の存在および安定性を導く条件は何か？
• RQ3 連続的低レート攻撃および逐次的バースト攻撃という異なるサイバー攻撃パターンは、スマートグリッドにおける障害伝播および周波数安定性にどのように影響を与えるか？
• RQ4 ネットワーク接続性は、サイバー攻撃の影響を強めるか、あるいは弱めるか、その役割は何か？
• RQ5 カップリングされたオシレーターのKuramotoモデルは、敵対的条件下における電力網の周波数偏差を表現・分析するために、どの程度有効に利用可能か？

主な発見

• 平均場均衡は初期-終端値問題の解として得られ、漸近的極限において定常均衡が得られ、明示的な解析的表現が提示された。
• 連続的低レート攻撃では、感染がゆっくりと広がる。数回の反復後、11ノード中4ノードがわずかな感染レベルを示し、ホライゾンの終了時には中程度に広がる。
• 逐次的バースト攻撃では、t=Tにおけるヒストグラムから示されるように、感染は大多数のノードに中程度から高い確率で広がり、より速く広がることがわかる。
• 最も接続度の高いノード7は、接続度が低いノード（例：ノード1）よりも周波数揺らぎの振幅が小さい。これは、高い接続性が攻撃の影響を緩和することを示している。
• 感染確率が高かろうが、ノード7はノード1よりも周波数のピーク偏差が低く、ネットワーク接続性がサイバー攻撃に対する脆弱性を低減することを確認した。
• 本モデルは、生物的インスピレーションを受ける集団的意思決定とサイバー攻撃ダイナミクスを、ゲーム理論の枠組みで再定式化し、リャプノフ法およびKuramotoオシレーターのダイナミクスによる安定性解析を可能にした。