Rauh, Andreas, Auguste Bourgois, and Luc Jaulin. 2022. “Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures”. Acta Cybernetica 26 (2), 267-91. https://doi.org/10.14232/actacyb.293871.