Characterization of Kalman filter residuals in the presence of mismodeling | IEEE Conference Publication | IEEE Xplore