From Vertices to Convex Hulls: Certifying Set-Wise Compatibility for CBF Constraints

Shima Sadat Mousavi, Xiao Tan, Aaron D. Ames

This paper develops certificates that propagate compatibility of multiple control barrier function (CBF) constraints from sampled vertices to their convex hull. Under mild concavit…