reachable-sets

There are 3 repositories 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.

    Language:C++6100

  • IllinoisReliableAutonomyGroup/NeuReach

    NeuReach: Learning Reachability Functions from Simulations

    Language:Python3200

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

    Language:MATLAB2100