Observer design for autonomous discrete-time nonlinear systems

We obtain a necessary and sufficient condition for a discrete-time nonlinear system to be locally state equivalent to the nonlinear observer form. The result looks similar to the continuous counterpart except for the fact that Ad-operation is utilized instead of ad-operation.