M. Fnadi and A. Rauh, “Exponential State Enclosure Techniques for the Implementation of Validated Model Predictive Control”, Acta Cybern, Mar. 2024.