Fundamental limits in Gaussian channels with feedback: confluence of communication, estimation, and control

The emerging study of integrating information theory and control systems theory has at­ tracted considerable attention by researchers, mainly motivated by the problems of control under communication constraints, feedback communication, and networked systems. Since in most problems, estimation interacts with communication and control in various ways and can­ not be studied isolatedly, it is natural to investigate systems from the perspective of unifying communication, estimation, and control. This thesis is the first work to advocate such a perspective. To make matters concrete, we focus on communication systems over Gaussian channels with feedback. For some of these channels, their fundamental limits for communication have been studied using information theoretic methods and control-oriented methods but remain open after several decades of research. In this thesis, we address the problems of identifying and achieving the fundamental limits for these Gaussian channels with feedback by applying the unifying perspective. We establish a general equivalence among feedback communication, estimation, and feed­ back stabilization over the same Gaussian channels. As a consequence, we see that the infor­ mation transmission (communication), information processing (estimation), and information utilization (control), seemingly different and usually separately treated, are in fact three sides of the same entity. We then reveal that the fundamental limitations in feedback communica­ tion, estimation, and control coincide: The achievable communication rates in the feedback communication problems can be alternatively given by the decay rates of the Cramer-Rao bounds (CRB) in the associated estimation problems or by the Bode sensitivity integrals in the associated control problems. Utilizing the general equivalence, we design optimal feed­ back communication schemes based on the celebrated Kalman filtering algorithm; these are the first deterministic, optimal feedback communication schemes for these channels (except for the degenerated AWGN case). These schemes also extend the Schalkwijk-Kailath (SK) coding scheme and inherit its useful features, such as reduced coding complexity and improved perfor­ mance. Though for different types of channels, these generalizations are along different lines, they all admit a common interpretation in terms of Kalman filtering of appropriate forms. Thus, we consider that Kalman filtering, the estimation side, acts like the unifier for various problems. In addition, we show the optimality of the Kalman filtering in the sense of information transmission, a supplement to the optimality of Kalman filtering in the sense of information processing proposed by Mitter and Newton. We also obtain a new formula connecting the mutual information in the feedback communication system and the minimum mean-squared error (MMSE) in the associated estimation problem, a supplement to a fundamental relation between mutual information and MMSE proposed by Guo, Shamai, and Verdu. To summarize, this thesis demonstrates that the new perspective plays a significant role in gaining new insights and new results in studying Gaussian feedback communication problems. We anticipate that the perspective and the approaches developed in this thesis could be ex­ tended to more general scenarios and helpful in building a theoretically and practically sound paradigm that unifies information, estimation, and control.

[1]  E. Feron,et al.  Robust hybrid control for autonomous vehicle motion planning , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[2]  Ali H. Sayed,et al.  Linear Estimation (Information and System Sciences Series) , 2000 .

[3]  Shlomo Shamai,et al.  On the achievable throughput of a multiantenna Gaussian broadcast channel , 2003, IEEE Transactions on Information Theory.

[4]  G. Baliga,et al.  Issues in the convergence of control with communication and computing: proliferation, architecture, design, services, and middleware , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[5]  Bandu N. Pamadi,et al.  Linear Systems, Theory, and Design: A Brief Review , 2004 .

[6]  Jialing Liu,et al.  Capacity-achieving feedback scheme for flat fading channels with channel state information , 2004, Proceedings of the 2004 American Control Conference.

[7]  Joseph A. O'Sullivan,et al.  Information-theoretic analysis of information hiding , 2003, IEEE Trans. Inf. Theory.

[8]  R. Gray Entropy and Information Theory , 1990, Springer New York.

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

[10]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[11]  Shlomo Shamai,et al.  Capacity and lattice strategies for canceling known interference , 2005, IEEE Transactions on Information Theory.

[12]  Emre Telatar,et al.  Capacity of Multi-antenna Gaussian Channels , 1999, Eur. Trans. Telecommun..

[13]  N. Elia,et al.  Limitations of linear remote control over packet drop networks , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[14]  Panganamala Ramana Kumar,et al.  The Convergence of Control, Communication, and Computation , 2003, PWC.

[15]  Xiaoming Hu,et al.  A hybrid control approach to action coordination for mobile robots , 1999, Autom..

[16]  Nicola Elia,et al.  Achieving the Stationary Feedback Capacity for Gaussian Channels , 2005 .

