Core Concepts
提案された2つの凸最適化問題を用いることで、システムの真の行列を正確に復元できる。特に、攻撃が周期的に発生する場合や、攻撃が各時刻に独立して発生する確率的なモデルの下で、十分な数のサンプルがあれば正確な復元が可能である。
Abstract
本論文は、線形時不変離散時間システムの同定問題を扱っている。システムの真の行列は未知であり、状態と入力の観測データから推定する必要がある。しかし、観測データには敵対的な攻撃による大きな歪みが含まれている可能性がある。
著者らは、ℓ2ノルムとℓ1ノルムを用いた2つの凸最適化問題を提案し、これらの問題を解くことで真のシステム行列を正確に復元できることを示している。
まず、攻撃が周期的に発生する場合を考える。システムが安定で、サンプル数がシステムの次元とattack周期の和以上であれば、両問題の解は真のシステム行列に一致する。
次に、各時刻に独立してattackが発生する確率的なモデルを考える。攻撃ベクトルが小さく検知されにくい(stealthy)場合、サンプル数がシステムの次元と攻撃発生確率に依存する多項式オーダーであれば、両問題の解は真のシステム行列に収束する。
さらに、この確率的モデルの下で、提案手法は真のシステム行列に確率1で収束することも示されている。
本研究は、システム同定問題において、クリーンデータよりも多くの破損データが存在する場合でも正確な復元が可能であることを初めて示した点で意義がある。
Stats
状態方程式: xi+1 = Axi + Bui + di
提案手法:
(CO-L2-Aut): min ∑i ∥di∥2 s.t. xi+1 = Axi + di
(CO-L1-Aut): min ∑i ∥di∥1 s.t. xi+1 = Axi + di
Quotes
"本論文は、システム同定問題において、クリーンデータよりも多くの破損データが存在する場合でも正確な復元が可能であることを初めて示した点で意義がある。"