HomeExamples

Examples

Spiking neuron model

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

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

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_x1 heli_t_x4

heli_t_x6

heli_t_x8

%d bloggers like this:

Spiking neuron model

Helicopter controller

Share this:

Like this: