Bounded horizon Taylor expansion based reachability analysis for non-linear continuous systems
-
Updated
Apr 10, 2023 - Jupyter Notebook
Bounded horizon Taylor expansion based reachability analysis for non-linear continuous systems
Quadratization preprocessing for the reachability Problem of ODE
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
A HL Symbolic Execution Engine Prototype for Reachability
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
Demo project for microservice architecture with Petri nets.
We propose an audit tool for recommendation systems based on notions of algorithmic rechability.
A bash script to test access to the Stripe API
Repository of my work with Hybrid Systems, covering topics from Reachability Analysis to Predicate Logic
DSML 4 Kidz Reachability Server
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.
Implementation of STAR from the paper "Reconciling Spatial and Temporal Abstractions for Goal Representation" (ICLR 2024)
NeuReach: Learning Reachability Functions from Simulations
Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
RiP: RTD based (Ri)sk Aware Planner
A tool to draw Petri Nets and analyze their static and dynamic behavior.
PnAT tools help you visualize and analyze properties of Petri nets specified in PNML format
This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST-MPC).
Add a description, image, and links to the reachability-analysis topic page so that developers can more easily learn about it.
To associate your repository with the reachability-analysis topic, visit your repo's landing page and select "manage topics."