TY - RPRT TI - Interval centred form for proving stability of non-linear discrete-time systems AU - Auguste Bourgois AU - Luc Jaulin PY - 2021 DO - 10.4204/eptcs.331.1 UR - https://arxiv.org/abs/2101.05412 ID - 2101.05412 ER -