Convergence analysis of the extended Kalman filter used as an observer for nonlinear deterministic discrete-time systems | IEEE Journals & Magazine | IEEE Xplore