Abstract: In nonlinear control, barrier Lyapunov function is frequently utilized to handle state constraints; however, a feasibility condition for virtual signals often needs to be verified. In ...