Adaptive TMJets abs_tol (follow up)

JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

https://juliareach.github.io/ReachabilityAnalysis.jl/

MIT License

192 stars 16 forks source link

Adaptive TMJets abs_tol (follow up) #165

Open mforets opened 4 years ago

mforets commented 4 years ago

In https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/160 we added adaptivity for the abs_tol option in TMJets. This issue is a reminder that, as in the adaptive=false case, we should store in the extension dictionary of the flowpipe the intermediate computations from validated_integ; these are tv and xv (time stamps and box approximations).

mforets commented 4 years ago

we can also store the intermediate abs_tol values used.