Unifying Complementarity Constraints and Control Barrier Functions for Safe Whole-Body Robot Control
Abstract
Safety-critical whole-body robot control demands reactive methods that ensure collision avoidance in real-time. Complementarity constraints and control barrier functions (CBF) have emerged as core tools for ensuring such safety constraints, and each represents a well-developed field. Despite addressing similar problems, their connection remains largely unexplored. This paper bridges this gap by formally proving the equivalence between these two methodologies for sampled-data, first-order systems, considering both single and multiple constraint scenarios. By demonstrating this equivalence, we provide a unified perspective on these techniques. This unification has theoretical and practical implications, facilitating the cross-application of robustness guarantees and algorithmic improvements between complementarity and CBF frameworks. We discuss these synergistic benefits and motivate future work in the comparison of the methods in more general cases.
Fields of Study & Subjects
Real-time simulation and control systems
Prosthetics and Rehabilitation Robotics
Formal Methods in Verification
Publication details
- Journal / source
- IEEE Transactions on Automatic Control
- Pages
- 1–7
- Publication date
- 1 January 2026
- Language
- EN