Finite-time guaranteed state estimation for discrete-time systems with disturbances | IEEE Conference Publication | IEEE Xplore