Rauh, A., Bourgois, A., & Jaulin, L. (2022). Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures. Acta Cybernetica, 26(2), 267-291. https://doi.org/10.14232/actacyb.293871