[17]  G. David Forney,et al.  On the role of MMSE estimation in approaching the information-theoretic limits of linear Gaussian channels: Shannon meets Wiener , 2004, ArXiv.

[18]  Jan C. Willems,et al.  Introduction to Mathematical Systems Theory. A Behavioral , 2002 .

[19]  Anant Sahai,et al.  Anytime communication over the Gilbert-Eliot channel with noiseless feedback , 2005, Proceedings. International Symposium on Information Theory, 2005. ISIT 2005..

[20]  Wing Shing Wong,et al.  Systems with finite communication bandwidth constraints. II. Stabilization with limited information feedback , 1999, IEEE Trans. Autom. Control..

[21]  Gerhard Kramer,et al.  Feedback strategies for white Gaussian interference networks , 2002, IEEE Trans. Inf. Theory.

[22]  X. Jin Factor graphs and the Sum-Product Algorithm , 2002 .

[23]  J. Pieter M. Schalkwijk,et al.  A coding scheme for additive noise channels with feedback-II: Band-limited signals , 1966, IEEE Trans. Inf. Theory.

[24]  Aaron D. Wyner,et al.  Channels with Side Information at the Transmitter , 1993 .

[25]  Duncan J. Watts,et al.  Collective dynamics of ‘small-world’ networks , 1998, Nature.

[26]  Shunsuke Ihara,et al.  Capacity of discrete time Gaussian channel with and without feedback, II , 1988 .

[27]  Michael Horstein,et al.  Sequential transmission using noiseless feedback , 1963, IEEE Trans. Inf. Theory.

[28]  V. Borkar,et al.  LQG Control with Communication Constraints , 1997 .

[29]  Joy A. Thomas,et al.  Feedback can at most double Gaussian multiple access channel capacity , 1987, IEEE Trans. Inf. Theory.

[30]  Anthony Ephremides,et al.  Information Theory and Communication Networks: An Unconsummated Union , 1998, IEEE Trans. Inf. Theory.

[31]  Sekhar Tatikonda,et al.  Feedback capacity of finite-state machine channels , 2005, IEEE Transactions on Information Theory.

[32]  J. Schalkwijk,et al.  Center-of-gravity information feedback , 1968, IEEE Trans. Inf. Theory.

[33]  Stephan ten Brink,et al.  A close-to-capacity dirty paper coding scheme , 2004, ISIT.

[34]  Thomas Kailath,et al.  A coding scheme for additive noise channels with feedback-I: No bandwidth constraint , 1966, IEEE Trans. Inf. Theory.

[35]  A. Willsky,et al.  Signals and Systems , 2004 .

[36]  Harry L. Van Trees,et al.  Detection, Estimation, and Modulation Theory, Part I , 1968 .

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

[38]  Nicola Elia,et al.  When bode meets shannon: control-oriented feedback communication schemes , 2004, IEEE Transactions on Automatic Control.

[39]  Nigel J. Newton,et al.  Information and Entropy Flow in the Kalman–Bucy Filter , 2005 .

[40]  Bruno O. Shubert,et al.  Random variables and stochastic processes , 1979 .

[41]  Kenjiro Yanagi,et al.  Necessary and sufficient condition for capacity of the discrete time Gaussian channel to be increased by feedback , 1992, IEEE Trans. Inf. Theory.

[42]  S. Sahai,et al.  The necessity and sufficiency of anytime capacity for control over a noisy communication link , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[43]  Steven Kay,et al.  Fundamentals Of Statistical Signal Processing , 2001 .

[44]  Bruno Sinopoli,et al.  Estimation and Control over Lossy Networks , 2005 .

[45]  T. Cover,et al.  Writing on colored paper , 2001, Proceedings. 2001 IEEE International Symposium on Information Theory (IEEE Cat. No.01CH37252).

[46]  Sekhar Tatikonda,et al.  On the Feedback Capacity of Power-Constrained Gaussian Noise Channels With Memory , 2007, IEEE Transactions on Information Theory.

[47]  E. Ordentlich,et al.  A class of optimal coding schemes for moving average additive Gaussian noise channels with feedback , 1994, Proceedings of 1994 IEEE International Symposium on Information Theory.

[48]  Claude E. Shannon,et al.  The zero error capacity of a noisy channel , 1956, IRE Trans. Inf. Theory.

[49]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[50]  Nicola Elia COARSEST QUANTIZER DENSITY FOR QUADRATIC STABILIZATION OF TWO-INPUT LINEAR SYSTEMS , 2002 .

