ReachabilityAnalysis.jl
ReachabilityAnalysis.jl copied to clipboard
JuliaReach
Computing reachable states of dynamical systems in Julia
- Closes #298 for GLGM06 algorithm. - Starts from branch dfcaporale/328.
The test "Switched affine system" was included in `test/flowpipes.jl`. It consists of an affine switched time with deterministic and non-deterministic switching. The analytical solutions for extreme cases are calculated and...
ref notebook : https://nbviewer.jupyter.org/github/mforets/escritoire/blob/master/2020/Week36/Multistable_Oscillator.ipynb
For instance we can add the thermostat model.
The following fails with the `ClockedThermostat` model: ```julia #y = model(convert(Hyperrectangle, o["X0"] × Interval(0.0, 0.0))) y = model(o["X0"] × Interval(0.0, 0.0)) sol′ = solve(y, T=10.0, alg=BOX(δ=0.01), fixpoint_check=false); tspan(sol′) MethodError: no...
as we saw with @dfcaporale, @SebastianGuadalupe, the new methods "vrep" / "cpa" are better than recursively using the o.a. of the lazy CH . notebook https://github.com/mforets/escritoire/blob/master/2020/Week33/Zonotope_OA.ipynb
still needs more work on the LazySets side, but will allow to use, e.g. `_is_intersection_empty(Z::Zonotope{N}, H::Hyperplane{N}, ::Val{false}) where {N}` directly.
Metadata
Owner
Metadata
Computing reachable states of dynamical systems in Julia