Input-to-state stable MPC for constrained discrete-time nonlinear systems with bounded additive uncertainties | IEEE Conference Publication | IEEE Xplore