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
•37•248•359•14•Updated Jun 9, 2025Jun 9, 2025
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•46•7•0•Updated Jun 9, 2025Jun 9, 2025
ReachabilityModels.jl
Public
JuliaReach model library
Julia
•
MIT License
•0•5•30•0•Updated May 30, 2025May 30, 2025
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
•17•203•143•5•Updated May 15, 2025May 15, 2025
RangeEnclosures.jl
Public
Enclosures of real-valued functions in Julia
Julia
•
MIT License
•3•23•14•7•Updated Apr 26, 2025Apr 26, 2025
MathematicalSystems.jl
Public
Systems definitions in Julia
julia dynamical-systems
Julia
•
Other
•6•44•27•2•Updated Apr 19, 2025Apr 19, 2025
ReachabilityBase.jl
Public
Base library for the JuliaReach ecosystem
Julia
•
MIT License
•0•2•3•3•Updated Apr 18, 2025Apr 18, 2025
NeuralNetworkReachability.jl
Public
Set propagation for neural networks in Julia
Julia
•
MIT License
•0•2•5•1•Updated Apr 18, 2025Apr 18, 2025
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 Apr 18, 2025Apr 18, 2025
MathematicalPredicates.jl
Public
Predicate definitions in Julia
Julia
•
MIT License
•0•5•2•4•Updated Apr 18, 2025Apr 18, 2025
CarlemanLinearization.jl
Public
Carleman linearization for dynamical systems in Julia
Julia
•
MIT License
•2•6•1•0•Updated Apr 18, 2025Apr 18, 2025
ControllerFormats.jl
Public
Controller formats in Julia
Julia
•
MIT License
•0•0•0•0•Updated Apr 17, 2025Apr 17, 2025
IntervalMatrices.jl
Public
Matrices with interval coefficients in Julia
interval-arithmetic intervals matrix-computations reachability-analysis matrix-exponential
Julia
•
Other
•2•19•16•0•Updated Apr 17, 2025Apr 17, 2025
MathematicalSets.jl
Public
Set definitions in Julia
julia sets
Julia
•
MIT License
•0•5•8•0•Updated Apr 17, 2025Apr 17, 2025
BernsteinExpansions.jl
Public
Computing Bernstein coefficients of multivariate polynomials in Julia
polynomials intervals bernstein
Julia
•
Other
•2•10•8•0•Updated Apr 17, 2025Apr 17, 2025
ReachabilityBenchmarks
Public
JuliaReach benchmark suite
Jupyter Notebook
•
MIT License
•1•4•21•5•Updated Apr 17, 2025Apr 17, 2025
JuliaReachDevDocs
Public
JuliaReach development guidelines and resources
Julia
•
MIT License
•2•1•3•0•Updated Apr 17, 2025Apr 17, 2025
JuliaReachTemplatePkg.jl
Public template
JuliaReach package template
Julia
•
MIT License
•0•0•0•0•Updated Apr 17, 2025Apr 17, 2025
Flowstar.jl
Public
Julia wrapper for Flow*
Julia
•
MIT License
•0•3•1•0•Updated Apr 2, 2025Apr 2, 2025
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
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