@article{rauh:hal-03550394,
  TITLE = {{A Novel Thick Ellipsoid Approach for Verified Outer and Inner State Enclosures of Discrete-Time Dynamic Systems}},
  AUTHOR = {Rauh, Andreas and Jaulin, Luc},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03550394},
  JOURNAL = {{IFAC-PapersOnLine}},
  PUBLISHER = {{Elsevier}},
  VOLUME = {54},
  NUMBER = {7},
  PAGES = {601-606},
  YEAR = {2021},
  DOI = {10.1016/j.ifacol.2021.08.426},
  KEYWORDS = {Robustness analysis ; Bounded Uncertainty ; Ellipsoidal state enclosures ; Thick ellipsoids ; Verified simulation ; Interval analysis},
  PDF = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03550394/file/1-s2.0-S2405896321012003-main.pdf},
  HAL_ID = {hal-03550394},
  HAL_VERSION = {v1},
}