JuliaReach/SpaceExParser.jl JuliaReach/SpaceExParser.jl

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Julia
  • License
    MIT License
  • Created over 6 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JuliaReach/SpaceExParser.jl
github

JuliaReach

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Parser for the SpaceEx modeling language in Julia

More Repositories

1

LazySets.jl

Scalable symbolic-numeric set computations in Julia
Julia
226
star
2

ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia
Julia
191
star
3

Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
Julia
50
star
4

ClosedLoopReachability.jl

Reachability analysis for closed-loop control systems in Julia
Polar
44
star
5

MathematicalSystems.jl

Systems definitions in Julia
Julia
42
star
6

RangeEnclosures.jl

Enclosures of real-valued functions in Julia
Julia
22
star
7

JuliaCon-2021-Workshop-Its-All-Set

It's all Set: A hands-on introduction to JuliaReach
Jupyter Notebook
19
star
8

IntervalMatrices.jl

Matrices with interval coefficients in Julia
Julia
18
star
9

BernsteinExpansions.jl

Computing Bernstein coefficients of multivariate polynomials in Julia
Julia
10
star
10

juliareach-days-3

CSS
9
star
11

CarlemanLinearization.jl

Carleman linearization for dynamical systems in Julia
Julia
7
star
12

ReachabilityModels.jl

JuliaReach model library
Julia
5
star
13

MathematicalSets.jl

Set definitions in Julia
Julia
5
star
14

JuliaReach-website

Website of the JuliaReach organization
Jupyter Notebook
5
star
15

LazySets-JuliaCon21

LazySets.jl article for the JuliaCon 2021 Conference Proceedings
TeX
5
star
16

JuliaCon-2021-Minisymposium-Set-Propagation

Minisymposium for JuliaCon 2021: Applications of Set Propagation Techniques in Julia
5
star
17

MathematicalPredicates.jl

Predicate definitions in Julia
Julia
4
star
18

ReachabilityBenchmarks

JuliaReach benchmark suite
Jupyter Notebook
4
star
19

SetPropagation-FEM-Examples

Repeatability Evaluation package for "Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems"
Julia
3
star
20

ARCH2020_NLN_RE

Repeatability Evaluation package for the ARCH2020 NLN Competition
Julia
3
star
21

PolynomialZonotopes.jl

Polynomial zonotopes extension for LazySets
Julia
3
star
22

Flowstar.jl

Julia wrapper for Flow*
Julia
3
star
23

RP21_RE

Repeatibility Evaluation for "Reachability of weakly nonlinear systems using Carleman linearization" (RP'21)
Julia
2
star
24

juliareach-days-3-reachathon

Jupyter Notebook
2
star
25

ReachabilityBase.jl

Base library for the JuliaReach ecosystem
Julia
2
star
26

SetPropagation-FEM-JuliaCon21

Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
TeX
1
star
27

ARCH2018_RE

Repeatability Evaluation package for the ARCH2018 Competition
Julia
1
star
28

ClampedFreeBar

Benchmark problem of wave propagation in a clamped-free bar
Jupyter Notebook
1
star
29

ARCH2022_AFF_RE

Repeatability evaluation package for the ARCH2022 AFF competition
Julia
1
star
30

ARCH2019_RE

Repeatability Evaluation package for the ARCH2019 Competition
Julia
1
star
31

AAAI22_RE

Repeatibility evaluation for "Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes" (AAAI'22)
C++
1
star
32

ARCH2023_AINNCS_RE

Repeatability package for ARCH-COMP 2023 AINNCS
Julia
1
star
33

JuliaReachDevDocs

JuliaReach development guidelines and resources
Julia
1
star
34

NeuralNetworkReachability.jl

Set propagation for neural networks in Julia
Julia
1
star