On the Semidecidability of the Remote State Estimation Problem

• 成果类型: Article
• 署名作者: Boche, Holger; Boeck, Yannik N.; Deppe, Christian
• 署名单位: Technical University of Munich; Technical University of Munich
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3155382
• 发表日期: 2023
• 页码: 1708-1714
• 关键词: Turing machines; State estimation; Hardware; Heuristic algorithms; Design automation; Channel coding; Autonomous systems; computer-aided control design; control over communications; remote state estimation (RSE)

摘要

In this article, we consider the decision problem associated with the task of remotely estimating the state of a dynamic plant via a noisy communication channel. Given a machine-readable description of the plant's and channel's characteristics, does there exist an algorithm that decides whether remote state estimation is possible? From an analytic point of view, this problem has been shown to involve the zero-error capacity of the communication channel. By applying results from Turing machine theory and zero-error coding, we analyze several related variants of the decision problem mentioned above. Our analysis also incorporates a weakened form of the state estimation objective, which has been shown to depend on the classical Shannon Capacity instead. In the broadest sense, our results yield a fundamental limit to the capabilities of computer-aided design tools and adaptive autonomous systems, assuming they are based on digital hardware.