Interval-valued state estimation for linear systems: The tightest estimator and its relaxations. (August 2019)