Marcelo Forets
Marcelo Forets
dup of https://github.com/JuliaReach/ReachabilityAnalysis.jl/issues/428
The reason that `GLGM06` returns a box is that the algorithm ([here](https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/src/Algorithms/GLGM06/post.jl#L38)) is not smart enough to realize that the set after the conservative time discretization is indeed a zonotope....
Let me mention that if the affine term is constant you can add it as a variable ("homogeneization") and use the algorithm `VREP`, which propagates the sets using the vertex...
Generally speaking, it should be noted that the convex hull of two zonotopes is no longer a zonotope. But we have methods in LazySets to approximate that set by an...
> I might be misunderstanding what discretizing the affine ODE entails, It depends what you want to compute. If you are interested in a sequence of reach-sets associated to time...
thanks for the reports. homogeneization in hybrid systems should special case some set operations, because the dimension of, say, the guard, will be off by 1 with respect to that...
Interesting, thanks!
there is now `Convexify(fp::Flowpipe{N, ReachSet{N, ST}}) where {N, ST}` we could add a variant that also receives an index `k >= 1` and convexifies reach-set chunks of size `k`
on a related note, though `L = Convexify(sol[end-k:end])` works, it copies `sol[end-k:end]` over to a new array. it would be nice if we can avoid the copy. this probably requires...
we can also store the intermediate `abs_tol` values used.