[論文レビュー] To Retransmit or Not: Real-Time Remote Estimation in Wireless Networked Control

Kang Huang, Wanchun Liu+2 more|arXiv (Cornell University)|Feb 21, 2019

Age of Information Optimization参考文献 18被引用数 22

ひとこと要約

本稿は、線形時不変（LTI）システムにおけるハイブリッド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）として遠隔推定システムをモデル化する。
• 1段階のコストを、各送信意思決定後の誤差共分散行列のトレースとして定義し、推定品質を捉える。
• 動的計画法を用いて最適方策を定式化し、再送回数と推定品質に基づくスイッチング構造を示すことを証明する。
• MSEが有界であるための十分条件を導出。これは、チャネル成功確率とシステムダイナミクス（Aのスペクトル半径を介して）を含む。
• スイッチング構造に基づく近似方策を導入し、低複雑度で計算可能である。
• 確率的優位性と超加法性の議論を用いて、最適方策の単調性および構造的性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 HARQベースのリアルタイム遠隔推定システムにおいて、長期的推定MSEがいつ有界に保たれるか。
• RQ2 現在の再送回数と推定品質が与えられたとき、最適なオンライン意思決定方策（再送または新しい測定値の送信）は何か。
• RQ3 最適方策は、システム状態に基づくスイッチング行動などの構造的性質を示すか。
• RQ4 提案されたHARQベース方策は、従来の非HARQ方式と比較してMSE性能でどのように優れているか。

主な発見

• 有界な長期的MSEのための十分条件を導出：(1−λ′)ρ²(A) < 1 であり、λ′は最小成功送信確率、ρ(A)はシステム行列のスペクトル半径である。
• 最適再送方策がスイッチング構造を示すことを証明した—最適行動は再送回数と推定品質のしきい値に依存する。
• 数値評価において、提案された近似方策が従来の非HARQ方式よりも顕著な性能向上を達成した。
• 導出された十分条件のもとで、期待される最初の到達コストと時間が有界であることが保証され、システムの安定性が確保される。
• 構造的証明は、MDPフレームワークにおける超加法性および単調性条件の検証に依拠しており、方策の最適構造を確認する。