search

JuliaReach / Reachability.jl

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

LazyDiscretePost requires Polyhedra package #620

Closed schillic closed 4 years ago

schillic commented 5 years ago

(reported by @mforets)

# intersect with target invariant
A⌜R⋂G⌟⋂I = Intersection(target_invariant, A⌜R⋂G⌟)
if isempty(A⌜R⋂G⌟⋂I) ## << requires polyhedra ..... why?
    continue
end
schillic commented 5 years ago

The problem is the application of a non-invertible linear map (thanks @mforets for investigating).

schillic commented 5 years ago

I suggest we add an option to overapproximate the set whenever the matrix is not invertible (and this option should be the default).