Robust Kalman filtering for uncertain discrete-time systems | Synapse