Model description
The general dynamics of the model of spiking neurons is defined by the following ODE.
wherein the constant parameters are given by ,
,
,
,
,
and
. The values of
,
are reset to
and
respectively when
.
Reachability setting
We consider the initial set defined by ,
.
Result
The following figures show an overapproximation computed by Flow* for the time horizon .