H∞-property of the discrete-time extended Kalman filter with stochastic ℓ2 disturbances | IEEE Conference Publication | IEEE Xplore