[論文レビュー] On Single-Input Controllable Linear Systems Under Periodic DoS Jamming Attacks

Hamed Shisheh Foroush, Sonia Martı́nez|arXiv (Cornell University)|Sep 18, 2012

Smart Grid Security and Resilience参考文献 20被引用数 17

ひとこと要約

本稿では、周期的DoSジャミング攻撃に対して、閉ループ極を戦略的に配置することで、単入力可制御線形システムを安定化するパラメータ依存制御戦略を提案する。この手法により、4次以下のシステムでは漸近的安定性を保証し、5次システムに対しても実用的安定性を示す。ジャミング機のパrameterが部分的にしか特定されていなくても成立する。

ABSTRACT

In this paper, we study remotely-controlled single-input controllable linear systems, subject to periodic Denial-of-Service (DoS) attacks. We propose a control strategy which can beat any partially identified jammer by properly placing the closed-loop poles. This is proven theoretically for systems of dimension 4 or less. Nevertheless, simulations show the practicality of this strategy for systems up to order 5.

研究の動機と目的

• 周期的DoSジャミング攻撃下におけるリモート制御線形システムのセキュリティ脆弱性に対処すること。
• ジャミング機のパrameterが部分的にしか特定でいない状況でも有効な制御戦略を設計すること。
• ジャミングによる間欠的通信障害があっても、閉ループシステムの漸近的安定性を保証すること。
• ジャミング機の周期的動作と整合するトリガー則を設計し、不要な送信を最小限に抑えること。
• すべての周期的DoSジャミング機を扱えなかった先行研究を拡張するため、パラメータ依存のコントローラ設計を導入すること。

提案手法

• 調整可能なパrameter λ に依存する制御設計則を提案し、任意の周期的DoSジャミング機に対して極配置を可能にする。
• 閉ループシステムを、5重固有値 −λ を持つ正準形に変換し、体系的な安定性解析を可能にする。
• 一般化固有ベクトルを計算して、システムをジョルダン正準形に変換する行列 Tλ を構築する。
• ジャミング機のオン/オフサイクルと同期する新しいトリガー則を設計し、干渉への露出を最小限に抑える。
• ジャミング機の周期性を活用し、T（周期）、Ton,cr、Toff,cr などの既知パラメータを用いて更新タイミングを最適化する。
• 固有値およびジョルダン形式解析を用いて、4次以下のシステムに対して理論的に安定性を証明し、シミュレーションにより5次系への拡張を検証。

実験結果

リサーチクエスチョン

• RQ1 ジャミング機のパラメータが部分的にしか特定でない状況でも、任意の周期的DoSジャミング攻撃に対して、単入力可制御線形システムを安定化できる制御戦略を設計できるか。
• RQ2 周期的通信障害が生じる中で、閉ループ極をどのように配置すれば漸近的安定性を確保できるか。
• RQ3 トリガー則は、ジャミングの影響を最小限に抑えつつシステム性能を維持するために果たす役割は何か。
• RQ4 4次以下のシステムに対して理論的に得られた安定性結果を、より高次システムへどの程度拡張できるか。
• RQ5 90％のアクティブ期間と50％のアクティブ期間を持つジャミング機に対して、システムはどのように応答するか。

主な発見

• 提案された制御戦略は、任意の周期的DoSジャミング攻撃下でも、4次以下の単入力連続LTIシステムに対して漸近的安定性を保証する。
• 5次システムについて、理論的証明は得られていないが、シミュレーションにより安定性が確認され、この手法が高次システムへも拡張可能である可能性を示唆する。
• 安定性解析における係数 C(λ) は λ → ∞ で 0 に近づくため、ゲインを高く調整するほど安定性が向上することが示唆される。
• 90％のアクティブ期間を持つジャミング機と50％のアクティブ期間を持つジャミング機の両方に対して、システムは安定であることが確認され、ジャミングの攻撃強度の違いに対してもレジリエンスを示す。
• 変換行列 Tλ およびジョルダン形式解析により、閉ループシステムが代数的重複度5、幾何的重複度1の固有値 −λ を有することが確認され、正確な極配置が可能である。
• トリガー則はジャミング機のサイクルと同期しており、ジャミング期間中に制御更新が発生する可能性を低減し、システムのレジリエンスを向上させる。