{"id":"arxiv/2606.07892","url":"https://arxiv.org/abs/2606.07892","tags":["math.OC"],"score":0,"title":"Verification Framework for the Union of Control Barrier Functions","domain":"math.OC","source":"arxiv","authors":["Chuanrui Jiang","Andrew Clark"],"reviews":0,"subject":"math.OC","summary":"Control Barrier Functions (CBFs) have been proposed to ensure safety of autonomous systems. This paper considers control policies that switch between CBF constraints. Under this approach, we represent a complex non-convex safe region as a union of sets that are computationally tractable to verify. We denote this framework as union-CBFs and make the following contributions. First, considering switching CBF-QP controllers, we propose a sufficient condition that ensures (i) the system undergoes a finite number of switches in any finite time interval and ensures (ii) the forward invariance of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-05","reactions":{}}