Algebraic Structure of Convolutional Codes, and Algebraic System Theory

This paper is a review of the algebraic theory of convolutional codes through the focus of the author’s 1970 paper [F1], including its origins in the work of Kalman et al. and of Massey and Sain. This paper grew out of and in turn influenced the development of algebraic system theory, primarily through the author’s 1975 paper [F3], as is indicated by a synopsis of relevant parts of Kailath’s text and by a citation index of [F3]. The paper includes a summary exposition of the contents of [F1], [F3], and a less-known intermediate paper [F2], as well as a brief introduction to subsequent work in convolutional coding theory citing [F1], particularly that of Piret.

[1]  Erik Paaske,et al.  Short binary convolutional codes with maximal free distance for rates 2/3 and 3/4 (Corresp.) , 1974, IEEE Trans. Inf. Theory.

[2]  Michael Heymann.  Structure and realization problems in the theory of dynamical systems , 1975 .

[3]  R. Kálmán.  Irreducible realizations and the degree of a rational matrix. , 1965 .

[4]  Philippe Piret,et al.  Convolutional Codes: An Algebraic Approach , 1988 .

[5]  Shu Lin,et al.  Error control coding : fundamentals and applications , 1983 .

[6]  M. Morf.  Fast Algorithms for Multivariable Systems , 1974 .

[7]  H. Rosenbrock,et al.  State-space and multivariable theory, , 1970 .

[8]  Peter Elias,et al.  Error-free Coding , 1954, Trans. IRE Prof. Group Inf. Theory.

[9]  Thomas Kailath,et al.  Linear Systems , 1980 .

[10]  Elwyn R. Berlekamp,et al.  Algebraic coding theory , 1984, McGraw-Hill series in systems science.

[11]  G. David Forney,et al.  Convolutional codes I: Algebraic structure , 1970, IEEE Trans. Inf. Theory.

[12]  Gottfried Ungerboeck,et al.  Channel coding with multilevel/phase signals , 1982, IEEE Trans. Inf. Theory.

[13]  W. Wolovich.  Linear multivariable systems , 1974 .

[14]  G. David Forney.  Trellis shaping , 1992, IEEE Trans. Inf. Theory.

[15]  Thomas J. Shusta.  Enumeration of minimal convolutional encoders (Corresp.) , 1977, IEEE Trans. Inf. Theory.

[16]  C. C. Macduffee,et al.  The Theory of Matrices , 1933 .

[17]  Joel H. Ferziger,et al.  Systems of singular integral equations , 1967 .

[18]  David Q. Mayne.  The design of linear multivariable systems , 1973 .

[19]  James L. Massey,et al.  Inverses of Linear Sequential Circuits , 1968, IEEE Transactions on Computers.

[20]  H. W. Turnbull,et al.  Lectures on Matrices , 1934 .

[21]  Ian F. Blake,et al.  The mathematical theory of coding , 1975 .

[22]  Raymond R. Olson.  Note on Feedforward Inverses for Linear Sequential Circuits , 1970, IEEE Transactions on Computers.

[23]  Daniel J. Costello,et al.  Polynomial weights and code constructions , 1973, IEEE Trans. Inf. Theory.

[24]  J. H. van Lint,et al.  Coding theory : Introduction (to special issue) , 1988 .

[25]  W. W. Peterson,et al.  Error-Correcting Codes. , 1962 .

[26]  K. A. Post,et al.  Syndrome decoding of binary-rate k/n convolutional codes , 1978, IEEE Trans. Inf. Theory.

[27]  Jørn Justesen,et al.  New convolutional code constructions and a class of asymptotically good time-varying codes , 1973, IEEE Trans. Inf. Theory.

[28]  W. Wolovich.  The determination of state-space representations for linear multivariable systems , 1973 .

[29]  Jørn Justesen,et al.  An algebraic construction of rate 1/v -ary codes; algebraic construction (Corresp.) , 1975, IEEE Trans. Inf. Theory.

[30]  C. Curtis,et al.  Representation theory of finite groups and associated algebras , 1962 .

[31]  T. Hawkes,et al.  Rings, Modules and Linear Algebra. , 1972 .

[32]  R. Blahut.  Theory and practice of error control codes , 1983 .

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

[34]  I. S. Reed,et al.  New syndrome decoding techniques for the (n,k) convolutional codes , 1984 .

[35]  Jacobus H. van Lint,et al.  Introduction to Coding Theory , 1982 .

[36]  G. David Forney,et al.  Structural analysis of convolutional codes via dual codes , 1973, IEEE Trans. Inf. Theory.

[37]  J. Schalkwijk,et al.  Syndrome Decoding of Binary Rate-1/2 Convolutional Codes , 1976, IEEE Trans. Commun..

[38]  A. F. Monna,et al.  Analyse non-archimédienne , 1970 .

[39]  Jr. G. Forney,et al.  Minimal Bases of Rational Vector Spaces, with Applications to Multivariable Linear Systems , 1975 .

[40]  Peter Lancaster,et al.  The theory of matrices , 1969 .

[41]  V. Belevitch,et al.  Classical network theory , 1968 .

[42]  Thomas Kailath,et al.  Rational matrix structure , 1979, 1979 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[43]  Trieu-Kien Truong,et al.  New syndrome decoder for (n,1) convolutional codes , 1983 .

[44]  I. Herstein,et al.  Topics in algebra , 1964 .

[45]  V. Popov.  Some properties of the control systems with irreducible matrix — Transfer functions , 1970 .

[46]  D. J. Costello.  Construction of convolutional codes for sequential decoding , 1969 .

[47]  Robert J. McEliece,et al.  The Theory of Information and Coding , 1979 .

[48]  Thomas Kailath,et al.  Fast and stable algorithms for minimal design problems , 1977 .

[49]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[50]  Andrew J. Viterbi,et al.  Error bounds for convolutional codes and an asymptotically optimum decoding algorithm , 1967, IEEE Trans. Inf. Theory.