On the genericity of the observability of controlled discrete-time systems

In this paper, we prove the genericity of the observability for discrete-time systems with more outputs than inputs.