The Kalman type recursive state estimator with a finite-step correlated process noises | IEEE Conference Publication | IEEE Xplore