Verifiable Conditions for Discrete-Time Multioutput Observer Error Linearizability

In this technical note, we give (unverifiable) necessary and sufficient conditions, which are similar to the ones in the literature, for the discrete-time multioutput observer error linearization problem. Using these, we derive verifiable sufficient conditions. Since our proofs are constructive, a desired state transformation can also be found in the theorem.