Minimal dimension realization and identifiability of input-output sequences

A necessary and sufficient condition of identifiability of an input-output sequence is given. An algorithm is presented by which a minimal dimension realization from a given input-output sequence can be obtained. A canonical input-output equation is introduced. It is shown that the state equation realization from a canonical input-output equation exists and is unique, up to an isomorphism.