ReachabilityAnalysis.jl
ReachabilityAnalysis.jl copied to clipboard
Computing reachable states of dynamical systems in Julia
We should relate the docs of the methods with the review article. See also [this PR](https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/646#issuecomment-1173135178).
I have a dynamics problem where I need to fetch data (e.g. using linear interpolation) within the derivative. Is such a thing possible? ``` Julia using ReachabilityAnalysis, Interpolations tspan =...
See https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/src/ReachSets/TaylorModelReachSet.jl#L320
`LGG09` constructs `TemplateReachSet`s with typically some dimensions undefined. `BoxClustering` expects fully bounded reach sets and is the default method. So using `LGG09` in hybrid systems fails by default. We should...
The option `intersect_source_invariant` in the hybrid `solve` is not fully used. 1. Once the intersection is empty, the flowpipe should be shortened (all later reach sets are unreachable). 2. When...
```julia [ Info: CrossReferences: building cross-references. ┌ Warning: reference for '[Overview]' could not be found in src/man/introduction.md. └ @ Documenter.CrossReferences ~/.julia/packages/Documenter/qdbx6/src/CrossReferences.jl:104 ┌ Warning: no doc found for reference '[`normalize!`](@ref)' in...
(copied here from another discussion) ```julia using ReachabilityAnalysis, DifferentialEquations, Plots @taylorize function f!(dy, y, p, t) dy[1] = y[1] * cos(y[1]) end prob = @ivp(y' = f!(y), y(0) ∈ 0...
Let's add a note on the TMJets docstring about how to cite it when used. useful refs: - https://citation-file-format.github.io/