SpaceEx Helicopter Example

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  [0, 100] and a time-varying disturbance ranging in  [-10^{5}, 10^{5}] 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  x_i \in [-10^{100}, 10^{100}] for all  1\leq i\leq 28 .

heli

[Model file]