JuliaReach/LazySets.jl

Scalable symbolic-numeric set computations in Julia

Language: Julia - Size: 36.1 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 226 - Forks: 32

JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Language: Julia - Size: 9.56 MB - Last synced: about 12 hours ago - Pushed: 26 days ago - Stars: 187 - Forks: 17

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.

Language: Python - Size: 11.4 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 877 - Forks: 88

AppThreat/atom

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

Language: Rust - Size: 18.4 MB - Last synced: 3 days ago - Pushed: about 1 month ago - Stars: 27 - Forks: 1

PreCyseGroup/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS Fork of attarmehran/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS

This repository contains the codebase for simulating a data-driven safety-preserving control architecture designed for cyber-physical systems operating under constraints and againts cyber attacks.

Language: MATLAB - Size: 4.68 MB - Last synced: 10 days ago - Pushed: 10 days ago - Stars: 4 - Forks: 2

JuliaReach/IntervalMatrices.jl

Matrices with interval coefficients in Julia

Language: Julia - Size: 580 KB - Last synced: 26 days ago - Pushed: 26 days ago - Stars: 18 - Forks: 2

jmscslgroup/DSML4KidsReachabilityServer

DSML 4 Kidz Reachability Server

Language: Python - Size: 54.7 KB - Last synced: 29 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

ariadne-cps/ariadne

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

Language: C++ - Size: 19.1 MB - Last synced: about 20 hours ago - Pushed: about 21 hours ago - Stars: 25 - Forks: 9

verivital/nnv

Neural Network Verification Software Tool

Size: 2.64 GB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 100 - Forks: 48

ASAG-ISCAS/PyBDR

Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

Language: Python - Size: 5.07 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 8 - Forks: 1

jaredmejia/dadra

Python Library for Data-Driven Reachability Analysis.

Language: Python - Size: 37 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 4 - Forks: 2

cosynus-lix/STAR

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

Language: C - Size: 40.5 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

neu-autonomy/nfl_veripy

Formal Verification of Neural Feedback Loops (NFLs)

Language: Python - Size: 66.4 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 71 - Forks: 16

aalanwar/Data-Driven-Reachability-Analysis

Data Driven Reachability Analysis from Noisy Data

Language: MATLAB - Size: 8.82 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 17 - Forks: 6

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.

Language: MATLAB - Size: 4.67 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 2 - Forks: 3

unl-nimbus-lab/pymavswarm

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

Language: Python - Size: 343 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 18 - Forks: 2

aalanwar/Data-Driven-Predictive-Control

Data-Driven Predictive Control

Language: MATLAB - Size: 5.99 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 32 - Forks: 8

ShaoruChen/NN-System-Reachability

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

Language: Python - Size: 338 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 1

lukaszbudnik/yosoy

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

Language: Go - Size: 106 KB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 11 - Forks: 5

dbera/Petri-net-Analysis-Tools

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

Language: Java - Size: 128 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 0

marip8/reach Fork of ros-industrial/reach

Language: C++ - Size: 1.34 MB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 3 - Forks: 0

nicolasAmat/SMPT

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

Language: Python - Size: 8.91 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 25 - Forks: 4

hypro/hypro

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

Language: C++ - Size: 331 MB - Last synced: 7 months ago - Pushed: 9 months ago - Stars: 27 - Forks: 8

mkhaled87/pFaces-PIRK Fork of alexdevonport/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.

Language: C++ - Size: 15.7 MB - Last synced: 8 months ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

JmfanBU/ReachNNStar

Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)

Language: C++ - Size: 253 MB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 16 - Forks: 4

hbgit/Map2Check

Map2Check: Finding Software Vulnerabilities

Language: SWIG - Size: 1.02 GB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 25 - Forks: 9

modestyachts/stochastic-rec-reachability

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

Language: Jupyter Notebook - Size: 56.6 MB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 0

readcast/stripe-reachability Fork of stripe/stripe-reachability

A bash script to test access to the Stripe API

Size: 4.88 KB - Last synced: 10 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

yubocai-poly/Reachability-Problem-of-ODE

Quadratization preprocessing for the reachability Problem of ODE

Language: Jupyter Notebook - Size: 23.5 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

albertovalerio/petri-nets-tool-reactjs

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

Language: CSS - Size: 270 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

Manavvora/RiP_Planner Fork of gokulp01/RiP-Planner

RiP: RTD based (Ri)sk Aware Planner

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

JuliaReach/LazySets-JuliaCon21

LazySets.jl article for the JuliaCon 2021 Conference Proceedings

Language: TeX - Size: 25.5 MB - Last synced: over 1 year ago - Pushed: over 2 years ago - Stars: 5 - Forks: 1

JuliaReach/Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

Language: Julia - Size: 1.77 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 50 - Forks: 4

JianqiangDing/irafhy

an Interval arithmetic based reachability analysis Framework designed for hybrid automatons

Language: C++ - Size: 46.5 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1

rssalessio/Py-Data-Driven-Reachability-Analysis

Python implementation of data-driven reachability analysis using Zonotopes

Language: Python - Size: 88.9 KB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

JuliaReach/SetPropagation-FEM-JuliaCon21

Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl

Language: TeX - Size: 46 MB - Last synced: 4 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

zzzeeshannn/Hybrid-Systems-and-Trusted-Autonomy

Repository of my work with Hybrid Systems, covering topics from Reachability Analysis to Predicate Logic

Language: Python - Size: 591 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

nikos-kekatos/SpaceEx-tutorials

SpaceEx tutorials and features

Language: Jupyter Notebook - Size: 3.22 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 2

ga74kud/reachab

Reachability Analysis for Hybrid Systems

Language: Python - Size: 3.31 MB - Last synced: 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

tuplle/micro-petri

Demo project for microservice architecture with Petri nets.

Language: Java - Size: 52.7 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rtsaad/mercury

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

Language: C - Size: 600 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0