reachability-analysis

There are 2 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.

  vulnerability-scannerscvedependency-analysisrisk-auditcontainerssbomscadependency-auditcompliancecyclonedxdevsecopssecurity-auditsecurity-toolsvexreachability-analysissupply-chain-security
  Language:Python 975

• JuliaReach / LazySets.jl

  Scalable symbolic-numeric set computations in Julia

  juliaconvex-setsformal-verificationreachability-analysislazy-evaluationpolyhedraconvex-hullcalculussetsgeometrygeometry-algorithmscomputational-geometryzonotopepolygonsminkowski-sumprojectionsset-propagation
  Language:Julia 226

• JuliaReach / ReachabilityAnalysis.jl

  Computing reachable states of dynamical systems in Julia

  numerical-analysishybrid-systemsformal-verificationcyber-physical-systemsreachability-analysisrigorous-numericsdifferential-equationsinterval-arithmeticdynamical-systemscontrol-systemsverificationodejuliaautomatic-controlsimulationsset-propagationflowpipe
  Language:Julia 188

• verivital / nnv

  Neural Network Verification Software Tool

  assured-autonomyautonomycyber-physicalcyber-physical-systemsformal-methodsformal-verificationhybrid-systemsneural-networkneural-network-certificationneural-network-verificationreachabilityreachability-analysisrobustness-verificationsafe-aisafe-autonomytrustworthy-aitrustworthy-machine-learningverification
  Language:MATLAB 107

• neu-autonomy / nfl_veripy

  Formal Verification of Neural Feedback Loops (NFLs)

  robustness-verificationneural-networkscontrol-systemsadversarial-attacksreachability-analysisdeep-learningrobotics
  Language:Python 73

• aalanwar / Data-Driven-Predictive-Control

  Data-Driven Predictive Control

  mpcdata-drivenzonotopereachability-analysisdata-driven-predictive-controlpredictive-control
  Language:MATLAB 52

• JuliaReach / Reachability.jl

  Reachability and Safety of Nondeterministic Dynamical Systems

  dynamical-systemscontrol-systemsformal-verificationreachability-analysishybrid-systemsengineeringcontrol-theoryverificationcyber-physical-systemsodejuliaautomatic-controlsimulations
  Language:Julia 50

• AppThreat / atom

  Atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.

  code-analysissupply-chainintermediate-representationapplication-analyticsexploit-predictionreachability-analysisvariant-analysisvulnerability-analysis
  Language:Rust 43

• hypro / hypro

  HyPro: A C++ state set representation library for the analysis of hybrid systems

  hybrid-systemsreachability-analysisflowpipe-constructionhybrid-automata
  Language:C++ 29

• ariadne-cps / ariadne

  C++ framework for rigorous computation on cyber-physical systems

  numerical-analysishybrid-systemsformal-verificationcyber-physical-systemsreachability-analysisinterval-arithmetic
  Language:C++ 28

• hbgit / Map2Check

  Map2Check: Finding Software Vulnerabilities

  csoftware-verificationpointer-analysisreachability-analysisoverflow
  Language:SWIG 27

• nicolasAmat / SMPT

  SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

  petri-netsmodel-checkerreachabilityreachability-analysismodel-checkingsmtsatsmt-solvingreductionsstructural-reductionsabstractionlinear-algebra
  Language:Python 27

• aalanwar / Data-Driven-Reachability-Analysis

  Data Driven Reachability Analysis from Noisy Data

  reachability-analysisdata-drivenzonotope
  Language:MATLAB 20

• JuliaReach / IntervalMatrices.jl

  Matrices with interval coefficients in Julia

  interval-arithmeticintervalsmatrix-computationsmatrix-exponentialreachability-analysis
  Language:Julia 18

• unl-nimbus-lab / pymavswarm

  Python library used to safely control drone swarms and drone fleets with MAVLink

  swarmmavlinkdroneardupilotpx4reachability-analysisrobotics-safetyformal-verificationsafetyuavrobotics
  Language:Python 18

• JmfanBU / ReachNNStar

  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)

  reachability-analysisverificationdistillationneural-networksknowledge-distillationneural-network-controlled-systems
  Language:C++ 17

