Constrained state estimation for nonlinear discrete-time systems: stability and moving horizon approximations | Synapse