IEEE Transactions on Automatic Control, Vol.61, No.12, 3826-3841, 2016
Linear Time-Invariant Anytime Codes for Control Over Noisy Channels
The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in problems of distributed control and networked control systems. Although the work of Schulman, and Sahai and Mitter over the past two decades, and their development of the notions of "tree codes" and "anytime capacity" respectively, provides the theoretical framework for studying such problems, there has been scant practical progress in this area because explicit constructions of tree codes with efficient encoding and decoding did not exist. To stabilize an unstable plant driven by bounded noise over a noisy channel one often needs real-time encoding and real-time decoding and a reliability which increases exponentially with delay, which is what tree codes guarantee. We propose an ensemble of random causal linear codes with a time invariant structure and show that they are tree codes with probability one. For erasure channels, we show that the average complexity of maximum likelihood decoding is bounded by a constant for all time if the code rate is smaller than the computational cutoff rate. For rates larger than the computational cutoff rate, we present an alternate way to perform maximum likelihood decoding with a complexity that grows linearly with time. We give novel sufficient conditions on the rate and reliability required of the tree codes to stabilize vector plants and argue that they are asymptotically tight.
Keywords:Anytime decoding;control over noisy channels;error correction codes;error exponents;feedback;stability criteria