pith. sign in

arxiv: 2604.15477 · v1 · submitted 2026-04-16 · 📡 eess.SY · cs.SY

Safety Filtering with an Infinite Number of Constraints

Max H. Cohen , Pio Ong , Pol Mestres , Aaron D. Ames This is my paper

Pith reviewed 2026-05-10 10:14 UTC · model grok-4.3

classification 📡 eess.SY cs.SY
keywords control barrier functionsinfinite constraintsNagumo's theoremforward invariancesafety filteringcontinuous controllersbackup CBFsoptimal-decay CBFs
0
0 comments X

The pith

Control barrier functions can enforce safety for sets defined by infinitely many constraints under identified regularity conditions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends control barrier function theory from finite to infinite numbers of safety constraints in dynamical systems. It finds regularity conditions on the constraint functions that let Nagumo's theorem for forward invariance reduce to simple barrier inequalities, much as in the finite case. These same conditions guarantee that the resulting CBF-based controllers are at least continuous. The work also links the theoretical invariance conditions to practical optimal-decay barrier functions and shows how the extension fixes shortcomings in backup barrier function methods.

Core claim

Under regularity conditions such as continuity or Lipschitz continuity on the infinite family of constraint functions, Nagumo's theorem reduces to barrier-like inequalities. This reduction permits the definition of control barrier functions for the associated safe sets, yields controllers that are at least continuous, and connects the invariance conditions directly to optimal-decay CBF implementations that address limitations of backup CBFs.

What carries the argument

The reduction of Nagumo's theorem to barrier inequalities for an infinite family of constraint functions under regularity conditions, which enables continuous CBF controllers.

If this is right

  • Forward invariance of the safe set holds when the barrier inequality is satisfied at each instant, even though the set is defined by infinitely many constraints.
  • The quadratic program that computes the CBF controller produces at least continuous control signals under the regularity conditions.
  • Theoretical invariance conditions connect directly to optimal-decay CBFs that can be implemented in practice.
  • Limitations previously observed with backup CBFs are resolved by treating the problem as an infinite-constraint case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same regularity lens could be applied to safety specifications that involve uncountably many constraints, such as dense obstacle fields in robotics.
  • Many practical problems that appear to require discretization of infinite constraints may admit exact continuous controllers without approximation.
  • The approach suggests a route for importing other classical invariance theorems into the CBF setting when the number of constraints is infinite.

Load-bearing premise

The infinite family of constraint functions must satisfy regularity conditions such as continuity or Lipschitz continuity.

What would settle it

A concrete dynamical system with an infinite family of constraints that violates the regularity conditions, where enforcing candidate barrier inequalities still allows a trajectory to leave the safe set or produces a discontinuous controller.

Figures

Figures reproduced from arXiv: 2604.15477 by Aaron D. Ames, Max H. Cohen, Pio Ong, Pol Mestres.

