Control Lyapunov functions (CLFs) and control barrier functions (CBFs) have been used to develop provably safe controllers by means of quadratic programs (QPs), guaranteeing safety in the form of ...

The problem discussed is that of designing a controller for a linear system that renders a quadratic functional nonnegative. Our formulation and solution of this problem is completely ...