CNLN: Laub-Loomis

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.