Neural Barriers: An Online Certifiable Learning-enhanced Adaptive High Order Safety Critical Control

Lishuo Pan, Mattia Catellani, An Cao +2

Control barrier functions are an effective model-based tool to formally certify the safety of a system. However, transferring their theoretical guarantees to real-world robotics sy…