search

JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia
https://juliareach.github.io/ReachabilityAnalysis.jl/
MIT License
192 stars 16 forks source link

Merge and generalize `overapproximate` methods with `HPolytope` #844

Closed schillic closed 2 months ago

schillic commented 4 months ago

The implementation was not specific to Hyperrectangles at all, so I generalized it.

mforets commented 2 months ago

did you consider whether it would make sense to move this to LazySets ?

actually, this looks like something that should already exist in lazysets.

mforets commented 2 months ago

ok, it seems that _overapproximate is used here as an intermediate level of dispatch.

schillic commented 2 months ago

You mean this could just be removed? I did not try.