Comparison of guaranteed state estimators for linear time-invariant systems. (August 2021)