#639 - Reachability for LTI systems with interval matrices using zonotopes

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

#639 - Reachability for LTI systems with interval matrices using zonotopes #681

Closed schillic closed 4 years ago

schillic commented 4 years ago

Closes #639.

Requires: ~https://github.com/JuliaReach/IntervalMatrices.jl/pull/52, https://github.com/JuliaReach/LazySets.jl/pull/1681~

The unit test is the example 1 from the paper. Computing the result is quick, but plotting the zonotopes takes ages. I plotted the result for :max_order => 3 (which is fast).

mforets commented 4 years ago

I plotted the result for :max_order => 3 (which is fast).

:thumbsup: We can let the default value be 3 or 4..

schillic commented 4 years ago

We can let the default value be 3 or 4..

Hm, we could offer a post-processing at some point, but for checking properties the order 3 is too small. Let's keep it for now and maybe change it later.

schillic commented 4 years ago

Nice job! :tada:

Not sure if that was clear, but we first need to incorporate changes in IntervalMatrices and LazySets (I updated the first comment), so your reviewing job is not done yet :cry: