[논문 리뷰] To Retransmit or Not: Real-Time Remote Estimation in Wireless Networked Control

Kang Huang, Wanchun Liu외 2명|arXiv (Cornell University)|2019. 02. 21.

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

한 줄 요약

이 논문은 선형 시간 불변 시스템을 대상으로 하이브리드 ARQ(HARQ) 기반 실시간 원격 추정 프레임워크를 제안한다. 센서는 온라인으로 이전 측정값을 재전송할지 또는 새로운 측정값을 전송할지 결정하여 장기적인 평균 제곱 오차(MSE)를 최소화한다. 이 논문은 유한한 MSE를 보장하는 충분조건를 도출하고, 최적 정책이 스위칭 구조를 가짐을 증명하며, 기존의 비-HARQ 기반 방법보다 훨씬 향상된 추정 성능을 보이는 저복잡도의 부분 최적 정책을 제안한다.

ABSTRACT

Real-time remote estimation is critical for mission-critical applications including industrial automation, smart grid, and the 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. When a failed transmission occurs, the sensor can either retransmit the previous old measurement such that the receiver can obtain a more reliable old measurement, or transmit a new but less reliable measurement. To design the optimal decision, we formulate a new problem to optimize the sensor's online decision policy, i.e., to retransmit or not, depending 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 not clear what the condition is in terms of the communication channel quality and the LTI system parameters, to ensure that the long-term estimation MSE can be bounded. We give a 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 derive a low-complexity suboptimal policy. Our numerical results show that the proposed optimal policy notably improves the performance of the remote estimation system compared to the conventional non-HARQ policy.

연구 동기 및 목표

• 실시간 무선 네트워크 기반 제어 시스템에서 측정 신뢰도와 신선도 사이의 근본적 상충 관계를 해결하기 위해.
• 장기적인 원격 추정 평균 제곱 오차(MSE)를 최소화하기 위한 센서 재전송 온라인 결정 정책을 설계하기 위해.
• 유한한 장기 MSE를 보장하고 안정적인 최적 정책의 존재를 보장하는 충분조건를 수립하기 위해.
• 최적 정책의 구조적 성질을 도출하고 저복잡도의 부분 최적 대체 정책을 제안하기 위해.

제안 방법

• 재전송 횟수와 추정 품질을 상태로 정의하는 MDP(마코프 결정 과정)로 원격 추정 시스템을 모델링한다.
• 각 전송 결정 이후 추정 품질을 캡처하기 위해 오차 공분산 행렬의 트레이스를 한 단계 비용으로 정의한다.
• 동적 프로그래밍을 사용하여 최적 정책을 수립하고, 재전송 횟수와 추정 품질에 기반한 스위칭 구조를 가짐을 증명한다.
• 채널 성공 확률과 시스템 동역학(행렬 A의 스펙트럴 반경을 통해)을 포함하는 충분조건를 유도하여 유한한 MSE를 확보한다.
• 스위칭 구조에 기반한 부분 최적 정책을 도입하며, 저복잡도로 계산 가능하다.
• 스토크라스틱 지배성과 슈퍼加성 조건을 활용하여 최적 정책의 단조성 및 구조적 성질을 증명한다.

실험 결과

연구 질문

• RQ1 HARQ 기반 실시간 원격 추정 시스템에서 장기적인 추정 MSE가 유한한 조건는 무엇인가?
• RQ2 현재 재전송 횟수와 추정 품질을 고려할 때, 최적의 온라인 결정 정책은 재전송을 할 것인지 또는 새로운 측정값을 전송할 것인지 어떻게 결정하는가?
• RQ3 최적 정책은 시스템 상태에 따라 스위칭 행동을 보이는 구조적 성질을 가지는가?
• RQ4 제안된 HARQ 기반 정책은 기존의 비-HARQ 정책에 비해 MSE 성능에서 어떻게 비교되는가?

주요 결과

• 유한한 장기 MSE를 보장하는 충분조건를 도출하였다: (1−λ′)ρ²(A) < 1, 여기서 λ′은 최소 성공 전송 확률이며, ρ(A)는 시스템 행렬의 스펙트럴 반경이다.
• 최적 재전송 정책이 스위칭 구조를 가짐을 증명하였다—최적 행동은 재전송 횟수와 추정 품질의 임계값에 따라 달라진다.
• 수치적 평가에서 제안된 부분 최적 정책가 기존 비-HARQ 정책보다 뚜렷한 성능 향상을 달성하였다.
• 유도된 충분조건 하에서 기대 제1도달 비용과 시간이 유한함을 보였으며, 이는 시스템 안정성을 보장한다.
• 구조적 증명은 MDP 프레임워크 내에서 슈퍼加성 및 단조성 조건를 검증하여 정책의 최적성 구조를 확인한다.