Dynamical systems and convolutional codes over finite Abelian groups

Polynomial algebraic techniques have always played a central role in linear systems theory and also in the theory of convolutional codes. We show how such techniques can be generalized to study systems and codes defined over Abelian groups. The systems are considered from the "behavioral" point of view as developed by Willems in the 1980s, and some of our results can be seen as extensions of Willems' results to group systems. We also address a certain number of coding-oriented questions, and we propose concrete methods based on these algebraic techniques for the synthesis of encoders, inverters, and syndrome formers for codes over finite Abelian groups.

[1]  Jan C. Willems,et al.  Models for Dynamics , 1989 .

[2]  Sandro Zampieri,et al.  Difference equations, shift operators and systems over Noetherian factorial domains , 1997 .

[3]  G. Forney,et al.  Minimality and observability of group systems , 1994 .

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

[5]  M. Morf,et al.  New results in 2-D systems theory, part II: 2-D state-space models—Realization and the notions of controllability, observability, and minimality , 1977, Proceedings of the IEEE.

[6]  F. Fagnani.  Shifts on compact and discrete Lie groups:algebraic-topological invariants and classification problems , 1997 .

[7]  G. Forney,et al.  Controllability, observability, and duality in behavioral group systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[8]  Fabio Fagnani.  Some results on the classification of expansive automorphisms of compact abelian groups , 1996 .

[9]  Giuseppe Caire,et al.  Linear block codes over cyclic groups , 1995, IEEE Trans. Inf. Theory.

[10]  E. W. Kamen,et al.  Linear Systems Over Rings: From R. E. Kalman to the Present , 1991 .

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

[12]  Bruce Kitchens,et al.  Expansive dynamics on zero-dimensional groups , 1987, Ergodic Theory and Dynamical Systems.

[13]  Jan C. Willems,et al.  From time series to linear system - Part I. Finite dimensional linear time invariant systems , 1986, Autom..

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

[15]  Hans-Andrea Loeliger,et al.  Convolutional codes over groups , 1996, IEEE Trans. Inf. Theory.

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

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

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

[19]  G. David Forney,et al.  Geometrically uniform codes , 1991, IEEE Trans. Inf. Theory.

[20]  Mitchell D. Trott,et al.  The dynamics of group codes: State spaces, trellis diagrams, and canonical encoders , 1993, IEEE Trans. Inf. Theory.