Characterization of Kalman filter residuals in the presence of mismodeling | IEEE Journals & Magazine | IEEE Xplore