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.
![Rendered by QuickLaTeX.com \[ \left\{ \begin{array}{lcl} \dot{x}_1 & = & y_1 \\ \dot{y}_1 & = & (1 - x_1^2)\cdot y_1 - x_1 + (x_2 - x_1) \\ \dot{x}_2 & = & y_2 \\ \dot{y}_2 & = & (1 - x_2^2)\cdot y_2 - x_2 + (x_1 - x_2) \\ \end{array} \right. \]](https://ths.rwth-aachen.de/wp-content/ql-cache/quicklatex.com-0457de0e7ebf5193cb50947b8604d796_l3.png)
Reachability settings
We consider the initial set
,
,
and
.
Results
The following figure shows an overapproximation computed by Flow* for the time horizon
:

