Convergence analysis of the extended Kalman filter as an observer for nonlinear discrete-time systems | IEEE Conference Publication | IEEE Xplore