Model predictive control with guarantees for discrete linear stochastic systems subject to additive disturbances with chance constraints | IEEE Conference Publication | IEEE Xplore