Stabilizing receding horizon control of nonlinear systems: a control Lyapunov function approach | IEEE Conference Publication | IEEE Xplore