• lukaszbudnik / yosoy

  yosoy is an HTTP service for stubbing and prototyping distributed applications.

  kubernetesdistributed-systemsdockergolanggostubbingdocker-imageprototypingpingreachability-analysis
  Language:Go 11

• ASAG-ISCAS / PyBDR

  Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

  interval-arithmeticreachability-analysis
  Language:Python 9
• Data-Driven-ST-MPC

  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).

  constrained-optimizationcontrol-systemsreachability-analysiszonotope
  Language:MATLAB 7

• 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.

  reachability-analysisreachable-setsformal-methodsparallel-algorithmpfacesgrowth-boundmonte-carlo-simulationinterval-rechabilitymixed-monotonedynamical-system
  Language:C++ 6

• JuliaReach / LazySets-JuliaCon21

  LazySets.jl article for the JuliaCon 2021 Conference Proceedings

  set-propagationreachability-analysishybrid-systemsupport-functionformal-verification
  Language:TeX 5

• modestyachts / stochastic-rec-reachability

  We propose an audit tool for recommendation systems based on notions of algorithmic rechability.

  recommender-systemrecommendation-systemmachine-learning-algorithmsauditfairness-mlreachabilityreachability-analysisicml-2021
  Language:Jupyter Notebook 5

• jaredmejia / dadra

  Python Library for Data-Driven Reachability Analysis.

  pythoncontrol-theorydadrapac-analysisreachability-analysiscontrol-systemsdynamical-systems
  Language:Python 4

• albertovalerio / petri-nets-tool-reactjs

  A tool to draw Petri Nets and analyze their static and dynamic behavior.

  liveness-analysispetri-netpetri-netspetrinetpetrinetsreachability-analysisreactflowreactjsredux-toolkit
  Language:CSS 3

• cosynus-lix / STAR

  Implementation of STAR from the paper "Reconciling Spatial and Temporal Abstractions for Goal Representation" (ICLR 2024)

  hierarchical-reinforcement-learningreachability-analysisreinforcement-learningrepresentation-learningroboticsgoal-abstraction
  Language:C 3
• Petri-net-Analysis-Tools

  dbera / Petri-net-Analysis-Tools

  PnAT tools help you visualize and analyze properties of Petri nets specified in PNML format

  petri-netpetri-netsreachability-analysisvisualizationanalysis
  Language:Java 3

• IllinoisReliableAutonomyGroup / NeuReach

  NeuReach: Learning Reachability Functions from Simulations

  autonomous-systemscyber-physical-systemsneural-networksreachability-analysisreachable-sets
  Language:Python 3

• marip8 / reach

  reachabilityreachability-analysisrosros-industrial
  Language:C++ 3

• rtsaad / mercury

  High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).

  formal-verificationmodel-checkingmodel-checkerformal-methodsparallel-computingcctl-formulasprobabilisticreachability-analysismulticore
  Language:C 3

• ShaoruChen / NN-System-Reachability

  Finite-step reachable set over-approximation of NN dynamical systems using the one-shot and recursive methods.

  reachability-analysisneural-network-dynamicsone-shot-reachability
  Language:Python 3

• 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.

  constrained-optimizationcontrol-systemscybersecuritydata-drivenset-theoryreachability-analysiszonotope
  Language:MATLAB 2

• 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).

  constrained-optimizationcontrol-systemsreachability-analysiszonotope
  Language:MATLAB 2
• reachab

  ga74kud / reachab

  Reachability Analysis for Hybrid Systems

  reachability-analysis
  Language:Python 2

• Manavvora / RiP_Planner

  RiP: RTD based (Ri)sk Aware Planner

  adversarypath-planningplannerreachability-analysisrisk-minimizationrtd
  Language:Python 2

• 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.

  cyber-physical-systemscybersecuritympc-controloptimizationreachability-analysisset
  Language:MATLAB 2

• rssalessio / Py-Data-Driven-Reachability-Analysis

  Python implementation of data-driven reachability analysis using Zonotopes

  controldata-drivenpythonreachabilityreachability-analysiszonotope
  Language:Python 2