カルマンフィルターの漸近安定性を最適化から証明
On asymptotic stability of the time-varying Kalman filter for unstabilizable linear systems: an optimization perspective
この論文をやさしく読む
ひとことで言うと
カルマンフィルターが長期的に安定する条件を、通常の行列反復ではなく状態推定の最適化問題から導きます。
何に役立つ？
安定性の証明を整理し、非線形系へ拡張する分析方法を考えるための理論的基盤になります。
この研究の面白いところ
修正Q関数というリアプノフ関数に似た量を使い、必要十分条件を最適化問題の性質で捉えます。
どこまで分かった？
明示された結果は、所定の共分散条件を満たす線形時不変系への時変フィルターに関するものです。非線形系全般の必要十分条件を示したとは要旨には書かれていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文は、初期状態の共分散が半正定値で、過程雑音と測定雑音の共分散が正定値である線形時不変システムに適用した、時変カルマンフィルターの漸近安定性の必要十分条件を確立する。従来の文献のように離散リッカチ方程式を解析する代わりに、等価な状態平滑化の最適化問題を定式化し、その問題の性質を用いてすべての結果を示す。修正Q関数と呼ぶリアプノフ関数に似た関数を導出し、解析に用いる。この最適化のアプローチは、古典的だが煩雑なリッカチ反復の代数計算を不要にし、非線形システムへの一般化と適用をより容易にする。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
This paper establishes the necessary and sufficient conditions for asymptotic stability of the time-varying Kalman filter applied to a linear time invariant system with semidefinite initial state covariance and positive definite process and measurement noise. Rather than analyze the discrete Riccati equation as in the classic literature, the equivalent state smoothing optimization problem is stated and all results are established using properties of this optimization problem. A Lyapunov-like function, termed a modified $Q$-function is derived and used for this analysis. This optimization approach removes the need for the classic but cumbersome Riccati iteration algebra and provides better generalization and application for nonlinear systems.
arXiv ID: 2609.18925 ／ 要約の誤りについて