A stabilizing receding horizon controller for nonlinear discrete time systems | IEEE Conference Publication | IEEE Xplore