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 :