Why safety professionals need a new class of logic solver, one that bridges the enormous gap between safety PLCs and single-loop devices.

Abstract: This survey provides a brief overview on the control Lyapunov function (CLF) and control barrier function (CBF) for general nonlinear-affine control systems. The problem of control is ...