[논문 리뷰] Stability of Non-Linear Filters and Observability of Stochastic Dynamical Systems

Curtis McDonald, Serdar Yüksel|arXiv (Cornell University)|2018. 12. 05.

Markov Chains and Monte Carlo Methods참고 문헌 19인용 수 6

한 줄 요약

이 논문은 비선형 확률적 동적 시스템에 대한 일반적이고 계산 가능한 관측 가능성의 개념을 도입하고, 약한 융합, 총 변동, 상대 엔트로피 기준에 따라 기대값과 거의 확실히 수렴하는 필터 안정성을 확립한다. 제안된 프레임워크는 추가 노이즈 모델을 초월하여 다양한 시스템에서 안정성 검증이 가능하도록 기존 결과를 일반화하고 확장한다.

ABSTRACT

Filter stability is a classical problem for partially observed Markov processes (POMP). For a POMP, an incorrectly initialized non-linear filter is said to be stable if the filter eventually corrects itself with the arrival of new measurement information. In the literature, studies on the stability of non-linear filters either focus on the ergodic properties on the hidden Markov process, or the observability of the measurement channel. While notions of observability exist in the literature, they are difficult to verify for many systems and specific examples of observable systems are mostly restricted to additive noise models. In this paper, we introduce a general definition of observability for stochastic non-linear dynamical systems and compare it with related findings in the literature. Our notion involves a functional characterization which is easily computed for a variety of systems as we demonstrate. Under this observability definition we establish filter stability results for a variety of criteria including weak merging and total variation merging, both in expectation and in an almost sure sense, as well as relative entropy. We also consider the implications between these notions, which collect various results in the literature in a clear and concise manner. Our conditions, and the examples we study, complement and generalize the existing results on filter stability in the literature.

연구 동기 및 목표

• 비선형이고 부분적으로 관측 가능한 마르코프 과정에 대한 필터 안정성 이론의 격차를 보완하기 위해 일반적이고 계산 가능한 관측 가능성 조건을 도입한다.
• 실제로 검증하기 어려운 경우가 많은 기존의 관측 가능성 개념들을 통합하고 명확히 한다.
• 약한 융합, 총 변동, 상대 엔트로피 기준에 따라 기대값과 거의 확실히 수렴하는 필터 안정성을 확립한다.
• 기존의 표준 추가 노이즈 모델을 초월한 구체적 예시를 통해 제안된 프레임워크의 적용 가능성을 보여준다.
• 다양한 안정성 개념 간의 논리적 관계를 명확히 하고 산발적으로 흩어져 있는 문헌의 결과들을 일관된 프레임워크로 통합한다.

제안 방법

• 측정 채널의 구조와 숨겨진 과정의 역학에 기반한 관측 가능성의 함수적 특성화를 제안한다.
• 시간에 따른 피셔 정보 또는 우도 비율의 행동에 대한 조건을 통해 관측 가능성을 정의함으로써 실용적인 계산을 가능하게 한다.
• 확률적 분석 및 에르고딕 이론의 도구를 적용하여 필터링 분포의 약한 수렴과 거의 확실 수렴 하에서의 안정성을 도출한다.
• 진짜 후행 분포와 필터링된 후행 분포 간의 분산을 상대 엔트로피로 측정하여 정보 이론적 관점에서 안정성을 확립한다.
• 기존 문헌에서의 정의와 제안된 관측 가능성 조건을 비교하여 그 일반성과 계산상의 이점을 입증한다.
• 관측 가능성과 우도 비율의 渐近적 행동을 연결함으로써 다양한 수렴 방식에서의 안정성 검증을 체계적으로 수행한다.

실험 결과

연구 질문

• RQ1 비선형 확률적 동적 시스템에서 추가 노이즈 모델을 초월하여 관측 가능성을 일반적이고 계산 가능한 방식으로 어떻게 정의할 수 있는가?
• RQ2 제안된 관측 가능성 조건은 문헌에 존재하는 기존의 관측 가능성 개념과 어떤 관계가 있는가?
• RQ3 비선형 필터가 약한 융합, 총 변동, 상대 엔트로피 기준에서 진짜 후행 분포로 수렴하는 조건은 무엇인가?
• RQ4 비선형 필터링의 맥락에서 약한 융합, 총 변동, 상대 엔트로피 기준 간의 안정성 기준은 상호 어떤 관계가 있는가?
• RQ5 기존의 에르고딕성 또는 관측 가능성 가정이 실패하는 시스템에도 제안된 프레임워크를 적용할 수 있는가?

주요 결과

• 제안된 관측 가능성 조건은 비정규성 및 비가산 노이즈를 포함한 다양한 비선형 시스템에서 기능적으로 특성화되고 계산 가능하다.
• 약한 융합, 총 변동, 상대 엔트로피 기준에 따라 기대값과 거의 확실 수렴에서 필터 안정성이 확립되었으며, 이는 이전 결과를 확장한다.
• 프레임워크는 서로 다른 안정성 개념 간의 관계를 통합하고 명확히 하여, 더 강한 수렴 기준(예: 총 변동)이 더 약한 기준(예: 약한 융합)을 함의함을 보여준다.
• 숨겨진 과정과 측정 채널에 대한 가정을 완화함으로써 기존의 필터 안정성 정리들을 일반화하며, 특히 추가 노이즈 모델을 초월한 경우에 유용하다.
• 기존의 관측 가능성 조건이 검증하기 어려운 시스템에서 제안된 관측 가능성 조건이 성립하는 명시적 예시를 제공하여 실용적 유용성을 입증한다.
• 상대 엔트로피 기준이 안정성 증명에 강력한 도구임을 보이며, 추가적인 정규성 조건 하에서 수렴 속도를 유도할 수 있음을 보여준다.