Sum-of-Squares methods for controlled invariant sets with applications to model-predictive control. (May 2020)