The SpaceEx helicopter example consists of an 8-dimensional helicopter model with a 20-dimensional controller. One may refer to the SpaceEx homepage for more details.
We consider the time horizon and a time-varying disturbance ranging in for the derivative of each variable. Flow* 2.1.0 spent 8 seconds to compute the symbolic flowpipes. The following figure shows the interval overapproximations for the concretized flowpipes for the initial set for all .