A numerical procedure for discrete-time nonlinear stochastic observer design | IEEE Conference Publication | IEEE Xplore