[논문 리뷰] Sequential Coding of Gauss-Markov Sources over Packet-Erasure Channels with Feedback.

Anatoly Khina, Ashish Khisti외 1명|arXiv (Cornell University)|2017. 02. 06.

Distributed Sensor Networks and Detection Algorithms인용 수 1

한 줄 요약

이 논문은 피드백이 있는 비용 한도가 있고 패킷 유실이 발생하는 채널을 통해 가우스-마르코프 과정을 추적하기 위한 순차적 코딩 체계를 제안한다. 다수의 과정이 존재할 경우 탐색적 양자화가 평균 제곱 오차를 최소화하며, 지연된 확인 응답은 소량의 성능 손실만을 초래함을 보이며, 가변 길이 코딩은 단일 과정 추적의 이론적 외부 경계에 거의 도달함을 입증한다.

ABSTRACT

We consider the problem of tracking the state of Gauss-Markov processes over rate-limited erasure-prone links. We concentrate first on the scenario in which several independent processes are seen by a single observer. The observer maps the processes into finite-rate packets that are sent over the erasure-prone links to a state estimator, and are acknowledged upon packet arrivals. The aim of the state estimator is to track the processes with zero delay and with minimum mean square error (MMSE). We show that, in the limit of many processes, greedy quantization with respect to the squared error distortion is optimal. That is, there is no tension between optimizing the MMSE of the process in the current time instant and that of future times. For the case of packet erasures with delayed acknowledgments, we connect the problem to that of compression with side information that is known at the observer and may be known at the state estimator - where the most recent packets serve as side information that may have been erased, and demonstrate that the loss due to a delay by one time unit is rather small. For the scenario where only one process is tracked by the observer-state estimator system, we further show that variable-length coding techniques are within a small gap of the many-process outer bound. We demonstrate the usefulness of the proposed approach for the simple setting of discrete-time scalar linear quadratic Gaussian control with a limited data-rate feedback that is susceptible to packet erasures.

연구 동기 및 목표

• 피드백이 있는 비용 한도가 있고 패킷 유실이 발생하는 채널을 통해 다수의 독립적인 가우스-마르코프 과정을 추적할 때 평균 제곱 오차(MMSE)를 최소화하는 것.
• 순차적 코딩과 피드백 환경에서 지연된 확인 응답이 시스템 성능에 미치는 영향을 분석하는 것.
• 단일 과정 추적 시나리오에서 가변 길이 코딩과 이론적 외부 경계 사이의 성능 격차를 평가하는 것.
• 여러 독립적인 과정의 극한에서 제곱 오차 왜곡 하에서 탐색적 양자화의 최적성을 확립하는 것.
• 제한된 데이터 전송률 피드백과 패킷 유실이 존재하는 상황에서 제안된 체계가 선형 정규분포 제어에 어떻게 적용 가능한지 보여주는 것.

제안 방법

• 실시간으로 다수의 독립적인 가우스-마르코프 과정의 평균 제곱 오차(MMSE)를 최소화하기 위해 순시 제곱 오차 왜곡 기반 탐색적 양자화를 사용한다.
• 성공적인 패킷 수신 시 확인 응답을 보내는 피드백 통신 설정으로 시스템을 모델링하여 적응형 전송을 가능하게 한다.
• 지연된 확인 응답의 영향을 분석하기 위해, 최근에 유실된 패킷이 부가 정보로 작용하는 압축 문제로 문제를 연결한다.
• 피드백을 활용해 효율적인 비율 할당을 실현하기 위해, 단일 과정 추적에서 이론적 외부 경계에 접근하기 위해 가변 길이 코딩 기법을 적용한다.
• 다수의 과정가 존재할 경우의 渐近적 행동을 고려하여 성능 경계를 유도하며, 탐색적 양자화 하에서 왜곡 최소화가 시간에 따라 불변임을 보여준다.
• 추적 문제를 디코더에서 과거 상태에 접근할 수 있는 소스 코딩과 부가 정보를 연결하며, 이를 바탕으로 추정을 향상시킨다.

실험 결과

연구 질문

• RQ1 피드백이 있는 패킷 유실 채널에서 다수의 가우스-마르코프 과정을 추적할 때 탐색적 양자화가 평균 제곱 오차(MMSE) 최소화에 최적일 수 있는가?
• RQ2 확인 응답이 한 단위 시간 만큼 지연될 경우, 추적 성능이 평균 제곱 오차(MMSE) 측면에서 어떻게 영향을 받는가?
• RQ3 가변 길이 코딩은 단일 과정 추적에서 이론적 성능 한계에 얼마나 가까이 접근할 수 있는가?
• RQ4 피드백이 제한되고 패킷이 유실될 경우, 시스템이 근사 최적 성능을 달성할 수 있는가?
• RQ5 순차적 가우스-마르코프 과정 추적에서 피드백 지연과 추정 정확도 사이의 근본적 트레이드오프는 무엇인가?

주요 결과

• 여러 독립적인 가우스-마르코프 과정이 존재하는 극한에서, 제곱 오차 왜곡 기반 탐색적 양자화는 최적이며, 현재와 향후 추정 오차 간의 트레이드오프를 제거한다.
• 확인 응답의 한 단위 시간 지연으로 인한 성능 손실은 극히 미미하여 피드백 지연에 대한 강건성을 보여준다.
• 가변 길이 코딩 기법은 단일 과정 케이스에 대해 유도된 이론적 외부 경계에 매우 가까운 성능을 달성한다.
• 피드백이 제한되고 패킷 유실이 발생하는 상황에서, 제안된 시스템 설계가 이산 시간 스칼라 선형 정규분포 제어에 효과적임을 입증하였다.
• 지연된 피드백이 있는 추적 문제를 공식적으로 부가 정보가 있는 압축 문제와 연결하며, 과거에 유실된 패킷이 부가 정보로 작용함을 보여준다.
• 피드백은 관측자가 비율을 적응적으로 할당할 수 있게 하여 전송 비율을 늘리지 않더라도 추정 정확도를 향상시킨다.