[論文レビュー] Real-Time Remote Estimation with Hybrid ARQ in Wireless Networked Control

Kang Huang, Wanchun Liu+3 more|arXiv (Cornell University)|Mar 28, 2019

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プロトコルを導入する。
• 長期的MSEが有界であることを保証するための十分条件を、チャネルの信頼性とシステムダイナミクスを含む形で導出する。
• 最適方策がスイッチング構造を有することを証明し、しきい値に基づく低複雑度の準最適方策の構築を可能にする。
• 最初の通過コスト解析と行列幾何的手法を用いて、推定誤差プロセスの安定性と有界性を確立する。
• 幾何級数と固有値半径の不等式を適用し、導出された条件のもとで期待コストの収束性と有限性を証明する。

実験結果

リサーチクエスチョン

• RQ1 HARQに基づく遠隔推定において、長期的MSEが有界であることを保証する、定常的かつ決定的な最適送信方策が存在する十分条件は何か？
• RQ2 時間相関を持つシステムにおいて、最適方策は再送による信頼性と新規測定値による新鮮さの間でどのようにバランスを取るか？
• RQ3 最適方策はどのような構造的性質を示し、それらは低複雑度の準最適方策の設計にどのように活用できるか？
• RQ4 リアルタイム制御システムにおいて、HARQは従来の非HARQプロトコルに比べて推定性能をどのように向上させるか？
• RQ5 チャネル品質とシステムダイナミクスは、遠隔推定システムの安定性と性能にどのような影響を与えるか？

主な発見

• システム行列の固有値半径とチャネル信頼性が満たすべき結合不等式を満たすことで、安定で定常的かつ決定的な最適方策の存在が保証される十分条件が導出された。
• 最適送信方策が推定誤差と再送回数のしきい値に依存するスイッチング構造を有することを証明した。
• スイッチング構造に基づく低複雑度の準最適方策が提案され、実装が可能になった。
• 数値結果により、提案されたHARQに基づく最適方策が、非HARQ方策に比べて長期的推定MSEを顕著に低減することが示された。
• 低SNRおよび高移動度の状況では、再送が新鮮さをあまり損なわずに信頼性を大幅に向上させるため、性能向上が顕著に現れた。
• 解析により、HARQは推定システムを安定化させ、年齢情報（Age-of-Information）のみでは不十分なミッションクリティカルな応用においても性能を向上させられると確認された。