A Learning-Based Method for Computing Control Barrier Functions of Nonlinear Systems With Control Constraints
Verifying the safety of states and designing a safety controller are very important for safety critical systems (for example, robotic and automotive systems). Since the reachable set of a state is hard to calculate online, it is difficult to determine whether the current state will enter the unsafe