Stability proof for computationally efficient predictive control in the uncertain case | IEEE Conference Publication | IEEE Xplore