Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems

Tianyi Xia, Ryan K. Cosner

This work studies certified reach-avoid control of stochastic hybrid systems in which a stochastic differential equation governs continuous flow and a controlled stochastic kernel…