barrier Lyapunov function