Progressive Bayesian estimation for nonlinear discrete-time systems:the filter step for scalar measurements and multidimensional states | IEEE Conference Publication | IEEE Xplore