Add matrix zonotopes - Githubissues

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia

https://juliareach.github.io/LazySets.jl/

Other

226 stars 32 forks source link

Add matrix zonotopes #1030

Open mforets opened 5 years ago

mforets commented 5 years ago

For a definition and basic properties see:

Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems. Althoff, Krogh.

mforets commented 5 months ago

see also branch schillic/matrixset in LazySets and https://dl.acm.org/doi/10.1145/3575870.3587130