Invertibility of finite state systems†‡
Toshio Nomura · International Journal of Systems Science · 1983
A state-space characterization of invertibility of finite state systems is examined in terms of relational calculus. An algorithm which determines the invertibility of a system is obtained, which is seen to be a generalization of the known result in the framework of linear geometric control. For this purpose two concepts, namely, ‘ contractible relation ’ as a generalization of the (A, B)-invariant subspace and ‘ product system ’, are defined and utilized intensively.