search

JuliaReach / Reachability.jl

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

WIP - Parametric filtered-oscillator model #655

Closed schillic closed 1 month ago

schillic commented 5 years ago

This branch tries to add the filtered-oscillator model as further test to #641. I want to make the model parametric in x and y such that those variables can be changed in order to test the correct behavior of the algorithm.

mforets commented 4 years ago

Seems like this branch should be rebased such that we only keep test/Reachability/models/filtered_oscillator.jl