-
Notifications
You must be signed in to change notification settings - Fork 4
Issues: JuliaReach/Reachability.jl
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Combine linear maps in interval-matrix discretization
performance
simplification
#730
by schillic
was closed Jan 23, 2020
TMJets should check that the initial set dimension is compatible
robustness
#699
by mforets
was closed Nov 21, 2019
Decomposition for ASB07
algorithm
A discrete or continuous post reachability algorithm
#686
by schillic
was closed Oct 16, 2019
Inconsistent behavior of GLGM06 across (in)homogeneous cases
bug
#680
by schillic
was closed May 1, 2020
Outsource Properties to a new package
breaking
refactoring
simplification
#678
by mforets
was closed Feb 23, 2020
Reachability for 1D systems
algorithm
A discrete or continuous post reachability algorithm
#671
by mforets
was closed Mar 29, 2020
Reachability for LTI systems with interval matrices using zonotopes
algorithm
A discrete or continuous post reachability algorithm
#639
by schillic
was closed Sep 11, 2019
Simplify overapproximation option in BFFPSV18
simplification
#628
by mforets
was closed May 13, 2019
LazyDiscretePost requires Polyhedra package
fix
performance
#620
by schillic
was closed Feb 12, 2020
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.