@misc{indiciae18821653c93c, title = {Interval centred form for proving stability of non-linear discrete-time systems}, author = {Auguste Bourgois and Luc Jaulin}, year = {2021}, doi = {10.4204/eptcs.331.1}, url = {https://arxiv.org/abs/2101.05412}, note = {Source identifier: 2101.05412} }