CNLN: Van der Pol Oscillator
Dear all:
We computed the reachable set for the nonlinear van der pol oscillator with C2E2 and wanted to share our results:
- The initial set is given by x in [1.25,1.55] and y in [2.35,2.45]
- The unsafe set if given by y>=2.75
C2E2 is able to verify the model after 64 refinements. However, since the unsafe set does not bound the x dimension, the x dimension bloats up quickly in our case.
The result for variable x,y is provided below and a model file from C2E2 is attached below.
| Attachment | Size |
|---|---|
| bytes | |
| bytes |
As discussed, the 2023 edition of the van-der-Pol model can use an interval for b \in [1, 3]. Apart from that, the model dynamics remain the same as in 2022 (link to SpaceEx file). I updated the report and also added a plot from JuliaReach as orientation.
We suggest to use the same specification as in 2021. If that is challenging for some tools, report back and we can discuss.