확장 칼만 필터의 수축 이론 기반 안정성 분석

초록

본 논문은 확장 칼만 필터(EKF)를 비선형 시스템의 결정론적 관측기로 바라보고, 수축 이론을 적용해 상태 오차의 지수 수렴 조건을 새롭게 제시한다. 기존의 Lyapunov 기반 조건과는 다른 미분적 접근을 통해, 시스템의 국소 선형화와 리만 거리 측정에 기반한 충분조건을 도출한다. 이를 통해 EKF의 수렴성을 보다 직관적으로 이해하고, 설계 시 유용한 지침을 제공한다.

상세 분석

논문은 먼저 EKF를 비선형 시스템의 상태 추정 문제에 대한 결정론적 관측기로 모델링한다. 전통적인 EKF 안정성 분석은 Lyapunov 함수 기반으로, 시스템의 전역 또는 지역적인 안정성을 보장하기 위해 관측 가능성, 잡음 공분산의 유계성, 그리고 선형화 오차에 대한 제한을 가정한다. 그러나 이러한 접근은 미분 방정식의 해의 전체 궤적을 직접 다루지 못하고, 주로 에너지 형태의 함수에 의존한다는 한계가 있다.

수축 이론은 ‘인접 궤적 사이의 무한소 차이(가상 변위)’가 시간에 따라 지수적으로 감소하는지를 조사한다. 이를 위해 리만 메트릭 (M(x))를 정의하고, 변위 동역학 (\dot{\delta}=A(x,t)\delta)에 대한 대칭 부분 (A_s = \frac{1}{2}(A + A^\top))가 음의 정의인지를 검증한다. 논문은 EKF의 오류 동역학을 (\tilde{x}=x-\hat{x})라 두고, 이를 미분적으로 전개하여 (\dot{\tilde{x}} = f(x) - f(\hat{x}) - K(t)