Abstract: This article derives an automated method to obtain models for time-correlated noise that are guaranteed to produce an upper bound on the Kalman filter (KF ...