Examples

Spiking neuron model

spiking_neurons
 a = 0.02,\qquad b = 0.2,\qquad c = -65,\qquad d = 8,\qquad I = 40.

[Model file]

Reachable set over-approximation over the time horizon  [0,100] .
neuron_t_u

neuron_t_v

 

Helicopter controller

The 28-dimensional helicopter controller model studied by SpaceEx can also be handled by Flow* 2.0.0 using the linear integration scheme. [Model file]

heli_t_x1heli_t_x4

heli_t_x6

heli_t_x8