JuliaReach

All

57 repositories

LazySets.jl
Public
Scalable symbolic-numeric set computations in Julia
calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons projections formal-verification polyhedra
Julia
•
Other
•32•226•361•2•Updated Nov 28, 2024Nov 28, 2024
ReachabilityModels.jl
Public
JuliaReach model library
Julia
•
MIT License
•0•5•29•0•Updated Nov 28, 2024Nov 28, 2024
ReachabilityAnalysis.jl
Public
Computing reachable states of dynamical systems in Julia
julia verification ode simulations dynamical-systems control-systems differential-equations interval-arithmetic hybrid-systems formal-verification
Julia
•
MIT License
•16•193•143•5•Updated Nov 27, 2024Nov 27, 2024
ClosedLoopReachability.jl
Public
Reachability analysis for closed-loop control systems in Julia
neural-network robotics control-systems differential-equations hybrid-systems robustness
Polar
•
MIT License
•3•44•7•0•Updated Nov 27, 2024Nov 27, 2024
IntervalMatrices.jl
Public
Matrices with interval coefficients in Julia
interval-arithmetic intervals matrix-computations reachability-analysis matrix-exponential
Julia
•
Other
•2•18•16•1•Updated Nov 27, 2024Nov 27, 2024
JuliaReachTemplatePkg.jl
Public template
JuliaReach package template
Julia
•
MIT License
•0•0•0•0•Updated Nov 27, 2024Nov 27, 2024
MathematicalSets.jl
Public
Set definitions in Julia
julia sets
Julia
•
MIT License
•0•5•8•0•Updated Nov 27, 2024Nov 27, 2024
SpaceExParser.jl
Public
Parser for the SpaceEx modeling language in Julia
hybrid-systems model-based-design spaceex
Julia
•
MIT License
•2•6•14•0•Updated Nov 27, 2024Nov 27, 2024
MathematicalPredicates.jl
Public
Predicate definitions in Julia
Julia
•
MIT License
•0•4•2•2•Updated Nov 27, 2024Nov 27, 2024
BernsteinExpansions.jl
Public
Computing Bernstein coefficients of multivariate polynomials in Julia
polynomials intervals bernstein
Julia
•
Other
•2•10•8•0•Updated Nov 27, 2024Nov 27, 2024
ControllerFormats.jl
Public
Controller formats in Julia
Julia
•
MIT License
•0•0•0•0•Updated Nov 27, 2024Nov 27, 2024
RangeEnclosures.jl
Public
Enclosures of real-valued functions in Julia
Julia
•
MIT License
•3•22•14•5•Updated Nov 27, 2024Nov 27, 2024
CarlemanLinearization.jl
Public
Carleman linearization for dynamical systems in Julia
Julia
•
MIT License
•2•6•1•0•Updated Nov 27, 2024Nov 27, 2024
ReachabilityBenchmarks
Public
JuliaReach benchmark suite
Jupyter Notebook
•
MIT License
•1•4•21•5•Updated Nov 27, 2024Nov 27, 2024
MathematicalSystems.jl
Public
Systems definitions in Julia
julia dynamical-systems
Julia
•
Other
•6•43•29•0•Updated Nov 27, 2024Nov 27, 2024
NeuralNetworkReachability.jl
Public
Set propagation for neural networks in Julia
Julia
•
MIT License
•0•1•5•0•Updated Nov 27, 2024Nov 27, 2024
ReachabilityBase.jl
Public
Base library for the JuliaReach ecosystem
Julia
•
MIT License
•0•2•3•2•Updated Nov 26, 2024Nov 26, 2024
JuliaReachDevDocs
Public
JuliaReach development guidelines and resources
Julia
•
MIT License
•2•1•3•0•Updated Oct 19, 2024Oct 19, 2024
JuliaReach-website
Public
Website of the JuliaReach organization
Jupyter Notebook
•
MIT License
•3•5•1•0•Updated Oct 2, 2024Oct 2, 2024
juliareach.github.io
Public
HTML
•0•0•0•0•Updated Oct 2, 2024Oct 2, 2024
ARCH2024_AFF_RE
Public
Repeatability package for ARCH-COMP 2024 AFF
Julia
•0•0•0•0•Updated Jul 1, 2024Jul 1, 2024
ARCH2024_AINNCS_RE
Public
Repeatability package for ARCH-COMP 2024 AINNCS
Julia
•0•0•0•0•Updated Jun 9, 2024Jun 9, 2024
ARCH2024_NLN_RE
Public
Repeatability package for ARCH-COMP 2024 NLN
Julia
•0•0•0•0•Updated Jun 9, 2024Jun 9, 2024
ARCH2023_AINNCS_RE
Public
Repeatability package for ARCH-COMP 2023 AINNCS
Julia
•0•1•0•0•Updated Apr 12, 2024Apr 12, 2024
ARCH2023_NLN_RE
Public
Repeatability package for ARCH-COMP 2023 NLN
Julia
•0•0•0•0•Updated Apr 12, 2024Apr 12, 2024
ARCH2023_AFF_RE
Public
Repeatability package for ARCH-COMP 2023 AFF
Julia
•0•0•0•0•Updated Apr 12, 2024Apr 12, 2024
Flowstar.jl
Public
Julia wrapper for Flow*
Julia
•
MIT License
•0•3•1•0•Updated Mar 15, 2024Mar 15, 2024
Notebooks
Public
JuliaReach notebooks
Julia
•
MIT License
•0•0•0•0•Updated Feb 10, 2024Feb 10, 2024
AISoLA2023_RE
Public
Repeatability package for AISoLA 2023
Julia
•0•0•0•0•Updated Dec 25, 2023Dec 25, 2023
ARCH2022_AINNCS_RE
Public
Repeatability evaluation package for the ARCH2022 AINNCS competition
Julia
•
MIT License
•0•0•0•0•Updated Dec 20, 2023Dec 20, 2023