reachable-sets

There are 0 repository under reachable-sets topic.

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-analysis reachable-sets formal-methods parallel-algorithm pfaces growth-bound monte-carlo-simulation interval-rechability mixed-monotone dynamical-system
Language:C++ 5
IllinoisReliableAutonomyGroup / NeuReach
NeuReach: Learning Reachability Functions from Simulations
autonomous-systems cyber-physical-systems neural-networks reachability-analysis reachable-sets
Language:Python 2
Costopoulos / helperOC
:rocket::airplane::dart: Fork of HJReachability's helperOC library for the MATLAB development part of my Master's Thesis on Hamilton Jacobi Reachability in collaboration with Georgia Tech's School of Aerospace Engineering.
hamilton-jacobi-bellman hamilton-jacobi-reachability hamiltonian hjb ode optimal-control reach-avoid reachable-sets reachable-tubes
Language:MATLAB 1

mkhaled87 / pFaces-PIRK