Robust Finite-Horizon Kalman Filtering for Uncertain Discrete-Time Systems | IEEE Journals & Magazine | IEEE Xplore