基于噪声通信信道的远程状态估计与稳定的半可判定性
最优化与控制
2021-03-29 v1 信息论
math.IT
摘要
我们考虑通过噪声通信信道对受扰动线性对象进行远程状态估计与稳定的任务。2007 年 Matveev 与 Savkin 建立了该问题与香农零误差通信理论之间的惊人联系。通过应用 Boche 与 Deppe 近期关于信道可靠性函数的可计算性以及噪声信道零误差容量的可计算性的结果，我们分析了在由线性时不变系统与噪声通信信道配对组成的集合上，是否可通过图灵机一致地判定远程状态估计与稳定是否可行。该问题的答案在很大程度上取决于对象是否受到随机噪声扰动。我们的分析包含了有信道反馈与无信道反馈的场景，以及一种弱化的状态估计与稳定形式。从最广泛的意义上说，我们的结果给出了基于现实世界数字计算机的计算机辅助设计与自主系统能力的基本限制。
引用
@article{arxiv.2103.14477,
title = {On the Semi-Decidability of Remote State Estimation and Stabilization via Noisy Communication Channels},
author = {Holger Boche and Yannik Böck and Christian Deppe},
journal= {arXiv preprint arXiv:2103.14477},
year = {2021}
}