On the design of globally optimal communication strategies for real-time noisy communication systems with noisy feedback

A real-time communication system with noisy feedback is considered. The system consists of a Markov source, forward and backward discrete memoryless channels, and a receiver with limited memory. The receiver can send messages to the encoder over the backward noisy channel. The encoding at the encoder and the decoding, the feedback, and the memory update at the receiver must be done in real-time. A distortion metric that does not tolerate delays is given. The objective is to design an optimal real-time communication strategy, i.e., design optimal real-time encoding, decoding, feedback, and memory update strategies to minimize a total expected distortion over a finite horizon. This problem is formulated as a decentralized stochastic optimization problem and a methodology for its sequential decomposition is presented. This results in a set of nested optimality equations that can be used to sequentially determine optimal communication strategies. The methodology exponentially simplifies the search for determining an optimal real-time communication strategy.

[1]  H. Witsenhausen Some Remarks on the Concept of State , 1976 .

[2]  H. Witsenhausen On the structure of real-time source coders , 1979, The Bell System Technical Journal.

[3]  Hans S. Witsenhausen,et al.  A standard form for sequential stochastic control , 1973, Mathematical systems theory.

[4]  Demosthenis Teneketzis,et al.  A Decision Theoretic Framework for Real-Time Communication , 2005, ArXiv.

[5]  Demosthenis Teneketzis,et al.  Fixed Delay Optimal Joint Source-Channel Coding for Finite-Memory Systems , 2006, 2006 IEEE International Symposium on Information Theory.

[6]  Nils R. Sandell,et al.  Control of Finite-State, Finite Memory Stochastic Systems , 1974 .

[7]  Pravin Varaiya,et al.  Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .

[8]  Neri Merhav,et al.  Source coding exponents for zero-delay coding with finite memory , 2003, IEEE Trans. Inf. Theory.

[9]  Demosthenis Teneketzis Communication in decentralized control , 1980 .

[10]  Anant Sahai,et al.  Noisy feedback improves communication reliability , 2006, 2006 IEEE International Symposium on Information Theory.

[11]  Tamás Linder,et al.  A zero-delay sequential scheme for lossy coding of individual sequences , 2001, IEEE Trans. Inf. Theory.

[12]  Tamer Basar,et al.  Simultaneous design of measurement and control strategies for stochastic systems with feedback , 1989, Autom..

[13]  R. Radner,et al.  Economic theory of teams , 1972 .

[14]  Stephen S. Lavenberg Feedback communication using orthogonal signals , 1969, IEEE Trans. Inf. Theory.

[15]  Demosthenis Teneketzis,et al.  On the Structure of Optimal Real-Time Encoders and Decoders in Noisy Communication , 2006, IEEE Transactions on Information Theory.

[16]  Tsachy Weissman,et al.  The Gaussian Channel with Noisy Feedback , 2007, 2007 IEEE International Symposium on Information Theory.

[17]  Tsachy Weissman,et al.  Universal Zero-Delay Joint Source–Channel Coding , 2006, IEEE Transactions on Information Theory.

[18]  Polly S Nichols,et al.  Agreeing to disagree. , 2005, General dentistry.

[19]  John Rust,et al.  Dealing with the Complexity of Economic Calculations , 1996 .

[20]  Demosthenis Teneketzis,et al.  On Globally Optimal Encoding, Decoding, and Memory Update for Noisy Real-Time Communication Systems , 2008 .

[21]  N. THOMAS GAARDER,et al.  On optimal finite-state digital transmission systems , 1982, IEEE Trans. Inf. Theory.

[22]  S. Kauffman,et al.  Dealing with the Complexity of Economic Calculations , 1997 .

[23]  D. Teneketzis,et al.  Optimal Performance of Feedback Control Systems with Limited Communication over Noisy Channels , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[24]  Hans S. Witsenhausen,et al.  The Intrinsic Model for Discrete Stochastic Control: Some Open Problems , 1975 .

[25]  John Rust Using Randomization to Break the Curse of Dimensionality , 1997 .

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

[27]  Adrian Segall,et al.  Stochastic processes in estimation theory , 1976, IEEE Trans. Inf. Theory.

[28]  Tamás Linder,et al.  Efficient adaptive algorithms and minimax bounds for zero-delay lossy source coding , 2004, IEEE Transactions on Signal Processing.

[29]  H. Witsenhausen On Information Structures, Feedback and Causality , 1971 .

[30]  Rangasami L. Kashyap Feedback coding schemes for an additive noise channel with a noisy feedback link , 1968, IEEE Trans. Inf. Theory.

[31]  Tamer Basar,et al.  Optimum design of measurement channels and control policies for linear-quadratic stochastic systems , 1994 .

[32]  Jean C. Walrand,et al.  Optimal causal coding - decoding problems , 1983, IEEE Trans. Inf. Theory.

[33]  Yu-Chi Ho Team decision theory and information structures , 1980, Proceedings of the IEEE.

[34]  H. Witsenhausen Separation of estimation and control for discrete time systems , 1971 .

[35]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[36]  Tsachy Weissman,et al.  On limited-delay lossy coding and filtering of individual sequences , 2002, IEEE Trans. Inf. Theory.