Download
Flow* | coupledVanderPol.model |
Model description
Two Van der Pol oscillators can be coupled directly [1]. The composed model is described by the following 4-dimensional ODE.
Reachability settings
We consider the initial set ,
,
and
.
Results
The following figure shows an overapproximation computed by Flow* for the time horizon :