“…However, the forward-invariant property relies on the solution feasibility, i.e., as long as a control solution satisfying the CBF constraints can be found at each time step, then the safety for future time steps can always be guaranteed. In reality, we may not always find such a solution and alternative solutions include switching to a full braking mode [12], [14]. However, this could lead to serious consequences in autonomous driving scenarios, e.g., when there is another vehicle behind the ego vehicle, or it is too late for the AVs to stop.…”