search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

#686 - Decomposition for ASB07 #688

Closed schillic closed 4 years ago

schillic commented 4 years ago

Closes #686.

For now I called the operator ASB07_decomposed. We can rename it later.

I again have the problem that the set type for ReachSolution must be concrete. We should really get rid of this because it limits us everywhere (the workaround so far is to use LazySet everywhere). As suggested by @mforets, I added a workaround for now. There is also https://github.com/JuliaReach/LazySets.jl/issues/1726 which could be incorporated later (I left a TODO in the code).

Homogeneous system: linear_original linear_decomposed

Heterogeneous system: affine_original affine_decomposed