Stability Analysis in Multi-Constraint Safety Filters for Linear Systems
For control engineers designing safety-critical systems, this work clarifies when safety filters preserve or degrade stability, but it is incremental as it extends existing CBF theory to multi-constraint linear systems.
The paper analyzes stability of multi-constraint safety filters for linear systems, showing that unstable modes can cause divergence or bounded behavior, and provides tractable LMI conditions for global exponential stability or boundedness.
Multi-constraint safety filters based on control barrier functions for linear systems with affine state constraints yield continuous piecewise-affine closed-loop dynamics and may introduce boundary equilibria and unstable active-set modes. Although they guarantee forward invariance, they can change nominal stability, and it remains unclear when unstable modes cause divergence versus bounded, convergent behavior. This paper develops a geometric framework to separate these cases: leveraging explicit active-set realizations, we show that equilibria associated with nonempty active sets lie on the corresponding constraint faces and that any unstable directions are tangent to those faces due to exponential enforcement of the active constraints. We characterize mode stability via a minimum-phase test, certify divergence under fixed active sets using recession cones, and derive tractable linear-matrix-inequality conditions for global exponential stability or boundedness using Lyapunov and LaSalle arguments.