{"title":"Transmit or Retransmit: A Tradeoff in Networked Control of Dynamical Processes Over Lossy Channels With Ideal Feedback","authors":"Touraj Soleymani;John S. Baras;Deniz Gündüz","doi":"10.1109/TIT.2024.3452976","DOIUrl":null,"url":null,"abstract":"We study networked control of a dynamical process over a lossy channel with a hybrid automatic repeat request protocol that connects a sensor to an actuator. The dynamical process is modeled by a Gauss-Markov process, and the lossy channel by a packet-erasure channel with ideal feedback. We suppose that data is communicated in the format of packets with negligible quantization error. In such a networked control system, whenever a packet loss occurs, there exists a tradeoff between transmitting new sensory information with a lower success probability and retransmitting previously failed sensory information with a higher success probability. In essence, an inherent tradeoff between freshness and reliability. To address this tradeoff, we consider a linear-quadratic-regulator performance index, which penalizes state deviations and control efforts over a finite horizon, and jointly design optimal encoding and decoding policies for the encoder and the decoder, which are collocated with the sensor and the actuator, respectively. Our emphasis here lies specifically on designing switching and control policies, rather than error-correcting codes. We show that the optimal encoding policy is a threshold switching policy and the optimal decoding policy is a certainty-equivalent control policy. In addition, we determine the equations that the encoder and the decoder need to solve in order to implement the optimal policies. More specifically, we show that the encoder must solve the Kalman filtering equations, a mismatch linear equation, and a Bellman optimality equation, while the decoder must solve a linear filtering equation and an algebraic Riccati equation.","PeriodicalId":13494,"journal":{"name":"IEEE Transactions on Information Theory","volume":"70 11","pages":"7853-7866"},"PeriodicalIF":2.2000,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Information Theory","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10662943/","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
Abstract
We study networked control of a dynamical process over a lossy channel with a hybrid automatic repeat request protocol that connects a sensor to an actuator. The dynamical process is modeled by a Gauss-Markov process, and the lossy channel by a packet-erasure channel with ideal feedback. We suppose that data is communicated in the format of packets with negligible quantization error. In such a networked control system, whenever a packet loss occurs, there exists a tradeoff between transmitting new sensory information with a lower success probability and retransmitting previously failed sensory information with a higher success probability. In essence, an inherent tradeoff between freshness and reliability. To address this tradeoff, we consider a linear-quadratic-regulator performance index, which penalizes state deviations and control efforts over a finite horizon, and jointly design optimal encoding and decoding policies for the encoder and the decoder, which are collocated with the sensor and the actuator, respectively. Our emphasis here lies specifically on designing switching and control policies, rather than error-correcting codes. We show that the optimal encoding policy is a threshold switching policy and the optimal decoding policy is a certainty-equivalent control policy. In addition, we determine the equations that the encoder and the decoder need to solve in order to implement the optimal policies. More specifically, we show that the encoder must solve the Kalman filtering equations, a mismatch linear equation, and a Bellman optimality equation, while the decoder must solve a linear filtering equation and an algebraic Riccati equation.
期刊介绍:
The IEEE Transactions on Information Theory is a journal that publishes theoretical and experimental papers concerned with the transmission, processing, and utilization of information. The boundaries of acceptable subject matter are intentionally not sharply delimited. Rather, it is hoped that as the focus of research activity changes, a flexible policy will permit this Transactions to follow suit. Current appropriate topics are best reflected by recent Tables of Contents; they are summarized in the titles of editorial areas that appear on the inside front cover.