State Observers for Linear Systems with Prescribed Residual Bounds

技術要約：規定された残差境界を持つ線形システムのための状態オブザーバ

問題定式化
本論文は、未知の有界な外乱を受ける線形時不変（LTI）システムにおける、古典的な連続時間状態オブザーバの特定の限界に対処している。標準的なルエンバーガー・オブザーバは、適切な仮定の下で漸近的な収束と推定誤差の一様有界性を保証するが、オブザーバの残差（$r(t) = y(t) - C\hat{x}(t)$と定義される）の過渡的な挙動を明示的に制御するものではない。故障検出や安全性監視などのアプリケーションにおいて、残差の大きな過渡的な偏差は誤警報を引き起こしたり、性能を低下させたりする可能性がある。既存のロバスト設計は、システムダイナミクスとゲイン選択の結果として残差の境界を提供するが、これらの境界は設計者によって直接割り当てられるものではない。本問題は、制約強制タスクとして定式化される：設計者が選択した事前指定の境界 $\delta > 0$ に対し、既知の範囲内の外乱の大きさに依存せず、すべての $t \geq t_0$ において $\|r(t)\| \leq \delta$ を満たすようなオブザーバを設計することである。

手法
提案される解決策は、標準的な連続時間ルエンバーガー・オブザーバに離散的な状態リセットを付加したハイブリッド・オブザーバ・アーキテクチャである。システムダイナミクスは次のようにモデル化される：
$$\dot{x} = Ax + Bu + d(t), \quad y = Cx$$
ここで、$d(t)$ は未知の有界な外乱である。オブザーバの状態 $\hat{x}$ は標準的なルエンバーガー方程式に従って連続的に進化するが、残差ノルムが規定の閾値 $\delta$ に達したときに瞬時的なジャンプを起こす。

ハイブリッド・ダイナミクスは、フロー集合（Flow Set）とジャンプ集合（Jump Set）によって定義される：

• フロー集合 ($C$): $\|r\| \leq \delta$。オブザーバは連続的に進化する。
• ジャンプ集合 ($D$): $\|r\| \geq \delta$。リセットがトリガーされる。

ジャンプの瞬間 $t_k$ において、オブザーバの状態は以下の線形リセット写像を介して更新される：
$$\hat{x}^+ = \hat{x}^- + J r^-$$
ここで、$J$ は定数リセットゲイン行列である。論文では、連続的な誤差ダイナミクスに関連するリアプノフ行列 $P$ と収縮因子 $\rho \in [0, 1)$ に基づく $J$ の閉形式の表現を導出している：
$$J = (1 - \rho) P^{-1} C^\top (C P^{-1} C^\top)^{-1}$$
この特定の $J$ の選択は、各ジャンプにおいて残差が因子 $\rho$ によって収縮すること（$\|r^+\| = \rho \|r^-\|$）を保証すると同時に、リアプノフ計量 $V = \tilde{x}^\top P \tilde{x}$ における推定誤差の非拡大性を維持する。

主要な貢献および理論的保証
本論文は、可観測性、有界な外乱、および $C$ のフル行ランクの仮定の下で、以下の4つの主要な理論的結果を確立している：

1. 残差の収縮: 各リセットの瞬間において、残差ノルムは因子 $\rho$ によって厳密に減少する。これにより $\|r^+\| = \rho \|r^-\|$ が保証される。
2. 前方不変性: 初期残差が $\|r(t_0)\| \leq \delta$ を満たす場合、残差エンベロープ $\{r : \|r\| \leq \delta\}$ は前方不変である。残差は規定の境界 $\delta$ を決して超えない。
3. 推定誤差の非拡大性: リアプノフ関数 $V(\tilde{x})$ はジャンプの瞬間において増加しない（$V^+ \leq V^-$）。これにより、リセット機構が推定誤差を不安定化させないことが保証される。
4. 一様有界性: ハイブリッド・オブザーバは、基礎となる連続時間ルエンバーガー・オブザーバの一様有界性の特性を保持する。推定誤差は標準的なオブザーバから導出される式と同様に有界であり、外乱に対する入力-状態安定性（ISS）を保証する。
5. ゼノ挙動（Zeno Behavior）の不在: 本論文は、連続するリセット間の最小滞在時間が厳密に正であることを証明しており、有限時間内での無限のスイッチングを防いでいる。

シミュレーション結果
著者らは、区間 $t \in [2, 5]$ で時変正弦波外乱が作用する4状態LTIシステムを用いたシミュレーションを通じて、設計の妥当性を検証している。

• 残差性能: 同一のゲインを持つ標準的なルエンバーガー・オブザーバは、外乱が作用しているときに規定の残差境界 $\delta$ を違反する。対照的に、提案されたハイブリッド・オブザーバは $\|r(t)\| \leq \delta$ を厳密に強制する。残差が $\delta$ に達するたびにリセットが発生し、残差は即座に $\rho\delta$（シミュレーションでは $\rho=0.1$）へと収縮する。
• 推定誤差: ハイブリッド・オブザーバの状態で、リセットの瞬間にジャンプが見られるが、それらは有界であり、連続時間オブザーバと同等の挙動を示す。リアプノフ関数 $V(t)$ は有界であり、非拡大性の理論的特性を確認している。
• 初期化: シミュレーションは、システムが残差エンベロープの外側（$\|r(0)\| > \delta$）から開始する場合、$t=0$ での単一のリセット（$\rho=0$ を用いる）によって、直ちに残差を不変集合内に持ち込めることも示している。

意義および主張
本論文は、ピーキング現象やノイズ感受性に陥りやすい高ゲインの連続フィードバックに依存することなく、過渡的な残差挙動を制御するための新しいメカニズムを提供すると主張している。リセットを用いて過渡性能を向上させたり $L_2$ ゲインを低減させたりする先行研究とは異なり、本研究は残差境界を、設計によって強制されるハードな不変性能仕様として扱っている。

著者らは、本研究を「ロバスト性の特性化問題」ではなく、「制約強制問題」の解決策として位置づけている。残差が設計者指定のエンベロープ内に留まることを保証することで、このアプローチは定常的な挙動のより構造化された特性化を提供する。これは、閾値が保守的に調整されることが多い故障検出システムにおいて特に重要であり、提案されたオブザーバは、誤警報を引き起こす可能性のある外乱によるスパイクを軽減する。論文は、このフレームワークがLTIシステムに対して確立されているものの、ハイブリッド・アプローチは線形ダイナミクスに限定されないことを述べ、非線形システムやサンプリングデータシステムへの将来的な拡張の可能性を示唆して締めくくられている。