Report describing robust MPC formulation and its validation