CNLN: Laub-Loomis
Mon, 05/07/2018 - 8:33pm
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.
Attachment | Size |
---|---|
bytes | |
bytes | |
bytes |