search

JuliaReach / ReachabilityBenchmarks

JuliaReach benchmark suite
MIT License
4 stars 1 forks source link

WIP ARCH 2020 - Building #199

Closed schillic closed 4 years ago

schillic commented 4 years ago

Comparing to the results from last year, the flowpipe with GLGM06 is bigger. I used the same time step but did not play with other parameters.

Result from last year (using BFFPSV18): BLDF01_time_horizon_1

Current result (using GLGM06): BLDF01_time_horizon_1

mforets commented 4 years ago

i wonder if this is because of order reduction of Omega0 vs lazy initial inputs (there is one "lazy linear map" option in the file from last year). with GLGM06 we could perhaps try using a high order zonotope for Omega0 and for the rest reduce the order

mforets commented 4 years ago

we should of course try and possibly stick with BFFPSV18 but it's not yet plugged to the solve API..

mforets commented 4 years ago

Merging as i'll continue to use the folder ARCH2020 that you've created here for other models.