Progressive Bayesian estimation for nonlinear discrete-time systems: the measurement step | IEEE Conference Publication | IEEE Xplore