Moving-horizon estimation with guaranteed robustness for discrete-time linear systems and measurements subject to outliers