[논문 리뷰] The Convergence of the Extended Kalman Filter

Arthur J. Krener|ArXiv.org|2002. 12. 18.

Target Tracking and Data Fusion in Sensor Networks인용 수 6

한 줄 요약

이 논문은 검증 가능한 조건 하에 넓은 범주에 속하는 비선형 시스템에 대해 확장 칼만 필터(EKF)의 국소 수렴성을 확립한다: $C^2$ 동역학, 특정 표준형에서의 균일 관측 가능성, 그리고 둘째 도함수의 유계성. 핵심 결과는 初기 추정 오차가 충분히 작을 경우 오차가 지수적으로 0으로 감소함을 보여주며, 이는 이전에 과도하게 제한적인 탐지 가능성 조건에 의존했던 수렴 보장을 넘어서는 것이다.

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 수렴을 보장하는 검증 가능한 기하학적 조건—특히 표준형에서의 균일 관측 가능성—을 제공하기 위해.
• 바라스 등(1984)의 이전 연구들처럼 검증하기 어려운 균일 탐지 가능성 조건이 요구되는 것보다 더 넓은 범위로 수렴 결과를 일반화하기 위해.

제안 방법

• 시스템이 관측 가능 표준형으로 변환되며, 상태 동역학이 리 대수의 이중 적분 표현으로 기술되어 분석이 체계화된다.
• 에러 동역학을 분석하기 위해 $ \tilde{x}^T Q(t) \tilde{x} $ 형태의 리아푸노프 유사 함수를 구성하며, $ Q(t) $ 는 EKF의 리카티 방정식으로 유도된다.
• 둘째 도함수의 테일러 전개 잔여항의 적분 표현을 활용하여 에러 동역학을 유계화하며, $ \partial^2 \bar{f}/\partial x_i \partial x_j $ 의 유계성을 이용한다.
• 관측 가능성 형식의 구조를 활용하기 위해 고이득 관측기 기법과 비교하여 에러의 지수 감쇠를 도출한다.
• 초기 오차가 충분히 작을 때 리아푸노프 함수의 시간 도함수가 음의 정부호임을 보여, 수렴 조건을 유도한다.
• 행렬 노름 부등식과 노이즈 행렬 $ G $ 의 가역성을 이용하여 이득 항을 유계화하고, 에러 에너지의 지수 감쇠를 보장한다.

실험 결과

연구 질문

• RQ1 둘째 도함수가 유계인 비선형 시스템에서 확장 칼만 필터(EKF)가 국소적으로 수렴하는 조건은 무엇인가?
• 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 $ 는 시스템 및 노이즈 파rameter로부터 유도된 상수이다.
• 수렴 조건은 검증 가능하며, 일부 관측 가능한 선형 시스템에서 실패하는 과도하게 제한적인 균일 탐지 가능성 조건을 요구하지 않는다.
• 이 결과는 $ C^2 $ 동역학과 비선형 항의 둘째 도함수의 유계성을 만족하는 관측 가능 표준형 시스템에 적용 가능하다.
• 증명은 초기 오차가 충분히 작을 경우 오차 에너지 $ \tilde{x}^T Q(t) \tilde{x} $ 가 지수적으로 감소함을 보여주며, 이는 $ t \to \infty $ 일 때 $ \tilde{x}(t) \to 0 $ 이 됨을 암시한다.
• 기존에 알려진 반례(예: $ \dot{x} = x(1 - x^2), y = x^2 - x/2 $)에서 EKF가 수렴하지 않는 문제를 새로운 조건 하에서 수렴함을 보여, 이에 대비하여 해결한다.
• 새로운 조건을 만족하는 선형 시스템에 대해서는 EKF가 표준 칼만 필터로 축소되며, 국소 수렴이 아닌 전역 수렴을 보인다.