We treat discrete-time systems in this paper. The purpose of this paper is to establish the relation between the canonical dynamical system, the canonical linear representation system and the canonical affine dynamical system which have the same behaviors.
We have already established the realization theorems of dynamical systems, linear representation systems and affine, dynamical systems; that is, we obtained the definite canonical systems which realize any given input response map
a: U*→Y, and proved that these canonical systems are unique up to isomorphisms in each category.
The linear representation systems are the dynamical systems whose state spaces are the linear representations of concatenation monoid
U*, i. e., LINEAR
U*-MODULES. The class of linear representation systems contains homogenous bilinear systems and
K-∑-automaton as subclasses.
On the other hand, the affine dynamical systems are defined as the dynamical systems whose state spaces are affine representations of
U*, i. e., AFFINE
U*-MODULES. This class containes linear systems and inhomogenous bilinear systems as subclasses.
Linear representation systems and affine dynamical systems are canonical iff they are quasi-reachable and distinguishable.
Canonical linear representation systems and canonical affiine dyndamical systems are not necessarily reachable as dynamical systems, their state spaces are defined to be the linear hulls and the affine hulls of really reachable sets, respectively.
In this paper, we present the procedures to obtain a linear representation system from an affine dynamical system having the same behaviors, and vise versa. Then, we give the necessary and sufficient conditions for the systems obtained by the procedures to be canonical.
The procedure to construct the homogenous bilinear system from a biaffine system having the same behaviors has been already presented in the paper 8). But the homogenous bilinear systems constructed by this procedure are not necessarily canonical. Hence, their existence condition for the realization problem is not correct and we point out an error in the proof of the uniqueness theorem.
Our results establish the definite relation between the canonical homogenous bilinear system and the canonical inhomogenous bilinear system which have the same behaviors.
View full abstract