[논문 리뷰] A contraction theory-based analysis of the stability of the Extended Kalman Filter

Silvère Bonnabel, Jean-Jacques Slotine|arXiv (Cornell University)|2012. 11. 28.

Control and Stability of Dynamical Systems참고 문헌 9인용 수 6

한 줄 요약

이 논문은 비선형 관측기로서 확장 칼만 필터(EKF)에 대한 수축 이론 기반 분석을 제시하며, 미분 프레임워크에서 유도된 새로운 충분조건 하에 상태 추정 오차의 지수 수렴이 보장됨을 보여준다. 기존 르아프노프 기반 접근과는 달리, 이 방법은 이웃하는 궤도 간의 무한소적 차이의 진화를 메트릭 기반 프레임워크로 분석하여, 특히 관측 행렬 노름이 클 경우에 더 높은 수렴 속도와 더 넓은 안착 기반을 제공한다.

ABSTRACT

The contraction properties of the Extended Kalman Filter, viewed as a deterministic observer for nonlinear systems, are analyzed. This yields new conditions under which exponential convergence of the state error can be guaranteed. As contraction analysis studies the evolution of an infinitesimal discrepancy between neighboring trajectories, and thus stems from a differential framework, the sufficient convergence conditions are different from the ones that previously appeared in the literature, which were derived in a Lyapunov framework. This article sheds another light on the theoretical properties of this popular observer.

연구 동기 및 목표

• 확장 칼만 필터(EKF)의 안정성을 기존 르아프노프 방법 대신 수축 이론을 사용하여 분석하기.
• EKF의 상태 추정 오차에 대한 지수 수렴을 위한 새로운 충분조건 유도하기.
• 시스템 및 필터 파라미터의 관점에서 안착 기반의 크기와 수렴 속도를 정량화하기.
• 새로운 수축 기반 결과와 기존 르아프노프 기반 경계를 비교하여 강건성 및 성능 향상 강조하기.

제안 방법

• 분석은 EKF를 동적 시스템으로 모델링하고, 이웃하는 궤도 간의 무한소적 차이의 진화를 리만 메트릭을 사용하여 연구한다.
• 오차 동역학에 수축 이론을 적용하여, 두 개의 근접한 EKF 궤도로 이루어진 가상 시스템에 초점을 맞춘다.
• 두 근접한 궤도 간의 거리가 지수적으로 감소하는 충분조건를 유도한다. 이는 초기 조건의 지수적 기억 상실을 의미한다.
• 오차 공분산 행렬에 대한 리카티 방정식을 사용하여 핵심 부등식을 도출하며, Assumption 1을 통해 행렬 P의 경계를 유지한다.
• 수렴 속도와 안착 기반은 P, Q 및 관측 행렬 C의 최소 및 최대 고유값을 사용하여 정량화한다.
• 이 프레임워크는 이전 결과의 직접 일반화를 가능하게 하며, 예를 들어 수렴 속도를 가속화하기 위해 리카티 방정식에 안정화 항 2βP를 추가하는 것이 가능하다.

실험 결과

연구 질문

• RQ1 수축 이론은 르아프노프 기반 방법에 비해 확장 칼만 필터(EKF)에 대해 더 강력한 안정성 보장을 제공할 수 있는가?
• RQ2 수축 이론과 르아프노프 함수를 사용한 분석에서 EKF의 수렴 속도와 안착 기반 크기는 어떻게 다를까?
• RQ3 관측 행렬 노름이 안정 영역에 미치는 영향은 무엇이며, 수축 이론은 기존 접근보다 더 보수적이지 않은 경계를 도출할 수 있는가?
• RQ4 EKF는 어떻게 수정하여 수렴 속도를 향상시키면서도 안정성을 유지할 수 있으며, 이러한 수정의 이론적 근거는 무엇인가?

주요 결과

• 수축 기반 접근은 르아프노프 기반 결과 [15] 대비 $ \overline{p}/\underline{p} \geq 1 $ 배 더 높은 수렴 속도를 제공하여 오차 감쇠 속도가 빨라진다.
• 보장된 안착 기반의 크기는 $ (\overline{p}/\underline{p})^{1/2} \geq 1 $ 배 더 크며, 초기 추정 오차에 대한 강건성이 향상된다.
• 르아프노프 기반 경계가 $ \|C(t)\| $ 의 상한 $ \overline{c} $ 에 의존하는 것과는 달리, 수축 기반 경계는 $ \overline{c} $ 와 무관하여 관측 행렬 노름이 클 경우 더 강건하다.
• 리카티 방정식에 항 $ 2\beta P $ 를 추가하면 보장된 수렴 속도가 $ \beta $ 만큼 증가하며, 이는 자연스럽게 수축 프레임워크 내에서 설명된다.
• 이 방법은 리카티 방정식에 양의 정부호 행렬 $ N $ 을 추가하면 수렴 속도가 $ \underline{n}/\overline{p} $ 만큼 증가함을 보여주며, 여기서 $ \underline{n} $ 은 $ N $ 의 최소 고유값이다. 이는 이전 작업을 일반화하는 것이다.
• 결과적으로 유도된 조건 하에 EKF는 초기 조건을 지수적으로 잊는다. 이는 미분적 관점에서 EKF의 바람직한 필터링 성질을 확인한다.