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$ .

[Model file]

Share this:

Like this: