[論文レビュー] The Convergence of the Extended Kalman Filter

Arthur J. Krener|ArXiv.org|Dec 18, 2002

Target Tracking and Data Fusion in Sensor Networks被引用数 6

ひとこと要約

本稿は、検証可能な条件下で、広範な非線形システムのための拡張カルマンフィルタ（EKF）の局所的収束を確立する。条件は、$C^2$ 動的特性、特定の標準形における一様可観測性、および有界な2階微分である。主な結果は、初期推定誤差が十分に小さい場合、誤差が指数関数的にゼロに収束することを示しており、従来の制限的な検出可能性条件を超える収束保証を拡張する。

ABSTRACT

We demonstrate that the extended Kalman filter converges locally for a broad class of nonlinear systems. If the initial estimation error of the filter is not too large then the error goes to zero exponentially as time goes to infinity. To demonstrate this, we require that the system be $C^2$ and uniformly observable with bounded second partial derivatives.

研究の動機と目的

• 従来の条件があまりに制限的または検証不可能であった非線形システムにおけるEKFの局所的収束を確立すること。
• 従来の検出可能性基準では失敗するが、可観測な線形システムにおいてEKF収束が失敗する問題を解消すること。
• EKF収束を保証する検証可能な幾何的条件（特に標準形における一様可観測性）を提供すること。
• Barasら（1984年）の先行研究のような、検証が困難な一様検出可能性を要件としていた過去の研究の制限を超えて、収束結果を一般化すること。

提案手法

• システムが可観測標準形に変換され、状態の動的特性がリーマン微分のネスト型積分で表現され、構造的な解析が可能になる。
• 誤差動的特性を解析するためのリャプノフ型関数 $ \tilde{x}^T Q(t) \tilde{x} $ が構築され、$ Q(t) $ はEKFのリカッチ方程式から導出される。
• 2階テイラー剰余の積分表現を用いて誤差を有界化し、$ \partial^2 \bar{f}/\partial x_i \partial x_j $ の有界性を活用する。
• 可観測性形の構造を活用し、ハイゲイン観測器技術と比較することで、誤差の指数的減衰を導出する。
• 初期誤差が十分に小さいとき、リャプノフ関数の時間微分が負定値であることを示すことで、収束条件を導出する。
• 行列ノルムの不等式とノイズ行列 $ G $ の正則性を用いて、ゲイン項を有界化し、誤差エネルギーの指数的減衰を保証する。

実験結果

リサーチクエスチョン

• RQ1 有界な2階微分をもつ非線形システムにおいて、拡張カルマンフィルタがどのような条件下で局所的に収束するか。
• RQ2 従来の研究で一様検出可能性条件を満たさないが可観測な線形システムにおいて、EKFの収束を保証できるか。
• RQ3 可観測標準形の構造が、従来の手法よりも検証可能で一般的な収束証明を可能にするか。
• RQ4 初期推定誤差の大きさが、非線形システムにおけるEKFの収束速度にどのように影響するか。
• RQ5 一様検出可能性を満たさないが、指定された形で一様可観測であるシステムにおいて、EKFが指数的に収束するか。

主な発見

• 初期誤差が $ \| \tilde{x}^T(0) Q(0) \tilde{x}(0) \|^{1/2} < \frac{m_7}{2 m_1^{7/2} m_5^2 L} $ を満たす場合、EKFは推定誤差が指数関数的にゼロに収束する。ここで $ m_7, m_1, m_5, L $ はシステムおよびノイズパラメータから導かれる定数である。
• 収束条件は検証可能であり、制限的な一様検出可能性条件を必要とせず、一部の可観測線形システムで失敗する従来の条件を回避する。
• 本結果は、$ C^2 $ 動的特性と非線形項の2階微分が有界である可観測標準形のシステムに適用可能である。
• 証明により、初期誤差が十分に小さいとき、誤差エネルギー $ \tilde{x}^T Q(t) \tilde{x} $ が指数関数的に減少することが示され、$ \tilde{x}(t) \to 0 $ が $ t \to \infty $ のとき成り立つ。
• EKFが収束しないとされる既知の反例（例：$ \dot{x} = x(1 - x^2), y = x^2 - x/2 $）に対しても、本条件のもとで収束が成立することを示している。
• 線形システムが本条件を満たす場合、EKFは標準カルマンフィルタに還元され、局所的ではなく、グローバルに収束する。