Interval Kalman filter enhanced by positive definite upper bounds