GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → JuliaReach → NeuralNetworkAnalysis.jl

JuliaReach / NeuralNetworkAnalysis.jl

Licence: MIT license
Reachability analysis for closed-loop control systems

Programming Languages

julia
2034 projects

Labels

neural-networkroboticscontrol-systemsdifferential-equationshybrid-systemsrobustness

Projects that are alternatives of or similar to NeuralNetworkAnalysis.jl

Sundials.jl
Julia interface to Sundials, including a nonlinear solver (KINSOL), ODE's (CVODE and ARKODE), and DAE's (IDA) in a SciML scientific machine learning enabled manner
Stars: ✭ 167 (+351.35%)
Mutual labels:  differential-equations
hypro
HyPro: A C++ state set representation library for the analysis of hybrid systems
Stars: ✭ 24 (-35.14%)
Mutual labels:  hybrid-systems
ReactionNetworkImporters.jl
Julia Catalyst.jl importers for various reaction network file formats like BioNetGen and stoichiometry matrices
Stars: ✭ 21 (-43.24%)
Mutual labels:  differential-equations
OpenMAS
OpenMAS is an open source multi-agent simulator based in Matlab for the simulation of decentralized intelligent systems defined by arbitrary behaviours and dynamics.
Stars: ✭ 80 (+116.22%)
Mutual labels:  control-systems
BrainPy
Brain Dynamics Programming in Python
Stars: ✭ 242 (+554.05%)
Mutual labels:  differential-equations
Model-Predictive-Control
C++ implementation of Model Predictive Control(MPC)
Stars: ✭ 51 (+37.84%)
Mutual labels:  control-systems
diffeqr
Solving differential equations in R using DifferentialEquations.jl and the SciML Scientific Machine Learning ecosystem
Stars: ✭ 118 (+218.92%)
Mutual labels:  differential-equations
safe-control-gym
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Stars: ✭ 272 (+635.14%)
Mutual labels:  robustness
DiffEqCallbacks.jl
A library of useful callbacks for hybrid scientific machine learning (SciML) with augmented differential equation solvers
Stars: ✭ 43 (+16.22%)
Mutual labels:  differential-equations
cocp
Source code for the examples accompanying the paper "Learning convex optimization control policies."
Stars: ✭ 61 (+64.86%)
Mutual labels:  control-systems
pymor
pyMOR - Model Order Reduction with Python
Stars: ✭ 198 (+435.14%)
Mutual labels:  control-systems
numerical-methods-python
Numerical methods implementation in Python.
Stars: ✭ 65 (+75.68%)
Mutual labels:  differential-equations
BoundaryValueDiffEq.jl
Boundary value problem (BVP) solvers for scientific machine learning (SciML)
Stars: ✭ 23 (-37.84%)
Mutual labels:  differential-equations
Schrodingers-Equation-Solution-by-Neural-Network-NN-
Artifitial Neural Networks for Solving Ordinary and Partial Differential Equations, in this case, Schrodinger's Equation for One Particle in a 1-Dimentional Box
Stars: ✭ 18 (-51.35%)
Mutual labels:  differential-equations
CIL-ReID
Benchmarks for Corruption Invariant Person Re-identification. [NeurIPS 2021 Track on Datasets and Benchmarks]
Stars: ✭ 71 (+91.89%)
Mutual labels:  robustness
CellMLToolkit.jl
CellMLToolkit.jl is a Julia library that connects CellML models to the Scientific Julia ecosystem.
Stars: ✭ 50 (+35.14%)
Mutual labels:  differential-equations
Kinetic.jl
Universal modeling and simulation of fluid dynamics upon machine learning
Stars: ✭ 82 (+121.62%)
Mutual labels:  differential-equations
Scientific-Programming-in-Julia
Repository for B0M36SPJ
Stars: ✭ 32 (-13.51%)
Mutual labels:  differential-equations
DiffEqDevTools.jl
Benchmarking, testing, and development tools for differential equations and scientific machine learning (SciML)
Stars: ✭ 37 (+0%)
Mutual labels:  differential-equations
HelicopterSciML.jl
Helicopter Scientific Machine Learning (SciML) Challenge Problem
Stars: ✭ 35 (-5.41%)
Mutual labels:  differential-equations
View All Similar Projects ➔

ClosedLoopReachability.jl

Build Status Documentation license Code coverage Join the chat at https://gitter.im/JuliaReach/Lobby

This package implements methods to analyze closed-loop control systems using reachability analysis.

Currently we support neural-network controllers.

📜 How to cite

If you use this package in your work, please cite it using the metadata in CITATION.bib.

Click to see BibTeX entry. 
@inproceedings{SchillingFG22,
  author    = {Christian Schilling and
               Marcelo Forets and
               Sebasti{\'{a}}n Guadalupe},
  title     = {Verification of Neural-Network Control Systems by Integrating {T}aylor
               Models and Zonotopes},
  booktitle = {{AAAI}},
  pages     = {8169--8177},
  publisher = {{AAAI} Press},
  year      = {2022},
  url       = {https://ojs.aaai.org/index.php/AAAI/article/view/20790},
  doi       = {10.1609/aaai.v36i7.20790}
}
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].