Reducing the LQG Cost With Minimal Communication

We study the linear quadratic Gaussian (LQG) control problem, in which the controller’s observation of the system state is such that a desired cost is unattainable. To achieve the desired LQG cost, we introduce a communication link from the observer (encoder) to the controller. We investigate the optimal trade-off between the improved LQG cost and the consumed communication (information) resources, measured with the conditional directed information, across all encoding-decoding policies. The main result is a semidefinite programming formulation for that optimization problem in the finite-horizon scenario, which applies to time-varying linear dynamical systems. This result extends a seminal work by Tanaka et al., where the only information the controller knows about the system state arrives via a communication channel, to the scenario where the controller has also access to a noisy observation of the system state. As part of our derivation to show the optimiality of an encoder that transmits a memoryless Gaussian measurement of the state, we show that the presence of the controller’s observations at the encoder can not reduce the minimal directed information. For time-invariant systems, where the optimal policy may be time-varying, we show in the infinite-horizon scenario that the optimal policy is time-invariant and can be computed explicitly from a solution of a finite-dimensional semidefinite programming. The results are demonstrated via examples that show that even low-quality measurements can have a significant impact on the required communication resources.

[1]  Nasir Uddin Ahmed,et al.  Nonanticipative Rate Distortion Function and Relations to Filtering Theory , 2012, IEEE Transactions on Automatic Control.

[2]  Robin J. Evans,et al.  Stabilizability of Stochastic Linear Systems with Finite Feedback Data Rates , 2004, SIAM J. Control. Optim..

[3]  Milan S. Derpich,et al.  A Framework for Control System Design Subject to Average Data-Rate Constraints , 2011, IEEE Transactions on Automatic Control.

[4]  Sekhar Tatikonda,et al.  The Capacity of Channels With Feedback , 2006, IEEE Transactions on Information Theory.

[5]  Sekhar Tatikonda,et al.  Stochastic linear control over a communication channel , 2004, IEEE Transactions on Automatic Control.

[6]  Mikael Skoglund,et al.  LQG control and linear policies for noisy communication links with synchronized side information at the decoder , 2021, Autom..

[7]  Takashi Tanaka,et al.  LQG Control With Minimum Directed Information: Semidefinite Programming Approach , 2015, IEEE Transactions on Automatic Control.

[8]  Milan S. Derpich,et al.  Improved Upper Bounds to the Causal Quadratic Rate-Distortion Function for Gaussian Stationary Sources , 2012, IEEE Transactions on Information Theory.

[9]  Takashi Tanaka,et al.  Semidefinite representation of sequential rate-distortion function for stationary Gauss-Markov processes , 2015, 2015 IEEE Conference on Control Applications (CCA).

[10]  Babak Hassibi,et al.  The Minimal Directed Information Needed to Improve the LQG Cost , 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

[11]  Ertem Tuncel,et al.  Zero-Delay Joint Source-Channel Coding Using Hybrid Digital-Analog Schemes in the Wyner-Ziv Setting , 2014, IEEE Transactions on Communications.

[12]  Andrea J. Goldsmith,et al.  Finite State Channels With Time-Invariant Deterministic Feedback , 2006, IEEE Transactions on Information Theory.

[13]  Babak Hassibi,et al.  Algorithms for optimal control with fixed-rate feedback , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[14]  Yuval Kochman,et al.  Joint Wyner–Ziv/Dirty-Paper Coding by Modulo-Lattice Modulation , 2008, IEEE Transactions on Information Theory.

[15]  J. Massey CAUSALITY, FEEDBACK AND DIRECTED INFORMATION , 1990 .

[16]  Babak Hassibi,et al.  Stabilizing Dynamical Systems with Fixed-Rate Feedback using Constrained Quantizers , 2020, 2020 IEEE International Symposium on Information Theory (ISIT).

[17]  Pablo A. Parrilo,et al.  Semidefinite Programming Approach to Gaussian Sequential Rate-Distortion Trade-Offs , 2014, IEEE Transactions on Automatic Control.

[18]  Roy Fox,et al.  Minimum-information LQG control part I: Memoryless controllers , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[19]  Takashi Tanaka,et al.  Rate of Prefix-free Codes in LQG Control Systems with Side Information , 2021, 2021 55th Annual Conference on Information Sciences and Systems (CISS).

[20]  Yuval Peres,et al.  Exact minimum number of bits to stabilize a linear system , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[21]  Gerhard Kramer,et al.  Directed information for channels with feedback , 1998 .

[22]  Babak Hassibi,et al.  Rate-cost tradeoffs in scalar LQG control and tracking with side information , 2018, 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[23]  Serdar Yüksel,et al.  Stochastic Stabilization of Noisy Linear Systems With Fixed-Rate Limited Feedback , 2010, IEEE Transactions on Automatic Control.

[24]  Alexey S. Matveev,et al.  State estimation via limited capacity noisy communication channels , 2008, Math. Control. Signals Syst..

[25]  Stephen P. Boyd,et al.  Determinant Maximization with Linear Matrix Inequality Constraints , 1998, SIAM J. Matrix Anal. Appl..

[26]  Karl Henrik Johansson,et al.  Rate of prefix-free codes in LQG control systems , 2016, 2016 IEEE International Symposium on Information Theory (ISIT).

[27]  Thomas M. Cover,et al.  Network Information Theory , 2001 .

[28]  Nicola Elia,et al.  Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..

[29]  Andrey V. Savkin,et al.  An Analogue of Shannon Information Theory for Detection and Stabilization via Noisy Discrete Communication Channels , 2007, SIAM J. Control. Optim..

[30]  Anatoly Khina,et al.  Schemes for LQG Control over Gaussian Channels with Side Information , 2020, 2021 XVII International Symposium "Problems of Redundancy in Information and Control Systems" (REDUNDANCY).

[31]  Babak Hassibi,et al.  Rate-cost tradeoffs in control , 2016, 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[32]  Anatoly Khina,et al.  Gauss–Markov Source Tracking with Side Information: Lower Bounds , 2020, 2020 International Symposium on Information Theory and Its Applications (ISITA).

[33]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).