H∞-property of the discrete-time extended Kalman filter with uncertain measurements | IEEE Conference Publication | IEEE Xplore