search

JuliaReach / Reachability.jl

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

Accept anonymous function for property checking #566

Open mforets opened 5 years ago

mforets commented 5 years ago

Here are three options. I tend toward 3.

  1. Add SafeFunctionProperty.
  2. Generalize the existing SafeStatesProperty to allow also storing a function instead of a set. We would have to add a field for the dimension n.
  3. Merge SafeStatesProperty and BadStatesProperty into LazySetProperty and add a flag expressing whether the set represents the safe states or the bad states.

Originally posted by @schillic in https://github.com/JuliaReach/Reachability.jl/pull/537