@Inproceedings{EPTCS331.1,
  author    = {Bourgois, Auguste and Jaulin, Luc},
  year      = {2021},
  title     = {Interval centred form for proving stability of non-linear discrete-time systems},
  editor    = {Dang, Thao and Ratschan, Stefan},
  booktitle = {{\rm Proceedings 6th International Workshop on}
               Symbolic-Numeric methods for Reasoning about CPS and IoT,
               {\rm online, 31 August 2020}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {331},
  publisher = {Open Publishing Association},
  pages     = {1-17},
  doi       = {10.4204/EPTCS.331.1},
}