On the Semi-Decidability of Remote State Estimation and Stabilization via Noisy Communication Channels

by   Holger Boche, et al.

We consider the task of remote state estimation and stabilization of disturbed linear plants via noisy communication channels. In 2007 Matveev and Savkin established a surprising link between this problem and Shannon's theory of zero-error communication. By applying very recent results of computability of the channel reliability function and computability of the zero-error capacity of noisy channels by Boche and Deppe, we analyze if, on the set of linear time-invariant systems paired with a noisy communication channel, it is uniformly decidable by means of a Turing machine whether remote state estimation and stabilization is possible. The answer to this question largely depends on whether the plant is disturbed by random noise or not. Our analysis incorporates scenarios both with and without channel feedback, as well as a weakened form of state estimation and stabilization. In the broadest sense, our results yield a fundamental limit to the capabilities of computer-aided design and autonomous systems, assuming they are based on real-world digital computers.



page 5


On Remote Estimation with Multiple Communication Channels

This paper considers a sequential sensor scheduling and remote estimatio...

Zero-Error Feedback Capacity of Finite-State Additive Noise Channels for Stabilization of Linear Systems

It is known that for a discrete channel with correlated additive noise, ...

Computability of the Zero-Error Capacity of Noisy Channels

Zero-error capacity plays an important role in a whole range of operatio...

Remote State Estimation of Multiple Systems over Multiple Markov Fading Channels

We consider remote state estimation of multiple discrete-time linear tim...

Computability of the Channel Reliability Function and Related Bounds

The channel reliability function is an important tool that characterizes...

Distributed State Estimation with Bounded Errors over Multiple Access Channels

Although state estimation in networked control systems is a fundamental ...

Capacity of Noisy Permutation Channels

We establish the capacity of a class of communication channels introduce...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.