Stability of receding horizon Kalman filter in state estimation of linear time-varying systems | IEEE Conference Publication | IEEE Xplore