Kalman Filtering for Discrete Time Uncertain Systems