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
A HL Symbolic Execution Engine Prototype for Reachability
DSML 4 Kidz Reachability Server
A bash script to test access to the Stripe API
Demo project for microservice architecture with Petri nets.
Quadratization preprocessing for the reachability Problem of ODE
Repository of my work with Hybrid Systems, covering topics from Reachability Analysis to Predicate Logic
Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
SpaceEx tutorials and features
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!)
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
Python implementation of data-driven reachability analysis using Zonotopes
an Interval arithmetic based reachability analysis Framework designed for hybrid automatons
RiP: RTD based (Ri)sk Aware Planner
This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST-MPC).
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
Finite-step reachable set over-approximation of NN dynamical systems using the one-shot and recursive methods.
NeuReach: Learning Reachability Functions from Simulations
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."