Media type: E-Article Title: Verifying provable stability domains for discrete-time systems using ellipsoidal state enclosures Contributor: Rauh, Andreas [VerfasserIn]; Bourgois, Auguste [VerfasserIn]; Jaulin, Luc [VerfasserIn] imprint: 2022 Published in: Acta cybernetica ; (2022) vom: 16. Mai, Seite 1-25 Language: English DOI: 10.14232/actacyb.293871 ISSN: 2676-993X Identifier: Origination: Footnote: Online-first paper version, published 2022-05-16 Access State: Open Access