search

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
227 stars 32 forks source link

Clustering function #584

Closed schillic closed 1 year ago

schillic commented 6 years ago

Input: a sequence of sets X_1, ..., X_n Output: a shorter sequence of sets Y_1, ..., Y_m with m ≤ n such that ⋃ X_i ⊆ ⋃ Y_j.

This is useful for a hybrid systems reachability algorithm. See, e.g., the SpaceEx paper where a combination of convex hull and template hull is used. So another input to the function could be a predefined error bound or the number of sets that should be returned.

schillic commented 1 year ago

I close this because this is rather application specific.