Kersten, Julia, Andreas Rauh, and Harald Aschemann. “Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers”. Acta Cybernetica 24, no. 3 (March 18, 2020): 467-491. Accessed April 25, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4112.