Antagonistic Control: Foundations, Scalability and Nonlinearity

技術要約：敵対的制御：基礎、スケーラビリティ、および非線形性

問題の定式化
本論文は、連続時間動的システムにおける「敵対的制御（antagonistic control）」問題を調査している。核心となる目的は、制約された制御入力がもたらす最悪のインパクトを決定することである。具体的には、ある敵対的な入力 $u(t)$ が、互いに素な出力集合 $M$ のコストが指定された閾値 $\delta_j$ 以下であるという制約の下で、一連の性能出力 $P$ の平均コスト（$L_2$ または $L_1$ ノルムで測定）を最大化しようとする。

数学的には、$\dot{x} = f(x, u)$ であり、出力が $y_i = h_i(x, u)$ であるとき、問題は以下のように定式化される：
$$\sup_{u \in U} \frac{1}{|P|} \sum_{i \in P} \int_0^\infty \ell(y_i(t), Q_i) \, dt$$
ただし、以下の制約条件を満たすものとする：
$$\int_0^\infty \ell(y_j(t), R_j) \, dt \leq \delta_j, \quad \forall j \in M$$
ここで、$\ell(\cdot, \cdot)$ は損失関数であり、$U$ は入力信号空間（例：$L_2, L_0^2, L_1$）、そして集合 $P$ と $M$ はシステムの出力を分割するものである。このフレームワークは、$H_\infty$ ノルムや出力間ゲインといった古典的な指標を一般化したものであり、敵対的制御、セキュリティ評価、およびロバスト制御において関連性を持つ。

手法
著者らは、異なるシステムクラスにわたる統一的な解析パイプラインを採用している：

1. 双対化（Dualization）： 元の主最適化問題を凸双対問題へと変換する。
2. 散逸性議論（Dissipativity Arguments）： 双対制約を（サイクル）散逸性理論を用いて分析し、積分制約を行列不等式に関連付ける。
3. 凸最適化（Convex Optimization）： 得られた条件を、半正定値計画法（SDP）、線形計画法（LP）、または平方和（SOS）プログラムとして定式化する。

解析では、単一制約の場合と複数制約の場合を区別している。単一制約の場合、導出されたプログラムはしばしば厳密（exact）である。複数制約の場合、既存の文献には一般的な厳密計算手法が存在しないため、本手法は最悪コストの上界を提供する。

主な貢献と結果

• 線形時不変（LTI）システム：

  • 単一制約に対する厳密なSDP： 制約が単一（$|M|=1$）であり、入力空間が $L_{2e}$ である場合、最悪コストを計算するための厳密なSDPを導出している（定理5）。
  • 非有界性の条件： 最悪コストが非有界となる十分条件を確立している。これらの条件は、システムの零点および相対次数に依存する。具体的には、制約対象の出力（$M$）が、目的の出力（$P$）の零点ではない不安定な有限零点を持つ場合、あるいは目的の出力の相対次数が制約対象の出力の相対次数よりも厳密に低い場合、コストは非有界となる（定理6, 10, 12）。
  • 構成的な救済策： 非有界性に対処するため、本論文は構成的なクローズドループ修正を提案している（定理8）。相対次数が低すぎる特定の出力を統合することで、システムの相対次数を調整し、実現可能性の条件を満たして最悪コストを有界にすることができる。
  • 複数制約： $|M| > 1$ の場合、本論文は $L_{2e}$ および $L_0^2$ 入力空間の両方について、最悪コストの上界を計算するSDPを提供する（定理10および12）。

• 正のLTIシステム（Positive LTI Systems）：

  • スケーラビリティ： 標準的なSDPは状態次元に対して二次的にスケールすることを認識し、本論文では正のシステム（状態、入力、出力が非負に保たれるシステム）のためのスケーラブルな定式化を導入している。
  • 線形計算量： 二次コストに対して、ストレージ関数行列 $P$ を対角行列に制限することで、パラメータ数が状態次元に対して線形に増加するスケーラブルなSDPを導出している（定理15）。
  • 線形コストに対する厳密なLP： 線形コストおよび $L_1$ 制約に対して、厳密な線形計画法（LP）を導出し（定理17）、SDPに代わる計算効率の高い選択肢を提供している。

• 非線形多項式システム：

  • SOS拡張： 解析は、平方和（SOS）プログラミングを通じて非線形多項式システムへと拡張されている（定理19）。これは、LTIシステムで使用された散逸性議論を一般化し、多項式ストレージ関数を探索することによって、最悪コストの上界を提供する。

意義と主張
本論文は、システムクラス（LTI、正のLTI、多項式）、コスト関数（二次、線形）、および入力空間にわたる、敵対的制御の統一的な扱いを提供すると主張している。その主な意義は以下の通りである：

1. 構造的な脆弱性の解明： 解析は、最悪コストが入力信号空間の選択に極めて敏感であることを明らかにしている。本論文は、システムが $L_0^2$（最終的に停止する信号）に対しては有限の最悪コストを示す一方で、$L_{2e}$（任意の有限ホライゾンにおいて有限のエネルギーを持つ信号）に対しては非有界なコストを示す可能性があることを示している。これは、標準的な解析では見逃される可能性のある特定の攻撃入力の検出に関する構造的な限界を露呈させている。
2. 大規模システムへのスケーラビリティ： 正のシステムの特性を活用することで、本論文は、攻撃エネルギーに対する任意の境界を必要とせずに、大規模なシステム（例：電力網）の標準的なSDPの計算困難性を解決する、状態次元に対して線形にスケールする定式化を提供している。
3. 構成的なセキュリティ評価： リスクを定量化するだけでなく、本論文は、非有界性を除去するためにシステムのダイナミクスを修正する構成的な手法（定理8）を提供しており、システム運用者が構造的な脆弱性を緩和するための経路を示している。

結果は、4タンクプロセスや多項式システムを含む数値例を通じて示され、理論的な境界と提案された修正の有効性が検証されている。結論として、今後の研究では、これらの最悪コストを最小化するコントローラの合成に焦点を当てるとしている。