論文要約：Finsler の補題と IQC を用いたロバスト $H_\infty$ オブザーバ設計

タイトル: Robust $H_\infty$ Observer Design via Finsler's Lemma and IQCs
著者: Raktim Bhattacharya, Felix Biertümpfel
概要: 本論文は、積分二次制約（IQC: Integral Quadratic Constraints）とブロック構造不確かさを持つシステムに対する、Finsler の補題に基づく線形行列不等式（LMI）を用いたロバスト $H_\infty$ オブザーバ設計手法を開発したものである。

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

1. 問題設定 (Problem)

ロバスト状態推定は、モデル誤差、パラメータ不確かさ、センサー劣化下で予測可能な性能を必要とする。従来のカルマンフィルタは確率的仮定が成り立つ場合に有効であるが、決定論的な境界で不確かさを記述する場合には、最悪ケース保証を提供することが困難である。

既存の $H_\infty$ オブザーバ設計や IQC に基づく合成手法には、以下の 2 つの主要な限界があった：

1. Lyapunov 行列とオブザーバゲインの結合: 標準的な変数変換（$Y=PL$）を用いると、Lyapunov 行列 $P$ とゲイン $L$ が結合し、$He(PA) \prec 0$ という構造的条件が生じる。これは、$A$ が臨界安定（固有値が虚軸上にある）な場合、$L$ が $A$ の安定性に影響を与えないため、条件を満たすことが不可能になる。
2. マルチプライヤーと Lyapunov 行列のトレードオフ: ブロック対角構造の特殊化（Corollary 1）では、不確かさの範囲が広い場合、マルチプライヤー（$\Lambda$）と Lyapunov 行列（$P$）の間の競合により、解が存在しなくなる（非可解性）という問題が発生する。

2. 手法 (Methodology)

本論文は、上記の限界を克服するために、Finsler の補題を IQC 拡張されたオブザーバ合成問題に適用する新しい枠組みを提案している。

• 拡張状態の導入:
  不確かさが入力信号 $(q, p)$ を通じてシステムに作用するため、誤差 $e$ だけでなくプラント状態 $x$ も含む拡張状態 $\xi = [x^T, e^T]^T$ を定義する。これにより、IQC の供給率（supply rate）を評価できるが、その結果として Lyapunov 条件に $L$ が影響しない $He(P_{11}A)$ の項が現れる構造的問題が生じる。

• Finsler の補題による緩和:
  従来の変数変換に代わり、Finsler の補題を用いて、Lyapunov 行列 $P$、オブザーバゲイン $L$、および IQC マルチプライヤー $\Lambda$ の間の結合を緩和するスラック変数 $G$ を導入する。

  • これにより、$P$ に特定の構造（ブロック対角など）を課す必要がなくなり、$He(P_{11}A) \prec 0$ という厳密な条件を回避できる。
  • 不確かさの範囲が広い場合でも、$G$ が追加の自由度を提供することで、LMI の可解性を向上させる。

• 2 段階の合成・検証手順:

  1. 合成ステップ: 緩和された LMI を解き、ゲイン $L$ を復元する。この際、独立した変数置換（$Y_i = G_{i2}L$）を行うため、厳密な結合が仮定されているが、実際には緩和されている。
  2. 検証ステップ: 得られた $L$ を固定し、元の非緩和された dissipation 不等式（LMI）を解くことで、厳密な $H_\infty$ 性能保証（$\gamma_{ver}$）を確認する。

• 臨界安定システムへの人工減衰:
  $A$ が臨界安定な場合（例：クォータニオン力学）、人工的な減衰項 $-\alpha I$ を設計モデルに追加し、$\alpha$ を最適化（二分法や黄金分割法）することで、設計の可行性と実際の性能のバランスを取る。

3. 主要な貢献 (Key Contributions)

1. 構造的障壁の特定と解決: 構造的な不確かさを持つロバスト推定において、拡張状態 $\xi=[x; e]$ を用いることで生じる $He(P_{11}A) \prec 0$ の制約が、オブザーバゲイン $L$ によって制御できないことを明らかにし、Finsler の補題を用いてこれを解消する LMI を導出した（定理 1）。
2. Finsler に基づく LMI の導出: スラック変数 $G$ を導入することで、$P$ と $L$、$\Lambda$ の結合を緩和し、ブロック対角特殊化（Corollary 1）では非可解となる広い不確かさ範囲でも解を得られるようにした。
3. マルチプライヤー–Lyapunov トレードオフの解明: 標準的な変数変換アプローチにおいて、広い不確かさ範囲がシステム安定性マージンに関係なく非可解性を引き起こすことを特定し、Finsler 手法がこれを緩和することを示した（Remark 6）。
4. 人工減衰の最適化アルゴリズム: 臨界安定なダイナミクスに対する設計において、人工減衰パラメータ $\alpha$ を自動的に選択するアルゴリズムを提供し、認定された性能と実際の性能のトレードオフを管理可能にした。

4. 結果 (Results)

2 つの応用例を通じて手法の有効性を検証した。

• 事例 1：角速度不確かさを持つクォータニオン姿勢推定

  • 特徴: 力学行列 $A$ が斜対称（臨界安定）であり、角速度の不確かさ範囲が広い（$\delta\omega = 0.20$ rad/s）。
  • 結果: 標準的な D スケーリング（Corollary 1）では非可解となったが、D-G スケーリング（実数反復構造を利用）と Finsler 手法を組み合わせることで、$\gamma = 0.0070$ で収束した。モンテカルロシミュレーションにより、不確かさの全範囲で性能保証が有効であることを確認した。

• 事例 2：広範な不確かさを持つ質量 - スプリング - ダンパ推定

  • 特徴: 安定な（Hurwitz）システムだが、質量、減衰、剛性のパラメータ不確かさ範囲が非常に広い。
  • 結果: ブロック対角特殊化（Corollary 1）はスカラー $\Lambda$ では非可解であったが、Finsler 手法（Theorem 1）を用いることで $\gamma = 0.836$ の解を得た。また、フル $\Lambda$ を用いたブロック対角手法（$\gamma=0.897$）と比較しても、Finsler 手法の方がより良い（小さい）性能境界を提供できる場合があることが示された。

5. 意義と結論 (Significance)

本論文で提案された手法は、ロバスト制御理論における重要な進展である：

• 安定性条件の緩和: 臨界安定なシステムや、不確かさの影響が大きいシステムにおいて、従来の $H_\infty$ 設計では扱えなかった問題に対して、形式的な最悪ケース保証を提供可能にした。
• 計算効率と汎用性: 緩和された LMI は凸最適化問題として定式化され、MOSEK などのソルバーで高速に解ける。また、IQC マルチプライヤーの構造（D スケーリングや D-G スケーリング）と柔軟に組み合わせ可能である。
• 実用性: クォータニオン姿勢制御や物理パラメータ不確かさを持つ機械システムなど、実際の航空宇宙・機械システムへの適用可能性を示した。

将来的には、動的 IQC マルチプライヤーの導入や、クォータニオン投影をセクタ制限非線形性として扱う拡張などが期待される。

総括:
この研究は、Finsler の補題という数学的ツールを巧みに活用することで、ロバストオブザーバ設計における長年の課題（Lyapunov 行列の構造制約と不確かさ範囲の広さによる非可解性）を解決し、より広範な実システムに対して堅牢な状態推定を可能にする新しい設計枠組みを確立した点に大きな意義がある。