Fnadi, Mohamed, and Andreas Rauh. “Exponential State Enclosure Techniques for the Implementation of Validated Model Predictive Control”. Acta Cybernetica00 (March 20, 2024). Accessed May 20, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4377.