Convergence analysis for inexact mechanization of Kalman filtering | IEEE Journals & Magazine | IEEE Xplore