SafeSpace: Aggregating Safe Sets from Backup Control Barrier Functions under Input Constraints
For control systems engineers, this work provides a method to enlarge the certified safe operating region by combining multiple safe sets, reducing conservatism in safety-critical applications.
This paper addresses the conservatism of certified safe operating regions in control systems under input constraints by proposing a framework to aggregate multiple independently certified safe sets into a single certified safe set using combinatorial control barrier functions (CBFs). The method is demonstrated on spacecraft safety problems, where it expands the operational envelope by combining safe regions.
Control barrier functions (CBFs) provide a principled framework for enforcing safety in control systems -- yet the certified safe operating region in practice is often conservative, especially under input bounds. In many applications, multiple smaller safe sets can be certified independently, e.g., around distinct equilibria with different stabilizing controllers. This paper proposes a framework for uniting such regions into a single certified safe set using \emph{combinatorial CBFs}. We refine the combinatorial CBF framework by introducing an auxiliary variable that enables logical compositions of individual CBFs. In the proposed framework, we show that such compositions yield a \emph{generalized combinatorial CBF} under a condition termed \emph{conjunctive compatibility}. Building on this result, we extend the framework to enable the aggregation of multiple implicit safe sets generated by the backup CBF framework. We show that the resulting CBF-based quadratic program yields a continuous safety filter over the aggregated safe region. The approach is demonstrated on two spacecraft safety problems, safe attitude control and safe station keeping, where multiple certified safe regions are combined to expand the operational envelope.