The analysis step for the Kalman filter in the linear case