M. Fnadi and A. Rauh, “Exponential State Enclosure Techniques for the Implementation of Validated Model Predictive Control”, Acta Cybern, vol. 26, no. 4, pp. 839-854, Mar. 2024.