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.

NeuReach: Learning Reachability Functions from Simulations

🚀✈️🎯 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.

DA-MMAE Reachable Sets Framework Novel integration of Differential Algebra and Multiple Model Adaptive Estimation for fast uncertainty propagation and real-time detection of unknown impulsive maneuvers in orbital dynamics. Enables robust orbit determination and reachable-set computation for space situational awareness and autonomous space mission.