JuliaReach

Repositories

• LazySets.jl

  A Julia package for calculus with convex sets

  calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons
  Julia 18 101 395 (9 issues need help) 31 Updated Jan 4, 2021

• ReachabilityAnalysis.jl

  Methods to compute sets of states reachable by dynamical systems

  julia verification ode simulations dynamical-systems control-systems differential-equations
  Julia MIT 2 55 91 15 Updated Jan 1, 2021

• NeuralNetworkAnalysis.jl

  Methods to verify neural network control systems using reachability analysis
  Julia MIT 0 8 5 2 Updated Jan 1, 2021

• MathematicalSystems.jl

  Systems definitions in Julia

  julia dynamical-systems
  Julia 3 27 27 1 Updated Dec 17, 2020

• JuliaReach-website

  Website of the JuliaReach organization
  2 4 0 0 Updated Dec 14, 2020

• ReachabilityModels.jl

  A library of reachability models
  Julia MIT 0 4 23 0 Updated Dec 3, 2020

• ReachabilityBenchmarks

  Benchmark suite for reach set computations
  Jupyter Notebook MIT 1 4 24 5 Updated Dec 3, 2020

• juliareach.github.io
  HTML 0 0 0 0 Updated Dec 2, 2020

• JuliaReachTemplatePkg

  A template package for JuliaReach projects
  Julia MIT 0 0 0 0 Updated Nov 18, 2020

• IntervalMatrices.jl

  Matrices with interval coefficients in Julia

  interval-arithmetic intervals matrix-computations reachability-analysis matrix-exponential
  Julia 0 6 27 4 Updated Nov 4, 2020

• MathematicalPredicates.jl

  Predicate definitions in Julia
  Julia MIT 0 3 1 0 Updated Nov 4, 2020

• SpaceExParser.jl

  SpaceEx modeling language parser

  hybrid-systems model-based-design spaceex
  Julia MIT 1 6 13 1 Updated Nov 3, 2020

• ARCH2020_NLN_RE

  Repeatability Evaluation package for the ARCH2020 NLN Competition
  Julia 0 2 0 0 Updated Oct 3, 2020

• JuliaReachDevDocs

  Development guidelines and resources for JuliaReach projects
  Julia MIT 0 0 7 0 Updated Sep 19, 2020

• RangeEnclosures.jl

  A Julia package to compute range enclosures of real-valued functions.
  Julia MIT 1 8 15 2 Updated Sep 5, 2020

• ARCH2020_AFF_RE

  Repeatability Evaluation package for the ARCH2020 AFF Competition
  Julia 0 0 0 0 Updated Jul 14, 2020

• NeuralVerification.jl

  Forked from sisl/NeuralVerification.jl

  Methods to soundly verify deep neural networks
  Julia MIT 33 4 2 0 Updated Jul 11, 2020

• Reachability.jl

  Reachability and Safety of Nondeterministic Dynamical Systems

  engineering julia verification ode simulations dynamical-systems control-systems
  Julia MIT 4 50 146 8 Updated Jun 25, 2020

• BernsteinExpansions.jl

  A Julia package to compute Bernstein coefficients of multivariate polynomials

  polynomials intervals bernstein
  Julia 2 7 8 0 Updated Apr 18, 2020

• StabilityRegions.jl

  Methods to compute the region of stability of dynamical systems
  Julia MIT 0 1 1 0 Updated Apr 14, 2020

• MathematicalSets.jl

  Set definitions in Julia

  julia sets
  Julia MIT 0 4 7 0 Updated Sep 11, 2019

• PolynomialZonotopes.jl Archived

  Polynomial zonotopes extension for LazySets
  Julia MIT 0 2 0 0 Updated Jul 31, 2019

• SetBasedRecurrences.jl
  MIT 0 1 0 0 Updated Jul 14, 2019

• ARCH2019_RE

  Repeatability Evaluation package for the ARCH2019 Competition
  Julia 0 1 0 0 Updated Apr 7, 2019

• ARCH2018_RE

  Repeatability Evaluation package for the ARCH2018 Competition
  Julia MIT 0 1 0 0 Updated Apr 5, 2019

• HSCC2019_RE

  Repeatability Evaluation package for the HSCC 2019 Conference
  Julia 1 0 0 0 Updated Feb 18, 2019