Proximity Moving Horizon Estimation for Discrete-Time Nonlinear Systems | IEEE Conference Publication | IEEE Xplore