Marcelo Forets
Marcelo Forets
Interesting, thanks!
cc: @SebastianGuadalupe
The minimally disrupting fix might be to pull `Δt = (zero(N) .. δ) + Δt0` out of the `reach_foo!` functions and pass it as an argument; if the algorithm works...
> It would be better to only store the time points (which may require to add a new flowpipe type). We can instantiate reach-sets [with time points as well](https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/test/reachsets.jl#L8). It...
i'm thinking about computing the zonotopic oa by default, and add a plot recipe for taylor model flowpipes that uses it. - note that if an invariant is passed, we...
Thanks for the heads up! Let me CC @asarvind with whom we discussed about this method recently. > The implementation here looks actually different from the pseudocode to me. It...
It would be interesting to try this method in connection to https://github.com/JuliaReach/LazySets.jl/pull/2288 (efficient 2D zonotope vertex enumeration algorithm).
What did we want to do here, more exactly? Some general instructions on adding a model to ReachabilityBenchmarks?
Shall we add this as a section in the Reachability documentation? I think that we can split between linear / nonlinear and continuous / hybrid.
> If it is not too difficult, it would be good to have a "generic" algorithm that we can then also instantiate with H-rep or other set representations for comparison....