ReachabilityAnalysis.jl

ReachabilityAnalysis.jl copied to clipboard

from [zulip](https://julialang.zulipchat.com/#narrow/stream/278609-juliareach), ```julia p = @ivp(x' = Interval(0.,0.)+Interval(-11.,-2.)*x, x(0) ∈ Interval(1, 2)) sol = solve(p, T=5) ERROR: MethodError: no method matching one(::Type{Interval{Float64}}) ```

mforets

mforets

Best way to export results?

10

Hi all, thanks for all the help With the previous L96 model (happy to share, omitted for brevity), I expanded the dimension to 40 and the analysis was able to...

willsharpless

Update TaylorSeries/TaylorIntegration

1

Seems like we have to adapt to the new interface. See #739.

schillic

schillic

TMJets crashing iteratively, what to try?

4

**Describe the bug** I am trying to solve the reachable sets for an N-dimensional L96 model but unfortunately the TMJets algorithms causes the REPL to exit abruptly or the evaluations...

willsharpless

mforets

tspan argument should be checked to be a proper time interval

1

Passing `tspan=(1., 0.)` to `solve` should throw an error instead of computing a normal-looking but invalid result. EDIT: According to [the documentation](https://juliareach.github.io/ReachabilityAnalysis.jl/dev/man/backwards/), this is actually allowed. But I think at...

schillic

https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/src/Flowpipes/setops.jl#L464

mforets

Methods in https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/src/Flowpipes/arrayops.jl might be refactored to https://github.com/JuliaReach/ReachabilityBase.jl/blob/master/src/Arrays/SingleEntryVector.jl

mforets