A robust extended Kalman filter for discrete-time systems with uncertain dynamics, measurements and correlated noise | IEEE Conference Publication | IEEE Xplore