Observability of autonomous discrete time non-linear systems: a geometric approach

In this paper the observability of autonomous discrete time systems is studied from a purely differential geometric point of view. As with continuous time systems, this approach leads to a local canonical form for an observable system. A proposal for the generalization of an invariant subspace is made.