論文「暗号化制御システムにおける暗号パラメータと遅延認識フィードバック利得の共設計」の技術的サマリー

本論文は、ネットワーク制御システム（NCS）のセキュリティを強化するための「暗号化制御（Encrypted Control）」において、暗号化によって生じる通信・計算遅延が制御性能や安定性に与える影響を考慮し、暗号パラメータと遅延を考慮したフィードバック利得を同時に設計する（共設計する）新しい枠組みを提案するものです。

以下に、問題定義、手法、主要な貢献、結果、および意義について詳細をまとめます。

---

1. 問題定義 (Problem)

近年、ホモモルフィック暗号（HE）を用いた暗号化制御は、通信と計算の両段階でプライバシーを保護する有望な手法として注目されています。しかし、既存の研究の多くは、平文領域で設計された制御器をそのまま暗号化データ上で実装するアプローチをとっています。

このアプローチには以下の重大な課題があります。

• 遅延の発生: 暗号化制御では、平文に比べて暗号文のサイズが大幅に大きくなるため通信遅延が増大し、さらに暗号化・復号・ホモモルフィック演算の計算負荷も遅延を引き起こします。
• セキュリティと遅延のトレードオフ: 一般的にセキュリティレベルを高める（鍵長やモジュラスを大きくする）と、計算・通信コストが増加し、遅延がさらに大きくなります。
• 制御性能の低下と不安定化: 設計時に遅延を無視して制御器を設計すると、実際のシステムで生じる遅延により制御性能が著しく劣化し、場合によっては閉ループ系が不安定化するリスクがあります。

既存の研究（例：[12]）はセキュリティと制御性能の両立を目指しましたが、暗号化に起因する遅延を明示的に考慮した設計手法は不足していました。

2. 手法 (Methodology)

著者は、暗号パラメータ $\theta$ とフィードバック利得 $K$ を同時に決定する共設計フレームワークを提案しています。

2.1 遅延の定量化

まず、暗号パラメータ $\theta = (N, q, \sigma)$（鍵長、モジュラス、ノイズ標準偏差）を関数として、システム全体の遅延 $\tau_\theta$ を定量化します。

• 遅延の構成要素: 通信遅延、センサー側の暗号化時間、アクチュエータ側の復号時間、サーバー側のホモモルフィック乗算時間。
• 遅延の上限推定: 通信レートやプロパゲーション遅延、および暗号演算の計算複雑度（$O(N^2d)$ など）に基づき、遅延の上限値 $\bar{\tau}_\theta$ を導出します。
  $$\tau_\theta \leq \bar{\tau}_\theta(\theta)$$

2.2 遅延認識フィードバック利得の設計

固定された暗号パラメータ $\theta$ に対して、遅延 $\tau_\theta$ が $[0, \bar{\tau}_\theta]$ の範囲内で変動することを考慮した制御器設計を行います。

• 離散化モデル: 遅延を含む連続時間システムを、サンプリング時刻における離散時間モデル（拡張状態 $\xi[k] = [x[k]^\top, x[k-1]^\top]^\top$）として表現します。
• 安定性条件: 遅延が変化するすべてのケースでシステムが安定であるための十分条件を導出します。
  • ジョルダン標準形を用いて遅延項を分解し、遅延の範囲を多面体（凸包）として近似します。
  • 安定性を保証するための条件を、**有限個の線形行列不等式（LMI）**の集合として表現します。
    $$M_\eta(\theta, K)^\top P M_\eta(\theta, K) - P \prec 0, \quad \forall \eta \in \{-, +\}^\nu$$
    ここで、$P$ は正定対称行列、$M_\eta$ は遅延の極端な場合に対応する行列です。

2.3 共設計アルゴリズム

提案するアルゴリズムは「外ループ - 内ループ」構造を持ちます。

1. 外ループ（暗号パラメータの探索）: 所望のセキュリティレベル $\lambda^*$ を満たす暗号パラメータの候補集合 $\Theta$ を生成し、その中で遅延上限 $\bar{\tau}_\theta$ がサンプリング時間 $T_s$ 未満となるものを選択します。
2. 内ループ（利得の検証）: 選択された各 $\theta$ に対して、遅延なしで設計された利得の候補集合 $\mathcal{K}$ に対し、上記の LMI 条件を満たすか検証します。
3. 出力: 条件 (R1: セキュリティ), (R2: 遅延制約), (R3: 安定性) をすべて満たす $(\theta, K)$ のペアを出力します。

3. 主要な貢献 (Key Contributions)

1. 遅延の定量的モデル化: 暗号パラメータとハードウェア/通信環境を考慮した、暗号化制御システム全体の遅延上限の明示的な導出。
2. LMI による安定性条件: 遅延が変化する範囲に対して、安定性を保証する十分条件を有限個の LMI で表現する手法の提案。これにより、制御理論の標準的なツール（半正定計画ソルバ）を用いた検証が可能になりました。
3. 実用的な共設計フレームワーク: セキュリティ要件と制御安定性を同時に満たすための、計算的に実行可能な設計手順（外ループ - 内ループ）の提案。

4. シミュレーション結果 (Results)

双一次系（インバーター・ペンデュラムのようなモデル）を用いた数値シミュレーションにより、手法の有効性を検証しました。

• 設定: セキュリティレベル 128 ビットを満たす 3 つの暗号パラメータ候補（$\theta_1, \theta_2, \theta_3$）を比較。
• 遅延の制約: $\theta_2, \theta_3$ はセキュリティが高い反面、推定される遅延上限がサンプリング時間（25 ms）を超えてしまい、条件 (R2) を満たしませんでした。
• 安定性の検証:
  • 遅延を無視して設計した利得 $K_1$ は、遅延が増大すると性能が劣化し、ある閾値を超えるとシステムが不安定化しました。
  • 提案手法（遅延認識設計）で得られた利得 $K_2$ は、遅延上限 $\bar{\tau}_{\theta_1}$ 内のすべての遅延値に対して安定性を維持しました。
• 結論: 暗号パラメータと制御利得を分離して設計するのではなく、遅延を考慮して共設計することが、暗号化制御システムの安定化に不可欠であることが示されました。

5. 意義と展望 (Significance)

本論文は、暗号化制御の実用化に向けた重要な一歩です。

• セキュリティと制御性能の両立: 「セキュリティを高めれば制御が不安定になる」というジレンマに対し、パラメータと制御器を最適に組み合わせることで解決策を示しました。
• 実装への指針: 特定の暗号ライブラリや通信環境において、どのパラメータ設定が制御タスクに適しているかを事前に判断できる根拠を提供します。
• 将来の課題: 本研究では定常遅延を仮定していますが、時間変動遅延やサンプリング時間を超える遅延への拡張、および性能基準（コスト関数など）を直接最適化対象に含めた同時設計手法の開発が今後の課題として挙げられています。

総じて、本論文は暗号化制御システムにおいて、セキュリティ要件を満たしつつ、実環境で生じる遅延を考慮した安定な制御系を構築するための体系的な設計手法を提供した点に大きな意義があります。