Finite-time mean-square boundedness, H2, and H∞-properties of the discrete-time extended Kalman filter for systems with independent sensor failures | IEEE Conference Publication | IEEE Xplore