[논문 리뷰] Real-Time Remote Estimation with Hybrid ARQ in Wireless Networked Control

Kang Huang, Wanchun Liu외 3명|arXiv (Cornell University)|2019. 03. 28.

Age of Information Optimization참고 문헌 18인용 수 5

한 줄 요약

이 논문은 무선 채널을 통해 선형 정수계수 시스템에 대해 하이브리드 ARQ 기반 실시간 원거리 추정 프레임워크를 제안한다. 센서는 현재 추정 품질과 재전송 횟수에 따라 오래된 측정값을 재전송할지 또는 새로운 측정값을 전송할지 적응적으로 선택한다. 주요 기여는 장기 추정 평균제곱오차(MSE)를 최소화하는 증명 가능하게 안정화되는 스위칭 구조 최적 정책이며, 수치 결과는 전통적인 비-HARQ 기반 방법에 비해 뚜렷한 성능 향상을 보여준다.

ABSTRACT

Real-time remote estimation is critical for mission-critical applications including industrial automation, smart grid and tactile Internet. In this paper, we propose a hybrid automatic repeat request (HARQ)-based real-time remote estimation framework for linear time-invariant (LTI) dynamic systems. Considering the estimation quality of such a system, there is a fundamental tradeoff between the reliability and freshness of the sensor's measurement transmission. We formulate a new problem to optimize the sensor's online transmission control policy for static and Markov fading channels, which depends on both the current estimation quality of the remote estimator and the current number of retransmissions of the sensor, so as to minimize the long-term remote estimation mean squared error (MSE). This problem is non-trivial. In particular, it is challenging to derive the condition in terms of the communication channel quality and the LTI system parameters, to ensure a bounded long-term estimation MSE. We derive an elegant sufficient condition of the existence of a stationary and deterministic optimal policy that stabilizes the remote estimation system and minimizes the MSE. Also, we prove that the optimal policy has a switching structure, and accordingly derive a low-complexity suboptimal policy. Numerical results show that the proposed optimal policy significantly improves the performance of the remote estimation system compared to the conventional non-HARQ policy.

연구 동기 및 목표

• 신뢰성과 신선도 사이의 근본적 트레이드오프를 해결하기 위해 불안정한 무선 채널을 통한 실시간 원거리 추정에서 발생하는 문제를 다루는 것.
• 장기 추정 MSE를 최소화하기 위해 재전송과 신규 전송을 최적의 비율로 균형 잡는 온라인 전송 제어 정책을 설계하는 것.
• HARQ 하에서 안정적이고 정적이며 결정적인 최적 정책이 존재하기 위한 충분조건을 확립하는 것.
• 최적 정책의 구조적 성질을 유도하고, 저복잡도의 부분 최적 대체 정책을 제안하는 것.

제안 방법

• 센서의 행동이 현재 추정 오차와 재전송 횟수에 따라 달라지는 마르코프 결정 과정(MDP) 프레임워크를 수립한다.
• 재전송된 패킷의 성공적 탐지 확률을 향상시키기 위해 채이스 복합 기법을 적용한 하이브리드 ARQ 프rotocol을 도입한다.
• 장기 MSE가 유계임을 보장하기 위해 채널 신뢰성과 시스템 동역학을 포함하는 충분조건을 유도한다.
• 최적 정책이 스위칭 구조를 갖추고 있음을 증명하여, 임계값 기반의 저복잡도 부분 최적 정책 설계가 가능함을 보여준다.
• 최초 도달 비용 분석과 행렬 기하 방법을 활용하여 추정 오차 과정의 안정성과 유계성을 확립한다.
• 기하급수 급수와 스펙트럼 반경 부등식을 적용하여 유도된 조건 하에서 기대 비용의 수렴성과 유한성을 증명한다.

실험 결과

연구 질문

• RQ1 HARQ 기반 원거리 추정에서 장기 MSE가 유계임을 보장하는 정적이고 결정적인 최적 전송 정책이 존재하기 위한 조건은 무엇인가?
• RQ2 시간 상관이 있는 시스템에서 최적 정책은 재전송을 통한 신뢰성과 신규 측정값을 통한 신선도 사이를 어떻게 균형 잡는가?
• RQ3 최적 정책은 어떤 구조적 성질을 보이며, 이를 바탕으로 저복잡도의 부분 최적 정책을 설계할 수 있는가?
• RQ4 실시간 제어 시스템에서 전통적인 비-HARQ 프로토콜에 비해 HARQ는 추정 성능을 어떻게 향상시키는가?
• RQ5 채널 품질과 시스템 동역학은 원거리 추정 시스템의 안정성과 성능에 어떤 영향을 미치는가?

주요 결과

• 시스템 행렬의 스펙트럼 반경과 채널 신뢰성이 함께 만족해야 할 조건을 포함하는 충분조건이 도출되었으며, 이 조건은 안정적이고 정적이며 결정적인 최적 정책 존재를 보장한다.
• 최적 전송 정책이 추정 오차와 재전송 횟수의 임계값에 따라 스위칭 구조를 갖춘다는 것이 증명되었다.
• 스위칭 구조를 기반으로 한 저복잡도 부분 최적 정책이 제안되었으며, 실용적 구현이 가능해졌다.
• 수치 결과는 제안된 HARQ 기반 최적 정책이 비-HARQ 정책에 비해 장기 추정 MSE를 뚜렷이 감소시킴을 보여주었다.
• 저 SNR 및 고속 이동 환경에서 재전송이 신뢰성을 크게 향상시키며, 너무 많은 신선도 손실 없이도 성능 향상이 두드러졌다.
• 분석 결과, HARQ는 추정 시스템을 안정화시키고, 나이-정보만으로는 충분하지 않은 임무 핵심 응용 분야에서도 성능 향상을 이끌 수 있음을 확인했다.