Providing guarantees of safety and synthesis of admissible controllers for stochastic dynamical systems using optimization, Fourier transforms, and computational geometry
A repeatability-tested, open-source, MATLAB toolbox for scalable stochastic reachability computation for stochastic linear systems
A sampling-free estimation of collision probability and motion planning using successive convexification
A grid-free, recursion-free, and sampling-free estimation of events with convexity guarantees
Demonstration of stochastic reachability analysis
A grid-free, recursion-free, and sampling-free estimation of events with convexity guarantees