MH Cohen, RK Cosner, AD Ames - arXiv preprint arXiv:2406.02709, 2024 - arxiv.org
Certifying the safety of nonlinear systems, through the lens of set invariance and control
barrier functions (CBFs), offers a powerful method for controller synthesis, provided a CBF …