On the Feasibility and Continuity of Feedback Controllers Defined by Multiple Control Barrier Functions for Constrained Differential Inclusions

Control barrier functions are a popular method for encoding safety specifications for dynamical systems. In this paper, a notion of control barrier function is defined that permits vector-valued barrier functions and flow constraints involving both the state and the control input. Control barrier functions induce constraints on the control input that, when satisfied, guarantee forward invariance of a safe set of states. The constraints are enforced using a pointwise-optimal feedback controller, and sufficient conditions for the continuity of the controller are given. The existence of a control barrier function is defined to be equivalent to the feasibility of the optimal feedback controller. Polynomial optimization problems based on sums of squares are formulated that can be used to certify that a given function is a control barrier function.