ReachabilityAnalysis.jl

ReachabilityAnalysis.jl copied to clipboard

Taken from https://arxiv.org/abs/2105.05841: [temp_barra.pdf](https://github.com/JuliaReach/ReachabilityAnalysis.jl/files/6686875/temp_barra.pdf)

mforets

Controller dependent reachable set for continuous ODEs with non-linear dynamics

7

Hi, thank you for your work! May I know if it is possible to compute a controller-dependent reachable set for continuous ODEs with non-linear dynamics? I checked out the example...

yuzhou42

cf. https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/505

mforets

Apply tips to reduce the filesize of generated notebooks

2

https://fredrikekre.github.io/Literate.jl/v2/tips/#notebook-filesize

mforets

MethodError in gearbox model

3

```julia include("/home/mforets/Projects/ARCH2021_AFF/models/Gearbox/gearbox.jl") const boxdirs = BoxDirections{Float64, Vector{Float64}}(6); const octdirs = CustomDirections([Vector(vi) for vi in OctDirections(6)]); px, py, n, θ = 3, 4, 6, 0.628318530717959 vec1 = Vector(sparsevec([px, py], [tan(θ), 1.],...

mforets

refs * #476 * #482

mforets

It crashes with an assertion error (radius must be nonnegative).

mforets

mforets

https://juliareach.github.io/ReachabilityAnalysis.jl/dev/man/hybrid/

mforets

As a first step we can try plotting the box overapproximation of the flowpipe. cc @dpsanders ideas: https://gist.github.com/mforets/e219588cf406b7eecb5ec920ad380a0a

mforets