Stochastic stability of the discrete-time extended Kalman filter | IEEE Journals & Magazine | IEEE Xplore