[51]  Bruce A. Francis,et al.  Stabilizing a linear system by switching control with dwell time , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[52]  D. Liberzon STABILIZATION BY QUANTIZED STATE OR OUTPUT FEEDBACK: A HYBRID CONTROL APPROACH , 2002 .

[53]  R. Evans,et al.  State estimation via a capacity-limited communication channel , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[54]  Lawrence H. Ozarow,et al.  Random coding for additive Gaussian channels with feedback , 1990, IEEE Trans. Inf. Theory.

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

[56]  Stanley A. Butman,et al.  A general formulation of linear feedback communication systems with solutions , 1969, IEEE Trans. Inf. Theory.

[57]  Shlomo Shamai,et al.  On the capacity of some channels with channel state information , 1999, IEEE Trans. Inf. Theory.

[58]  Meir Feder,et al.  On a capacity achieving scheme for the colored Gaussian channel with feedback , 2004, International Symposium onInformation Theory, 2004. ISIT 2004. Proceedings..

[59]  Lawrence H. Ozarow,et al.  An achievable region and outer bound for the Gaussian broadcast channel with feedback , 1984, IEEE Trans. Inf. Theory.

[60]  Sekhar Tatikonda,et al.  Control over noisy channels , 2004, IEEE Transactions on Automatic Control.

[61]  Munther A. Dahleh,et al.  Feedback Control in the Presence of Noisy Channels: “Bode-Like” Fundamental Limitations of Performance , 2008, IEEE Transactions on Automatic Control.

[62]  Pravin Varaiya,et al.  Capacity of fading channels with channel side information , 1997, IEEE Trans. Inf. Theory.

[63]  Thierry E. Klein,et al.  Capacity of Gaussian noise channels with side information and feedback , 2001 .

[64]  Aaron D. Wyner,et al.  On the Schalkwijk-Kailath coding scheme with a peak energy constraint , 1968, IEEE Trans. Inf. Theory.

[65]  M. Fragoso,et al.  Stability Results for Discrete-Time Linear Systems with Markovian Jumping Parameters , 1993 .

[66]  J. Wolfowitz Signalling over a Gaussian channel with feedback and autoregressive noise , 1975 .

[67]  Sekhar Tatikonda,et al.  Control under communication constraints , 2004, IEEE Transactions on Automatic Control.

[68]  Amos Lapidoth,et al.  The Gaussian watermarking game , 2000, IEEE Trans. Inf. Theory.

[69]  Lawrence H. Ozarow,et al.  The capacity of the white Gaussian multiple access channel with feedback , 1984, IEEE Trans. Inf. Theory.

[70]  Daniel Liberzon,et al.  Nonlinear feedback systems perturbed by noise: steady-state probability distributions and optimal control , 2000, IEEE Trans. Autom. Control..

[71]  Richard M. Murray,et al.  INFORMATION FLOW AND COOPERATIVE CONTROL OF VEHICLE FORMATIONS , 2002 .

[72]  P. Varaiya,et al.  Capacity, mutual information, and coding for finite-state Markov channels , 1994, Proceedings of 1994 IEEE International Symposium on Information Theory.

[73]  Luc Moreau,et al.  Stability of multiagent systems with time-dependent communication links , 2005, IEEE Transactions on Automatic Control.

[74]  Y. Tipsuwan,et al.  Network-based control systems: a tutorial , 2001, IECON'01. 27th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.37243).

[75]  R. L. Dobrushin,et al.  Information Transmission in a Channel with Feedback , 1958 .

[76]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[77]  Nicola Elia,et al.  Phase Transitions on Fixed Connected Graphs and Random Graphs in the Presence of Noise , 2005, CDC 2005.

[78]  Shlomo Shamai,et al.  Mutual information and minimum mean-square error in Gaussian channels , 2004, IEEE Transactions on Information Theory.

[79]  Lawrence H. Ozarow,et al.  Upper bounds on the capacity of Gaussian channels with feedback , 1990, IEEE Trans. Inf. Theory.

[80]  Jan Lunze,et al.  Diagnosis of quantized systems based on a timed discrete-event model , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[81]  M. Dahleh,et al.  Control of Uncertain Systems: A Linear Programming Approach , 1995 .

[82]  F. Fagnani,et al.  Stability analysis and synthesis for scalar linear systems with a quantized feedback , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[83]  Anant Sahai,et al.  Anytime information theory , 2001 .

[84]  S. Butman Linear feedback rate bounds for regressive channels , 1976 .

