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 .