An exact solution of the time-invariant discrete Kalman filter | IEEE Journals & Magazine | IEEE Xplore