Receding-horizon estimation for noisy nonlinear discrete-time systems | IEEE Conference Publication | IEEE Xplore