Safe Stabilising Full-Order Affine Control Barrier Functions for Linear Systems (Extended)

Abstract

Control barrier function safety filters enforce constraints by modifying a nominal input, but the resulting switching can destabilise the closed loop even when the nominal and filtered modes are individually stable. This paper presents a design framework for safe and globally exponentially stabilising controllers for linear systems with a single full-relative-degree affine constraint. We show that the filtered-mode spectrum is fixed by the barrier tuning and is independent of the plant, nominal controller, and quadratic-program weighting. This structure yields an explicit nominal controller for which the safety filter remains inactive everywhere. For a prescribed nominal controller, we prove that the nominal and filtered modes admit a strong common quadratic Lyapunov function if and only if the ratio of the nominal characteristic polynomial to the barrier polynomial is strongly strictly positive real. This equivalence characterises the existence of a common quadratic Lyapunov and provides a scalar frequency-domain test, along with an explicit interval of admissible gains. Building on these results, the extended analysis derives an explicit common storage function and reduces an existing LMI synthesis condition to a feasibility test in a single matrix variable. A flexible two-mass example explains a known instability mechanism and demonstrates how the proposed design restores safety and global exponential stability.