Visible to the public CNLN: Van der Pol OscillatorConflict Detection Enabled

1 reply [Last post]
younger
younger's picture
Offline
Established Community Member
Joined: May 7 2018

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.

AttachmentTaxonomyKindSize
vanderpol_xy.pngPNG image15.82 KBDownloadPreview
vanderpol.hyxmlUnrecognized file type817 bytesDownloadPreview
Preview: Thumbnail | Medium | Image

Other available formats:   

vanderpol_xy.png

vanderpol.hyxml
AttachmentSize
bytes
bytes
schillic
schillic's picture
Offline
Established Community Member
Joined: Dec 1 2016
2023 CVDP model

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.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.