Bracketing backward reach sets of a dynamical system
From MaRDI portal
Publication:3386553
DOI10.1080/00207179.2019.1643910zbMath1454.93023MaRDI QIDQ3386553
Jaulin, Luc, Thomas Le Mézo, Benoît Zerr
Publication date: 5 January 2021
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179.2019.1643910
stability; basin of attraction; constraint solving; abstract interpretation; interval computation; backward reach set
Uses Software