Fnadi, Mohamed, and Andreas Rauh. “Exponential State Enclosure Techniques for the Implementation of Validated Model Predictive Control”. Acta Cybernetica 26, no. 4 (March 20, 2024): 839-854. Accessed January 11, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4377.