Multiple Pursuer-Based Intercept via Forward Stochastic Reachability

We discuss the multiple pursuer-based intercept of a threat unmanned aerial system (UAS) with stochastic dynamics via multiple pursuing UASs, using forward stochastic reachability and receding horizon control techniques. We formulate a stochastic model for the threat that can emulate the potentially adversarial behavior and is amenable to the existing scalable results in forward stochastic reachability literature. The optimal state for the intercept for each individual pursuer is obtained via a log-concave optimization problem, and the open-loop control paths are obtained via a convex optimization problem. With stochasticity modeled as a Gaussian process, we can approximate the optimization problem as a quadratic program, to enable real-time path planning. We also incorporate real-time sensing into the path planning by using a receding horizon controller, to improve the intercept probabilities. We validate the proposed framework via hardware experiments.