Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems (Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control)