reachability-analysis
There are 48 repositories under reachability-analysis topic.
owasp-dep-scan/dep-scan
OWASP dep-scan is a next-generation security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies. Both local repositories and container images are supported as the input, and the tool is ideal for integration.
JuliaReach/LazySets.jl
Scalable symbolic-numeric set computations in Julia
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
verivital/nnv
Neural Network Verification Software Tool
neu-autonomy/nfl_veripy
Formal Verification of Neural Feedback Loops (NFLs)
aalanwar/Data-Driven-Predictive-Control
Data-Driven Predictive Control
AppThreat/atom
Atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.
JuliaReach/Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
hypro/hypro
HyPro: A C++ state set representation library for the analysis of hybrid systems
ariadne-cps/ariadne
C++ framework for rigorous computation on cyber-physical systems
hbgit/Map2Check
Map2Check: Finding Software Vulnerabilities
nicolasAmat/SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
aalanwar/Data-Driven-Reachability-Analysis
Data Driven Reachability Analysis from Noisy Data
JuliaReach/IntervalMatrices.jl
Matrices with interval coefficients in Julia
JmfanBU/ReachNNStar
Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
unl-nimbus-lab/pymavswarm
Python library used to safely control drone swarms and drone fleets with MAVLink
ASAG-ISCAS/PyBDR
Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
lukaszbudnik/yosoy
yosoy is an HTTP service for stubbing and prototyping distributed applications.
PreCyseGroup/Data-Driven-ST-MPC
This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST-MPC).
jaredmejia/dadra
Python Library for Data-Driven Reachability Analysis.
mkhaled87/pFaces-PIRK
A tool for parallel computation of interval over-approximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reachability Kernel.
roahmlab/crows
CROWS: Conformalized Reachable Sets for Obstacle Avoidance With Spheres
attarmehran/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
JuliaReach/LazySets-JuliaCon21
LazySets.jl article for the JuliaCon 2021 Conference Proceedings
modestyachts/stochastic-rec-reachability
We propose an audit tool for recommendation systems based on notions of algorithmic rechability.
cosynus-lix/STAR
Implementation of STAR from the paper "Reconciling Spatial and Temporal Abstractions for Goal Representation" (ICLR 2024)
dbera/Petri-net-Analysis-Tools
PnAT tools help you visualize and analyze properties of Petri nets specified in PNML format
albertovalerio/petri-nets-tool-reactjs
A tool to draw Petri Nets and analyze their static and dynamic behavior.
IllinoisReliableAutonomyGroup/NeuReach
NeuReach: Learning Reachability Functions from Simulations
PreCyseGroup/data-driven-tracking-supervisor
This repository provides the codes for designing a data-driven control architecture for preserving the safety and tracking performance of constrained cyber-physical systems under networked attacks. (coming soon!)
rtsaad/mercury
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
ShaoruChen/NN-System-Reachability
Finite-step reachable set over-approximation of NN dynamical systems using the one-shot and recursive methods.
attarmehran/Data-Driven-ST-MPC
This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST-MPC).
Manavvora/RiP_Planner
RiP: RTD based (Ri)sk Aware Planner
PreCyseGroup/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.