ReachabilityAnalysis.jl
ReachabilityAnalysis.jl copied to clipboard
Computing reachable states of dynamical systems in Julia
See Lemma 2 in [1]. [1] http://stanleybak.com/papers/li2020formats.pdf
**Describe the bug** using an initial set of type `Zonotope` causes an axis-aligned overapproximation when using GLM06 **To Reproduce** Steps to reproduce the behavior: 1. Version of the package used....
From `TransmissionLine.jl`: ```julia # ## Parametric uncertainties #md # !!! note "TODO" #md # Add results with ASB07 and interval parametric uncertainties. ```
Requires https://github.com/JuliaReach/LazySets.jl/issues/1453
The idea is to use the special structure of order 2 zonotopes with a block of 1-n generators that are arbitrary and another block of (n+1):2n generators that form a...
we can `concretize(...)` and convert to Singleton. requires https://github.com/JuliaReach/LazySets.jl/pull/2622
```julia ivp, _ = harmonic_oscillator() A = state_matrix(ivp) X0 = initial_state(ivp) prob = @ivp(x' = A*x, x(0) ∈ X0) sol = solve(prob, alg=ORBIT(δ=0.1), NSTEPS=10); # with gr the plot is...
- ORBIT with / without markers for example, to join the point of ORBIT: ```julia A = state_matrix(ivp) X0 = initial_state(ivp) prob = @ivp(x' = A*x, x(0) ∈ X0) sol...
same as https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/429 for BOX - inhomog