{"id":"arxiv/2610.17308","url":"https://arxiv.org/abs/2610.17308","tags":["eess.SY","cs.RO","math.PR"],"score":0,"title":"Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems","domain":"eess.SY","source":"arxiv","authors":["Tianyi Xia","Ryan K. Cosner"],"reviews":0,"subject":"eess.SY","summary":"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 governs guard-triggered resets. The input appears only in the reset kernel, where it determines the post-jump distribution. Certificates for such systems have so far assumed spontaneous or controller-chosen jump times, a finite horizon, or discrete-time dynamics; we certify, over the infinite horizon, that the target is reached before the unsafe set with at least a prescribed probability. First, we introduce…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}