@article{lemezo:hal-01497267,
  TITLE = {{An Interval Approach to Compute Invariant Sets}},
  AUTHOR = {Le M{\'e}zo, Thomas and Jaulin, Luc and Zerr, Benoit},
  URL = {https://hal.archives-ouvertes.fr/hal-01497267},
  JOURNAL = {{IEEE Transactions on Automatic Control}},
  PUBLISHER = {{Institute of Electrical and Electronics Engineers}},
  VOLUME = {62},
  NUMBER = {8},
  PAGES = {4236 - 4242},
  YEAR = {2017},
  DOI = {10.1109/TAC.2017.2685241},
  KEYWORDS = {Guaranteed integration ; state equation ; constraint programming ; limit cycle ; invariant set ; interval analysis},
  PDF = {https://hal.archives-ouvertes.fr/hal-01497267/file/root.pdf},
  HAL_ID = {hal-01497267},
  HAL_VERSION = {v1},
}