search

JuliaReach / Reachability.jl

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

Specialized concrete ResetMap #552

Closed schillic closed 1 month ago

schillic commented 5 years ago

This is a fast concrete ResetMap for the ConcreteDiscretePost. It assumes that each constraint in a given polytope is either not constrained in any reset dimension or only constrained in some reset dimensions. If this is not the case, the implementation falls back to the slow default (V-representation). (The code is quite verbose.)

Should we put it in LazySets instead?

mforets commented 5 years ago

Should we put it in LazySets instead?

yes, i think so.