[論文レビュー] On Resilient Control of Nonlinear Systems under Denial-of-Service

Claudio De Persis, Pietro Tesi|arXiv (Cornell University)|Apr 7, 2014

Smart Grid Security and Resilience被引用数 7

ひとこと要約

本稿では、通信の途切れを伴う悪意あるDenial-of-Service（DoS）攻撃下においても、半局所的漸近安定性を保証するため、ISS-ラプラシアン関数を用いたイベント駆動制御戦略を提案する。主な貢献は、安定性が保たれる範囲で許容可能な最大DoS継続時間の特定であり、時間分率τと最小間隔サンプリング時間εRとして定量化され、システムの動的特性と攻撃パラメータから明示的な境界が導出されている。

ABSTRACT

We analyze and design a control strategy for nonlinear systems under Denial-of-Service attacks. Based on an ISS-Lyapunov function analysis, we provide a characterization of the maximal percentage of time during which feedback information can be lost without resulting in the instability of the system. Motivated by the presence of a digital channel we consider event-based controllers for which a minimal inter-sampling time is explicitly characterized.

研究の動機と目的

• 悪意あるDenial-of-Service（DoS）攻撃によってフィードバック情報が断続的に喪失する状況下で非線形システムの安定化を達成すること。
• 線形システムに適用可能な耐障害制御原理を、攻撃パターンの事前知識のない一般なDoS信号モデルを想定して非線形システムへ拡張すること。
• 閉ループシステムが不安定化しない範囲で、DoS攻撃が通信を遮断する時間の最大割合を同定すること。
• DoS攻撃下でも安定性を保証するための最小間隔サンプリング時間の明示的同定を実施し、実装可能性を確保すること。
• 長時間のDoS期間中に有限逃げ時間のリスクが生じる状況でも、半局所的漸近安定性が保たれる条件を確立すること。

提案手法

• DoSによる通信喪失が引き起こす測定誤差を考慮した安定性解析に、ISS-ラプラシアン関数フレームワークを適用する。
• DoS発生状況に応じてサンプリング時刻を動的に調整するリアルタイムのイベントトリガー論理を導入し、時間変動する通信可用性下でも安定性を確保する。
• 安定性が保たれる最大時間分率τの境界を、システムパラメータとラプラシアン関数の減衰率に基づいて導出する。
• 最小間隔サンプリング時間の下界εRを、システムのリプシッツ定数LとDoS攻撃パラメータσに明示的に依存する形で確立する。
• 通信区間ではラプラシアン関数が指数的に減少し、DoS区間では増加するハイブリッドシステム解析を適用し、減衰が優勢であれば全体として安定性が保証されることを示す。
• 長時間のDoS期間における有限逃げ時間の発生を防ぐために仮定2を導入し、システムクラスを制限することで、安定性解析を扱いやすくする。

実験結果

リサーチクエスチョン

• RQ1 イベント駆動制御下の非線形システムにおいて、DoS攻撃が通信を遮断する時間の最大割合は何か？
• RQ2 DoS攻撃下で安定性を保証するために、最小間隔サンプリング時間をどのように明示的に同定できるか？
• RQ3 フィードバックがDoS期間中に欠落する状況下でも、半局所的漸近安定性が保たれる条件は何か？
• RQ4 リプシッツ定数やラプラシアン関数の性質といったシステム固有のパラメータと、DoS信号の特性が、安定性マージンにどのように作用するか？
• RQ5 未知のエネルギー制限付きDoS攻撃下でも、イベント駆動制御の耐障害性を非線形システムに拡張可能か？

主な発見

• システムは、DoSが継続する時間の割合τがτ < (ω₁ − ω₂)/ (ω₁ + ω₂) を満たす限り、半局所的漸近安定性を保つ。ここでω₁とω₂はそれぞれラプラシアン関数の減衰率と増加率である。
• 最小間隔サンプリング時間εRは、εR = (1/(2L)) ln((3σ + 1)/(σ + 1)) として明示的に同定され、システムのリプシッツ定数LとDoSパラメータσに依存する。
• サンプリングレートとDoS耐性の間にトレードオフが存在する。σが大きい（初期のDoS期間が長い）ほど、最小間隔サンプリング時間が短くなり、通信負荷が増加する。
• τの境界は、システムの固有の動的特性（λとVを介して）とDoS信号の特性（κとτを介して）の両方に依存しており、攻撃プロファイルと安定性マージンの直接的な関連性を示している。
• 解析から、未知のエネルギー制限付きDoS攻撃下でも、遮断時間の割合がシステム依存の閾値未満であれば安定性が保たれることを明らかにした。
• 提案手法により、導出された条件下でグローバル指数的安定性が保証され、収束速度はラプラシアン関数の減衰パラメータλによって明示的に境界づけられる。