Figure 1
Figure 1. Figure 1: Closed-loop vector field the double integrator under the backup [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
read the original abstract

Control barrier functions (CBFs) provide a rigorous framework for designing controllers enforcing safety constraints. While CBF theory is well-developed for a finite number of safety constraints, certain applications, e.g., backup CBFs, require an infinite number of constraints. Despite the practical success of CBFs, several fundamental questions remain unanswered when safe sets are defined with an infinite numbers of constraints, including: necessary and sufficient conditions for forward set invariance, the actual definition of CBFs associated with these sets, the regularity properties of the resulting controllers, and the ability to reduce a collection of infinite constraints to a finite number. This paper addresses these questions by extending CBF theory to the infinite constraint setting. We identify regularity conditions under which Nagumo's Theorem reduces to barrier-like inequalities and when the associated CBF controllers are at least continuous. We further connect these results to optimal-decay CBFs, bridging theoretical conditions for invariance and practical instantiations of the resulting controller. Finally, we illustrate how the developed theory addresses limitations of backup CBFs.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript extends control barrier function (CBF) theory from finite to infinite families of safety constraints. It identifies regularity conditions (continuity or Lipschitz properties on the constraint family) under which Nagumo's theorem reduces to barrier-type inequalities for forward invariance, derives conditions ensuring the associated CBF controllers are at least continuous, connects the results to optimal-decay CBF constructions, and applies the framework to overcome specific limitations of backup CBFs.

Significance. If the regularity conditions prove mild and the derivations hold without hidden restrictions, the work fills a genuine gap in CBF theory for applications that naturally involve infinitely many constraints. The explicit link between invariance conditions and practical controller instantiations via optimal-decay rates is a useful bridge, and the backup-CBF illustration demonstrates immediate relevance. The results could support safer filtering in systems where finite approximations are undesirable.

major comments (2)
  1. [Nagumo reduction theorem] The central reduction of Nagumo's theorem to a barrier inequality (abstract and the section deriving the infinite-constraint case) is load-bearing for all subsequent claims. The manuscript must state the precise regularity hypotheses (e.g., uniform continuity of the family or compactness of the index set) in a self-contained theorem so that readers can verify the reduction does not tacitly assume finite-dimensional compactness.
  2. [Controller regularity] The continuity claim for the CBF controller (the section on regularity properties of the controller) depends on the same regularity assumptions; an explicit counter-example showing discontinuity when the conditions are dropped would strengthen the necessity part of the result.
minor comments (2)
  1. [Introduction] Notation for the infinite family of barrier functions h_i(x) should be introduced with a concrete motivating example (e.g., a continuum of half-space constraints) before the general theorems.
  2. [Optimal-decay CBF section] A short remark comparing the obtained controller to the standard finite-CBF quadratic program would help readers see the incremental computational cost.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for the constructive comments, which help strengthen the rigor and clarity of the presentation. We address each major comment below and will incorporate the suggested revisions.

read point-by-point responses

  1. Referee: [Nagumo reduction theorem] The central reduction of Nagumo's theorem to a barrier inequality (abstract and the section deriving the infinite-constraint case) is load-bearing for all subsequent claims. The manuscript must state the precise regularity hypotheses (e.g., uniform continuity of the family or compactness of the index set) in a self-contained theorem so that readers can verify the reduction does not tacitly assume finite-dimensional compactness.

    Authors: We agree that the regularity hypotheses should be stated explicitly and self-containedly. In the revised manuscript we will extract the central reduction into a standalone theorem that lists the precise conditions (uniform continuity of the constraint family with respect to the index, or compactness of the index set together with continuity) required for Nagumo's theorem to reduce to the barrier inequality. The theorem statement will be independent of the surrounding discussion so that the hypotheses are immediately verifiable. revision: yes

  2. Referee: [Controller regularity] The continuity claim for the CBF controller (the section on regularity properties of the controller) depends on the same regularity assumptions; an explicit counter-example showing discontinuity when the conditions are dropped would strengthen the necessity part of the result.

    Authors: We appreciate the suggestion to demonstrate necessity. In the revised version we will include a concise counter-example (a simple scalar system with a non-continuous family of constraints) showing that the associated CBF controller can fail to be continuous when the regularity conditions are violated. This example will be placed immediately after the continuity theorem to highlight the role of the hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's core derivation applies the classical Nagumo theorem to an infinite family of constraints once regularity conditions (continuity or Lipschitz) are imposed on the constraint functions. This yields barrier-type inequalities and continuity of the resulting CBF controller as standard consequences, without any self-definitional reduction, fitted-input-as-prediction, or load-bearing self-citation chain. Connections to optimal-decay CBFs and backup CBFs are presented as extensions that bridge theory to practice, but the central claims remain independent of the paper's own fitted quantities or prior unverified results. The argument is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on classical results from set-valued analysis and control theory rather than new postulates or fitted quantities.

axioms (1)
  • standard math Nagumo's theorem on forward invariance of sets for differential inclusions
    Invoked to obtain barrier-like inequalities once regularity conditions on the infinite constraint family are imposed.

pith-pipeline@v0.9.0 · 5476 in / 1185 out tokens · 35686 ms · 2026-05-10T10:14:52.448059+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Control barrier function based quadratic programs for safety critical systems,

    A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs for safety critical systems,”IEEE Trans. Autom. Control, vol. 62, no. 8, pp. 3861–3876, 2017. 3Various results establish the existence of these classKfunctions when SI is compact [18] but do not provide procedures for obtaining them

    work page 2017

  2. [2]

    Blanchini and S

    F. Blanchini and S. Miani,Set-theoretic methods in control. Springer, 2008

    work page 2008

  3. [3]

    ¨Uber die lage der integralkurven gew ¨ohnlicher differ- entialgleichungen,

    M. Nagumo, “ ¨Uber die lage der integralkurven gew ¨ohnlicher differ- entialgleichungen,”Proceedings of the Physico-Mathematical Society of Japan. 3rd Series, vol. 24, pp. 551–559, 1942

    work page 1942

  4. [4]

    Predictive control barrier functions: Enhanced safety mechanisms for learning-based control,

    K. Wabersich and M. Zeilinger, “Predictive control barrier functions: Enhanced safety mechanisms for learning-based control,”IEEE Trans. Autom. Control, vol. 68, no. 5, 2022

    work page 2022

  5. [5]

    Robust control barrier–value functions for safety-critical control,

    J. J. Choi, D. Lee, K. Sreenath, C. J. Tomlin, and S. L. Herbert, “Robust control barrier–value functions for safety-critical control,” in Proc. Conf. Decis. Control, pp. 6814–6821, 2021

    work page 2021

  6. [6]

    Abraham, J

    R. Abraham, J. E. Marsden, and T. Ratiu,Manifolds, tensor analysis, and applications. Addison-Wesley, 1983

    work page 1983

  7. [7]

    Characterizing safety: Minimal control barrier functions from scalar comparison systems,

    R. Konda, A. D. Ames, and S. Coogan, “Characterizing safety: Minimal control barrier functions from scalar comparison systems,” IEEE Contr. Syst. Lett., vol. 5, no. 2, pp. 523–528, 2021

    work page 2021

  8. [8]

    Nonsmooth barrier func- tions with applications to multi-robot systems,

    P. Glotfelter, J. Cort ´es, and M. Egerstedt, “Nonsmooth barrier func- tions with applications to multi-robot systems,”IEEE Contr. Syst. Lett., vol. 1, no. 2, pp. 310–315, 2017

    work page 2017

  9. [9]

    Constrained control of input–output linearizable systems using control sharing barrier functions,

    X. Xu, “Constrained control of input–output linearizable systems using control sharing barrier functions,”Automatica, vol. 87, 2018

    work page 2018

  10. [10]

    Compositions of multiple control barrier functions under input constraints,

    J. Breeden and D. Panagou, “Compositions of multiple control barrier functions under input constraints,” inProc. Amer. Control Conf., pp. 3688–3695, 2023

    work page 2023

  11. [11]

    On the feasibility and continuity of feedback controllers defined by multiple control barrier functions,

    A. Isaly, M. Ghanbarpour, R. G. Sanfelice, and W. E. Dixon, “On the feasibility and continuity of feedback controllers defined by multiple control barrier functions,”IEEE Trans. Autom. Control, 2024

    work page 2024

  12. [12]

    Compatibility of multiple control barrier functions for constrained nonlinear systems,

    M. H. Cohen, E. Lavretsky, and A. D. Ames, “Compatibility of multiple control barrier functions for constrained nonlinear systems,” inProc. Conf. Decis. Control, pp. 771–778, 2025

    work page 2025

  13. [13]

    Nonsmooth control barrier function design of continuous constraints for network connec- tivity maintenance,

    P. Ong, B. Capelli, L. Sabattini, and J. Cort ´es, “Nonsmooth control barrier function design of continuous constraints for network connec- tivity maintenance,”Automatica, vol. 156, p. 111209, 2023

    work page 2023

  14. [14]

    Regularity properties of optimization-based controllers,

    P. Mestres, A. Allibhoy, and J. Cort ´es, “Regularity properties of optimization-based controllers,”European Journal of Control, vol. 81, p. 101098, 2025

    work page 2025

  15. [15]

    A scalable safety critical control framework for nonlinear systems,

    T. Gurriet, M. Mote, A. Singletary, P. Nilsson, E. Feron, and A. D. Ames, “A scalable safety critical control framework for nonlinear systems,”IEEE Access, vol. 8, pp. 187249–187275, 2020

    work page 2020

  16. [16]

    Towards a framework for realizable safety critical control through active set invariance,

    T. Gurriet, A. Singletary, J. Reher, L. Ciarletta, E. Feron, and A. Ames, “Towards a framework for realizable safety critical control through active set invariance,” inProc. ACM/IEEE Int. Conf. Cyber-Physical Syst., pp. 98–106, 2018

    work page 2018

  17. [17]

    Backup control barrier functions: Formulation and comparative study,

    Y . Chen, M. Jankovic, M. Santillo, and A. D. Ames, “Backup control barrier functions: Formulation and comparative study,” inProc. Conf. Decis. Control, pp. 6835–6841, 2021

    work page 2021

  18. [18]

    Safety-critical control with bounded inputs via reduced order models,

    T. G. Molnar and A. D. Ames, “Safety-critical control with bounded inputs via reduced order models,” inProc. Amer. Control Conf., pp. 1414–1421, 2023

    work page 2023

  19. [19]

    Duality-based convex optimization for real-time obstacle avoidance between polytopes with control barrier functions,

    A. Thirugnanam, J. Zeng, and K. Sreenath, “Duality-based convex optimization for real-time obstacle avoidance between polytopes with control barrier functions,” inProc. Amer. Control Conf., 2022

    work page 2022

  20. [20]

    Guaranteed safety of learned perception modules via measurement- robust control barrier functions,

    S. Dean, A. J. Taylor, R. K. Cosner, B. Recht, and A. D. Ames, “Guaranteed safety of learned perception modules via measurement- robust control barrier functions,” inProc. Conf. Rob. Learn., 2020

    work page 2020

  21. [21]

    Safety-critical control using optimal-decay control barrier function with guaranteed point- wise feasibility,

    J. Zeng, B. Zhang, Z. Li, and K. Sreenath, “Safety-critical control using optimal-decay control barrier function with guaranteed point- wise feasibility,” inProc. Amer. Control Conf., pp. 3856–3863, 2021

    work page 2021

  22. [22]

    On the properties of optimal-decay control barrier functions,

    P. Ong, M. H. Cohen, T. G. Molnar, and A. D. Ames, “On the properties of optimal-decay control barrier functions,” inProc. Conf. Decis. Control, pp. 7375–7382, 2025

    work page 2025

  23. [23]

    F. W. Warner,Foundations of differentiable manifolds and Lie groups. Graduate Texts in Mathematics, 1989

    work page 1989

  24. [24]

    H. K. Khalil,Nonlinear Systems. Prentice Hall, 3 ed., 2002

    work page 2002

  25. [25]

    Stabilization with relaxed controls,

    Z. Artstein, “Stabilization with relaxed controls,”Nonlinear Analysis, vol. 7, no. 11, pp. 1163–1173, 1983

    work page 1983

  26. [26]

    C. D. Aliprantis and K. C. Border,Infinite Dimensional Analysis. A Hitchhiker’s Guide. Springer, 2006

    work page 2006

  27. [27]

    R. A. Freeman and P. V . Kototovic,Robust Nonlinear Control Design: State-space and Lyapunov Techniques. Boston, MA: Birkh¨auser, 1996

    work page 1996

  28. [28]

    Lakshmikantham and S

    V . Lakshmikantham and S. Leela,Differential and Integral Inequality: Theory and Applications: Volume I Ordinary Differential Equations. Academic Press, 1969

    work page 1969

  29. [29]

    D. P. Bertsekas,Nonlinear Programming. Athena Scientific, 2016

    work page 2016

  30. [30]

    Abbott,Understanding Analysis

    S. Abbott,Understanding Analysis. Springer, second ed., 2016

    work page 2016