Robust MPC Constraint Tightening Theorem