State Estimation Over Delayed and Lossy Channels: An Encoder-Decoder Synthesis

• 成果类型: Article
• 署名作者: Soleymani, Touraj; Baras, John S.; Johansson, Karl H.
• 署名单位: Imperial College London; Royal Institute of Technology; University System of Maryland; University of Maryland College Park
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3308826
• 发表日期: 2024
• 页码: 1568-1583
• 关键词: estimation; Decoding; Optimal scheduling; Channel estimation; Scheduling; Markov processes; SYMBOLS; Causal tradeoffs; linear policies; networked systems; optimal policies; Packet loss; state estimators; team decision-making; threshold policies; time delay

摘要

State estimation over a communication channel, in which sensory information of a stochastic source is transmitted in real-time by an encoder to a decoder that estimates the state of the source, is one of the basic problems in networked control systems. In this article, we investigate the performance of state estimation under two primary network imperfections: packet loss and time delay. To that end, we make a causal frequency-distortion tradeoff that is defined between the packet rate and the mean square error, when the source and the channel are modeled by a partially observable Gauss-Markov process and a fixed-delay packet-erasure channel, under two distinct communication protocols: one with and one without packet-loss detection. We prove the existence of a globally optimal policy profile, and show that this policy profile is composed of a symmetric threshold scheduling policy and a non-Gaussian linear estimation policy, which are used by the encoder and the decoder, respectively. Our structural results assert that the scheduling policy is expressible in terms of 3d-1vari-ables related to the source and the channel, where d is the time delay, and that the estimation policy incorporates no residuals related to signaling. The key finding is that packet-loss detection does not increase the performance of the underlying networked system in the sense of the causal frequency-distortion tradeoff. We prove this by showing that the globally optimal policy profile remains exactly the same under both of the communication protocols.