## Van der Pol oscillator

 Flow* vanderpol.model

## Model description

The dynamics of the Van der Pol oscillator can be defined by the following ODE

wherein is a constant whose typical value is 1.

## Reachability settings

We consider the initial set which is used in [1].

## Result

As an example, the following figure shows an overapproximation, computed by Flow*, of the reachable set in the time horizon .

## References

[1] M. Althoff, O. Stursberg, M. Buss. Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In Proceedings of the 47th IEEE Conference on Decision and Control (CDC’08), pages 4042 – 4048, IEEE, 2008.