JuliaReach/MathematicalPredicates.jl JuliaReach/MathematicalPredicates.jl

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Julia
  • License
    MIT License
  • Created about 5 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JuliaReach/MathematicalPredicates.jl
github

JuliaReach

Reviews

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

Repository Details

Predicate definitions 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

SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia
Julia
7
star
12

CarlemanLinearization.jl

Carleman linearization for dynamical systems in Julia
Julia
7
star
13

ReachabilityModels.jl

JuliaReach model library
Julia
5
star
14

MathematicalSets.jl

Set definitions in Julia
Julia
5
star
15

JuliaReach-website

Website of the JuliaReach organization
Jupyter Notebook
5
star
16

LazySets-JuliaCon21

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

JuliaCon-2021-Minisymposium-Set-Propagation

Minisymposium for JuliaCon 2021: Applications of Set Propagation Techniques in Julia
5
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