JuliaReach / ReachabilityAnalysis.jl

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

Convexification of a flowpipe #26

Open mforets opened 4 years ago

mforets commented 4 years ago

Write a function convexify that receives a flowpipe and an integer k and returns the convexified flowpipe, ie. it groups through ConvexHullArray wrappers the contiguous reach-sets for each chunk of k reach-sets.

mforets commented 4 years ago

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

mforets commented 4 years ago

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 a wrapper type ConvexifiedReachSet.