Text this: Kalman Filtering for Discrete Time Uncertain Systems