ReachabilityAnalysis.jl icon indicating copy to clipboard operation
ReachabilityAnalysis.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach
→

Metadata

Computing reachable states of dynamical systems in Julia

Results 142 ReachabilityAnalysis.jl issues
Sort by recently updated
recently updated
newest added

Ensure that reachable set methods with unions are tested

See https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/801/files

mforets avatar mforets

Incomplete docs in FAQS

The section in the FAQs docs is incomplete, here: https://juliareach.github.io/ReachabilityAnalysis.jl/dev/man/faq/#Can-I-use-ODE-solvers-with-interval-initial-conditions?:~:text=%22y%22)-,Modeling%20questions,Although%20it%20is%20in%20principle%20possible%20to%20ODE%20solvers%20for,-How%20do%20I ![image](https://github.com/JuliaReach/ReachabilityAnalysis.jl/assets/69228453/7733600f-70a1-48bc-b188-b00c0d03e252)

jonathanfischer97 avatar jonathanfischer97

Replace `requires` macro with `require`

schillic avatar schillic

Do not pass redundant `max_order` to algorithm

schillic avatar schillic

Use `preallocate` argument in `GLGM06`

The argument was just ignored.

schillic avatar schillic

Merge and generalize `overapproximate` methods with `HPolytope`

The implementation was not specific to `Hyperrectangle`s at all, so I generalized it.

schillic avatar schillic

Remove redundant variables in algorithms

schillic avatar schillic

Fix argument order of `_convert_or_overapproximate`

schillic avatar schillic

Fix some minor warnings

schillic avatar schillic

Revise discretization module

schillic avatar schillic

← Metadata

186
Stars
17
Forks
Watchers

Owner

verified publisher icon JuliaReach

Metadata

Computing reachable states of dynamical systems in Julia

Back