Control Lyapunov Function

A function V(x) > 0 for which there exists a control input u that makes V̇(x) ≤ 0, guaranteeing the system converges to the origin. CLFs are used to synthesize stabilizing controllers formally. Combined with Control Barrier Functions in a single QP, CLF-CBF controllers simultaneously guarantee stability and safety — a key framework for safe robot control.