Equivalence conditions for behaviors and the Kronecker canonical form

In this paper we explore equivalence conditions and invariants for behaviors given in kernel representations. In case the kernel representation is given in terms of a linear matrix pencil, the invariants for strict equivalence are given by the Kronecker canonical form which, in turn, we interpret in geometric control terms. If the behavior is given in a kernel representation by a higher order rectangular polynomial matrix, the natural equivalence concept is behavior equivalence. These notions are closely related to the Morse group that incorporates state space similarity transformations, state feedback, and output injection. A simple canonical form for behavioral equivalence is given that clearly exhibits the reachable and autonomous parts of the behavior. Using polynomial models we also present a unified approach to pencil equivalence that elucidates the close connections between classification problems from linear algebra, geometric control theory, and behavior theory. We also indicate how to derive the invariants under behavior equivalence from the Kronecker invariants.

[1]  Sandro Zampieri,et al.  Classification problems for shifts on modules over a principal ideal domain , 1997 .

[2]  J. Schumacher,et al.  A nine-fold canonical decomposition for linear systems , 1984 .

[3]  P. Fuhrmann.  A study of behaviors , 2002 .

[4]  A. Pugh,et al.  Equivalence of AR-Representations in the Light of the Impulsive-Smooth Behavior , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.

[5]  P. Fuhrmann.  Duality in polynomial models with some applications to geometric control theory : (preprint) , 1981 .

[6]  Maria Elena Valcher,et al.  Behavior decompositions and two-sided diophantine equations , 2001, Autom..

[7]  Pavol Brunovský,et al.  A classification of linear controllable systems , 1970, Kybernetika.

[8]  F. R. Gantmakher.  The Theory of Matrices , 1984 .

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

[10]  P. Fuhrmann.  A Polynomial Approach to Linear Algebra , 1996 .

[11]  J. Willems,et al.  State Maps for Linear Systems , 1997 .

[12]  P. Fuhrmann.  Linear feedback via polynomial models , 1979 .

[13]  A. Pugh,et al.  A fundamental notion of equivalence for linear multivariable systems , 1994, IEEE Trans. Autom. Control..

[14]  J. Willems.  Paradigms and puzzles in the theory of dynamical systems , 1991 .

[15]  P. Fuhrmann.  Autonomous subbehaviours and output nulling subspaces , 2005 .

[16]  W. M. Wonham,et al.  Linear Multivariable Control , 1979 .

[17]  Yutaka Yamamoto,et al.  On the state of behaviors , 2007 .

[18]  R. Kaiman.  KRONECKER INVARIANTS AND FEEDBACK , 1972 .

[19]  P. Fuhrmann.  Algebraic system theory: an analyst's point of view , 1976 .

[20]  J. Willems,et al.  Factorization indices at infinity for rational matrix functions , 1979 .

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

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

[23]  Jan C. Willems,et al.  From time series to linear system - Part III: Approximate modelling , 1987, Autom..

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

[25]  Paul A. Fuhrmann.  A note on continuous behavior homomorphisms , 2003, Syst. Control. Lett..

[26]  A. Morse.  Structural Invariants of Linear Multivariable Systems , 1973 .

[27]  U. Helmke,et al.  Unimodular Equivalence of Polynomial Matrices , 2010 .