[85]  A. Patriciu,et al.  Abstract , 2001, Veterinary Record.

[86]  D. Delchamps Stabilizing a linear system with quantized state feedback , 1990 .

[87]  G. Kramer,et al.  Capacity results for the discrete memoryless network , 1999, Proceedings of the 1999 IEEE Information Theory and Communications Workshop (Cat. No. 99EX253).

[88]  Daniel Liberzon,et al.  Quantized feedback stabilization of linear systems , 2000, IEEE Trans. Autom. Control..

[89]  Huibert Kwakernaak,et al.  Linear Optimal Control Systems , 1972 .

[90]  Nicola Elia Feedback stabilization in the presence of fading channels , 2003, Proceedings of the 2003 American Control Conference, 2003..

[91]  R. Evans,et al.  Communication-limited stabilization of linear systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[92]  R. Gallager Information Theory and Reliable Communication , 1968 .

[93]  W. Brockett,et al.  Minimum attention control , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[94]  A. Chandrakasan,et al.  Energy-efficient DSPs for wireless sensor networks , 2002, IEEE Signal Process. Mag..

[95]  Nicola Elia,et al.  Linear remote stabilization over packet drop networks with ACK losses , 2005 .

[96]  R. Brockett,et al.  Systems with finite communication bandwidth constraints. I. State estimation problems , 1997, IEEE Trans. Autom. Control..

[97]  J. Massey,et al.  Codes, automata, and continuous systems: Explicit interconnections , 1967, IEEE Transactions on Automatic Control.

[98]  Andrey V. Savkin,et al.  Recursive state estimation via limited capacity communication channels , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[99]  Robin J. Evans,et al.  Topological feedback entropy and Nonlinear stabilization , 2004, IEEE Transactions on Automatic Control.

[100]  S. Kay Fundamentals of statistical signal processing: estimation theory , 1993 .

[101]  John M. Cioffi,et al.  Delay-constrained capacity with causal feedback , 2002, IEEE Trans. Inf. Theory.

[102]  G. Pólya,et al.  Problems and theorems in analysis , 1983 .

[103]  S. Mitter The Capacity of Channels with Feedback Part I: The General Case , 2001 .

[104]  Giovanni Luca Maglione,et al.  Abstract , 1998, Veterinary Record.

[105]  Nicola Elia,et al.  Quantized Stabilization of Single-input Nonlinear Affine Systems , .

[106]  Thomas M. Cover,et al.  Gaussian feedback capacity , 1989, IEEE Trans. Inf. Theory.

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

[108]  Harish Viswanathan Capacity of Markov Channels with Receiver CSI and Delayed Feedback , 1999, IEEE Trans. Inf. Theory.

[109]  Kyle A. Gallivan,et al.  Singular Riccati equations stabilizing large-scale systems , 2006 .

[110]  N. Elia,et al.  Quantized feedback stabilization of non-linear affine systems , 2004 .

[111]  Nigel J. Newton,et al.  An Information Theoretic View of Estimation , 2001 .

[112]  Max H. M. Costa,et al.  Writing on dirty paper , 1983, IEEE Trans. Inf. Theory.

[113]  John G. Proakis,et al.  Probability, random variables and stochastic processes , 1985, IEEE Trans. Acoust. Speech Signal Process..

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

[115]  J. Pieter M. Schalkwijk,et al.  An upper bound to the capacity of the band-limited Gaussian autoregressive channel with noiseless feedback , 1974, IEEE Trans. Inf. Theory.

[116]  J. Shamma,et al.  Belief consensus and distributed hypothesis testing in sensor networks , 2006 .

[117]  Andrea J. Goldsmith,et al.  Cross-layer Design of Distributed Control over Wireless Networks , 2004 .

[118]  William Equitz,et al.  Successive refinement of information , 1991, IEEE Trans. Inf. Theory.

[119]  N. Elia Design of hybrid systems with guaranteed performance , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[120]  Edward A. Ratzer Low-density parity-check codes on Markov channels , 2002 .

[121]  Jim K. Omura,et al.  Optimum linear transmission of analog data for channels with feedback , 1968, IEEE Trans. Inf. Theory.

[122]  A. Lapidoth,et al.  Generalized writing on dirty paper , 2002, Proceedings IEEE International Symposium on Information Theory,.

[123]  Frans M. J. Willems Signaling for the Gaussian channel with side information at the transmitter , 2000, 2000 IEEE International Symposium on Information Theory (Cat. No.00CH37060).