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.