Receding horizon control for a class of discrete-time nonlinear implicit systems | IEEE Conference Publication | IEEE Xplore