Observer Construction for Nonlinear Discrete-Time Systems with Inputs | IEEE Conference Publication | IEEE Xplore