Rauh, Andreas, Auguste Bourgois, and Luc Jaulin. “Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures”. Acta Cybernetica 26, no. 2 (May 16, 2022): 267-291. Accessed April 19, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4259.