Tractable higher-order under-approximating AE extensions for non-linear systems

Eric Goubault, Sylvie Putot

We consider the problem of under and over-approximating the image of general vector-valued functions over bounded sets, and apply the proposed solution to the estimation of reachab…