Visible to the public CNLN: Laub-LoomisConflict Detection Enabled

No replies
younger
younger's picture
Offline
Established Community Member
Joined: May 7 2018

Dear all,

I am Yangge Li from UIUC. We computed the reachable set for the nonlinear Laub-Loomis with C2E2 and wanted to share our results:

  • For the nonlinear system equations we use the model from https://www.ncbi.nlm.nih.gov/pubmed/9843585.
  • The initial set are boxes centered at x1(0)=1.2, x2(0)=1.05, x3(0)=1.5, x4(0)=2.4, x5(0)=1, x6(0)=0.1, x7(0)=0.45. The width of the initial box are W=0.01 and W=0.1.
  • For W=0.01, the unsafe set is given by x4>=4.5
  • For W=0.1, the unsafe set is given by x4>=5

The result for both W=0.01 and W=0.1 for variable x4 are provided below and a model file from C2E2 are attached below.

AttachmentTaxonomyKindSize
small.pngPNG image14.88 KBDownloadPreview
large.pngPNG image17.25 KBDownloadPreview
Laub-Loomis.hyxmlUnrecognized file type2.03 KBDownloadPreview
Preview: Thumbnail | Medium | Image

Other available formats:   

small.png
Preview: Thumbnail | Medium | Image

Other available formats:   

large.png

Laub-Loomis.hyxml
AttachmentSize
bytes
bytes
bytes