New convergence conditions for receding-horizon state estimation of nonlinear discrete-time systems | IEEE Conference Publication | IEEE Xplore