Canonical observer forms for multi-output systems up to coordinate and output transformations in discrete time

In the present paper the problem of equivalence under coordinate changes and output transformations to observer canonical forms is addressed in discrete time for multi-output systems. Necessary and sufficient conditions are given for local equivalence to this form which yields a straightforward observer design with linear error dynamics.