[논문 리뷰] Towards Finding the Critical Value for Kalman Filtering with Intermittent Observations

Yilin Mo, Bruno Sinopoli|arXiv (Cornell University)|2010. 05. 14.

Stability and Control of Uncertain Systems참고 문헌 14인용 수 31

한 줄 요약

이 논문은 이산시간 선형 가우시안 시스템에서 간헐적인 관측이 있는 칼만 필터링에 대한 정확한 임계 도착 확률 $p_c$ 를 계산하며, 시스템 행렬 $A$ 와 $C$ 에 최소한의 조건을 두었을 때 $p_c = 1 - \lambda^{-2q/(q-1)}$ 를 증명한다. 이는 시스템의 특성에 따라 $C$ 가 가역적이지 않은 경우에도 Sinopoli 등 [1] 이 도출한 하한값이 날카로운 상한값임을 입증하며, 네트워크 제어 시스템 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

In [1], Sinopoli et al. analyze the problem of optimal estimation for linear Gaussian systems where packets containing observations are dropped according to an i.i.d. Bernoulli process, modeling a memoryless erasure channel. In this case the authors show that the Kalman Filter is still the optimal estimator, although boundedness of the error depends directly upon the channel arrival probability, p. In particular they also prove the existence of a critical value, pc, for such probability, below which the Kalman filter will diverge. The authors are not able to compute the actual value of this critical probability for general linear systems, but provide upper and lower bounds. They are able to show that for special cases, i.e. C invertible, such critical value coincides with the lower bound. This paper computes the value of the critical arrival probability, under minimally restrictive conditions on the matrices A and C.

연구 동기 및 목표

• 간헐적인 관측 하에서 칼만 필터링에 대한 정확한 임계 도착 확률 $p_c$ 를 계산하는 데 목적이 있다.
• 특히 $C$ 가 가역적이지 않은 경우에만 상한과 하한값을 제공하는 이전 결과를 넘어서는 것을 목표로 한다.
• 특수한 경우(예: $C$ 가 가역적일 때)를 초월하여 $A$ 와 $C$ 의 시스템 행렬에 대해 최소한의 제약 조건 하에서 $p_c$ 를 특성화하는 것.
• 베르누이 패킷 손실 하에서 칼만 필터의 오차 공분산의 안정성을 분석하고 유한성의 임계값을 규명하는 것.
• 마르코프성 패킷 손실 모델 및 오차 공분산의 고차모멘트 유한성에 적용 가능한 일반적 프레임워크를 제공하는 것.

제안 방법

• 시스템 상태 전이 행렬의 스펙트럼 분석과 행렬 $A$ 의 고유값을 이용해 임계 확률 $p_c$ 를 유도한다.
• $\mathbb{T}_{\varepsilon,\infty} = \{ l \in \mathbb{N} \mid 2 - z^l - z^{-l} > \varepsilon \}$ 의 집합을 도입하여余弦 항이 0에서 멀리 떨어진 인덱스의 조밀도를 분석한다.
• $i / |\mathbb{T}_{\varepsilon,i}|$ 의 점근적 분석을 통해 유효한 시간 인덱스의 성장률을 추정하며, 이로 인해 $\limsup_{|\mathbb{T}_{\varepsilon,i}| \to \infty} i / |\mathbb{T}_{\varepsilon,i}| = 1$ 이 도출된다.
• $\varepsilon \to 0^+$ 일 때 $\limsup_{|\mathbb{T}_{\varepsilon,i}| \to \infty} \lambda^{-2i / |\mathbb{T}_{\varepsilon,i}|} \to \lambda^{-2}$ 의 조건을 활용하여 임계값을 유도한다.
• 임계 확률 $p_c = 1 - \lambda^{-2q/(q-1)}$ 가 Sinopoli 등 [1] 이 도출한 하한값과 일반 조건 하에서 일치함을 증명한다.
• 스펙트럼 반경과 단위 원 위의 무리각 회전 성질을 활용한 정리 및 보조정리의 연속적 적용을 통해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 일반 선형 시스템에서 간헐적인 관측이 있는 칼만 필터링에 대한 정확한 임계 도착 확률 $p_c$ 의 값은 무엇인가?
• RQ2 Sinopoli 등 [1] 이 도출한 $p_c$ 의 하한값은 $C$ 가 가역적이지 않은 시스템에서도 정확한 값으로 성립하는가?
• RQ3 언제 $p_c$ 의 하한값이 날카로운 상한값이 되며, 언제는 실패하는가?
• RQ4 시스템 행렬 $A$ 와 관측 행렬 $C$ 의 구조는 임계 확률에 어떤 영향을 미치는가?
• RQ5 스펙트럼 및 에르고딕 성질을 활용하여 칼만 필터의 오차 공분산의 유한성은 어떻게 특성화할 수 있는가?

주요 결과

• 임계 도착 확률은 정확히 $p_c = 1 - \lambda^{-2q/(q-1)}$ 이며, 여기서 $\lambda$ 는 시스템 행렬 $A$ 의 스펙트럼 반경이다.
• Sinopoli 등 [1] 이 도출한 $p_c$ 의 하한값은 $C$ 가 가역적이지 않은 경우에도 넓은 범위의 시스템에서 날카로운 상한값임을 입증한다.
• $A$ 의 고유값의 절댓값이 모두 다를 경우, 임계 확률은 하한값과 일치한다.
• 증명 과정에서 $\limsup_{|\mathbb{T}_{\varepsilon,i}| \to \infty} i / |\mathbb{T}_{\varepsilon,i}| = 1$ 이 도출되며, 이는 $p_c \leq 1 - \lambda^{-2}$ 를 이끌어내고 하한값과 일치함을 보여준다.
• 비판적 안정성의 특이 시스템(데그레더티 시스템)에 대해서도 결과가 성립하며, 이는 직접적으로 정리 8 을 적용함으로써 처리된다.
• 분석은 마르코프성 패킷 손실 모델 및 오차 공분산의 고차모멘트로 일반화된다.