JuliaReach

Repositories

• ReachabilityAnalysis.jl

  Methods to compute sets of states reachable by dynamical systems
  Julia MIT 2 18 73 8 Updated Jul 12, 2020

• ARCH2020_AFF_RE

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

• NeuralVerification.jl

  Forked from sisl/NeuralVerification.jl

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

• ARCH2020_NLN_RE

  Repeatability Evaluation package for the ARCH2020 NLN Competition
  Julia 0 0 0 0 Updated Jul 10, 2020

• LazySets.jl

  A Julia package for calculus with convex sets

  calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons
  Julia 16 85 377 (10 issues need help) 25 Updated Jul 10, 2020

• RangeEnclosures.jl

  A Julia package to compute range enclosures of real-valued functions.
  Julia MIT 1 7 15 1 Updated Jul 7, 2020

• NeuralNetworkAnalysis.jl

  Methods to verify neural network control systems using reachability analysis
  Julia MIT 0 6 4 0 Updated Jul 4, 2020

• JuliaReach-website

  Website of the JuliaReach organization
  2 3 0 0 Updated Jul 2, 2020

• Reachability.jl

  Reachability and Safety of Nondeterministic Dynamical Systems

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

• MathematicalSystems.jl

  Systems definitions in Julia

  julia dynamical-systems
  Julia 3 27 25 1 Updated May 23, 2020

• IntervalMatrices.jl

  Matrices with interval coefficients in Julia

  interval-arithmetic intervals matrix-computations reachability-analysis matrix-exponential
  Julia 0 6 26 4 Updated May 21, 2020

• MathematicalPredicates.jl

  Predicate definitions in Julia
  Julia MIT 0 2 1 0 Updated May 20, 2020

• ReachabilityBenchmarks

  Benchmark suite for reach set computations
  Jupyter Notebook MIT 1 4 30 4 Updated May 20, 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

• ReachabilityModels.jl
  Julia MIT 0 0 1 0 Updated Apr 10, 2020

• JuliaReachDevDocs

  Development guidelines and resources for JuliaReach projects
  Julia MIT 0 0 4 0 Updated Apr 2, 2020

• JuliaReachTemplatePkg

  A template package for JuliaReach projects
  Julia MIT 0 0 0 0 Updated Feb 6, 2020

• SX.jl

  SpaceEx modeling language parser

  hybrid-systems model-based-design spaceex
  Julia MIT 1 5 13 1 Updated Oct 15, 2019

• 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 0 0 0 0 Updated Feb 18, 2019