Interval-Observer-Based Attack Detection and HOCBF-Safe Control for Markov-Jump Microgrids

現代の電力網は、もはや単なる電線と発電機の集合体ではありません。それは、電気の物理的な流れがデジタル通信ネットワークと不可分に結びついた、複雑なサイバー・フィジカル・システムです。この統合により、エネルギーのよりスマートな管理が可能になりますが、同時に新たな種類の脅威への扉も開いてしまいます。マイクログリッド（メインの系統に接続したり、再生可能エネルギーを用いて独立して稼働したりするなど、モードを切り替えることができる、系統の局所的な形態）が異なる動作モードを切り替える際、その挙動は急速かつ予測不可能なものへと変化します。これらの変化は、センサーによる絶え間ないノイズや、偽のデータを注入する悪意のあるサイバー攻撃の可能性と相まって、ある特定の瞬間にシステム内部で正確に何が起きているのかを知ることを極めて困難にします。もしシステムが自身の状態を正確に追跡できなければ、電気周波数のような重要な変数が安全な制限範囲内に留まっていることを保証できず、停電や機器の損傷を招く恐れがあります。

最近の研究において、アミールカビール工科大学の研究者たちは、不確実で攻撃を受ける可能性のあるマイクログリッドを安全に保つために設計された新しいフレームワークの開発に取り組んでいました。彼らの研究の核心は、二つの主要なアイデアが連携して機能することにあります。一つは、保証された境界を持つ方法でシステムの状態で推定することであり、もう一つは、システムが危険な領域に入らないようにするための最終的な守護者として機能するセーフティ・フィルターです。隠れた変化やノイズのせいで、グリッドの変動する正確な状態を特定しようとすることはしばしば不可能であるため、研究者たちは「インターバル・オブザーバー（区間オブザーバー）」を構築しました。これは、単一の推測ではなく、グリッドがどのようにモードを切り替えたり、ノイズがどれほど干渉したりしても、数学的にシステムの真の状態を包含することが保証されている、縮小・拡大する「箱」のようなものだと考えてください。もしサイバー攻撃者が偽のデータを注入しようとすれば、この箱は最終的に測定値を包含できなくなり、即座にアラームを作動させます。

研究者たちは、3つの異なる運用レジーム（標準的な系統接続運用、再生可能エネルギーの浸透率が高いモード、および高負荷のアイランドモード）の間を切り替わるデジタル・シミュレーション上のマイクログリッドを用いて、この手法をテストしました。彼らは、現実世界の運用上の制約を模倣するために、モードが変わる前に少なくとも3ステップは一つのモードに留まるというルールを設けつつ、システムがランダムにこれらの状態間を切り替わるようにプログラムしました。また、50タイムステップの間、制御ループに偽のデータが注入される特定のサイバー攻撃も導入しました。結果として、彼らのインターバル・オブザーバーは、システムがモードを切り替え、攻撃が始まった際でも、グリッドの真の状態を計算された上限および下限の中に捉え続けることに成功しました。

決定的なことに、このシステムは、偽のデータが測定値を安全な予測範囲の外へ押し出した瞬間に攻撃を検知しました。この特定のシミュレーションでは、アラームは遅延ゼロで即座に作動し、数百ステップにわたる通常の運用中に誤報が発生することはありませんでした。この決定論的な検出は、巧妙な攻撃を見逃したり、ランダムなノイズによって誤報を上げたりすることもある、確率に依存する従来の古い手法からの大きな脱却を意味します。攻撃が検知されると、彼らのフレームワークの第二の部分である、高次制御バリア関数に基づくセーフティ・フィルターが制御を引き継ぎました。このフィルターは「スマートなブレーキ」のように機能し、攻撃が進行している間でも、電気周波数が安全限界である0.08 per unitを超えないよう、制御入力を必要最小限に調整します。システムは周波数の偏差を最大でも0.0621に抑え、十分な安全マージンを確保しました。

この研究は、複雑で切り替えが発生する電力網に対して、現在の正確な動作モードを知ることなく安全かつ確実に制御できるシステムを設計することが可能であることを示しています。不確実性の保証されたエンベロープ（包絡線）を作成するために、モードに依存しない固定されたオブザーバーを使用することで、研究者たちは、複雑なリアルタイムの識別問題を解くことなく、悪意のある侵入を確実に検知し、厳格な安全規則を強制できることを示しました。これらの結果は、物理的なハードウェアテストではなく高精度なコンピュータ・シミュレーションを通じて達成されたものですが、論文で提供された数学的証明は、モデル化された特定の条件下においてシステムが安定し、安全であることを裏付けています。この研究は、予測不可能な切り替えと巧妙なサイバー脅威という二重の課題に対し、次世代の弾力性のある再生可能エネルギー主体の電力ネットワークを保護するための有望な道筋を提示しています。