[论文解读] 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）框架，其中传感器的动作取决于当前估计误差与重传次数。
• 引入一种结合追捕合并（chase combining）的混合ARQ协议，以提高重传分组的成功检测概率。
• 推导出一个充分条件，涉及信道可靠性与系统动态特性，以确保长期MSE有界。
• 证明最优策略具有切换结构，从而可基于阈值设计低复杂度的次优策略。
• 利用首达首次通过成本分析与矩阵几何方法，建立估计误差过程的稳定性和有界性。
• 应用几何级数与谱半径不等式，证明在所推导条件下期望成本的收敛性与有限性。

实验结果

研究问题

• RQ1 在何种条件下，HARQ-based远程估计系统中存在稳定、平稳且确定性的最优传输策略，以确保长期MSE有界？
• RQ2 在时间相关系统中，最优策略如何在通过重传实现的可靠性与通过新测量实现的新鲜性之间实现平衡？
• RQ3 最优策略表现出何种结构特性？这些特性是否可用于设计低复杂度的次优策略？
• RQ4 与传统非HARQ协议相比，HARQ在实时控制系统中如何提升估计性能？
• RQ5 信道质量与系统动态特性对远程估计系统的稳定性与性能有何影响？

主要发现

• 推导出存在稳定、平稳且确定性最优策略的充分条件，要求系统矩阵的谱半径与信道可靠性满足联合不等式。
• 证明最优传输策略具有切换结构，其决策依赖于估计误差与重传次数的阈值。
• 基于切换结构提出一种低复杂度的次优策略，支持实际部署。
• 数值结果表明，所提出的HARQ-based最优策略显著降低了长期估计MSE，优于非HARQ策略。
• 在低信噪比（low-SNR）与高移动性场景下，性能增益最为显著，此时重传提供了关键的可靠性，同时未过度牺牲新鲜性。
• 分析结果证实，即使在仅依赖信息年龄（age-of-information）无法满足需求的任务关键型应用中，HARQ仍能稳定估计系统并提升性能。