which can become time-consuming when dealing with complex systems. Some works use
positive invariant sets to discuss stability. These sets can be numerically approximated using
Interval analysis but the computational complexity is exponential. In this paper, we propose
a computational tractable numerical but guaranteed method based on Interval analysis to
verify the robust positive invariance of ellipsoids to automatize the study of n-dimensional …