Pith. sign in

REVIEW 1 cited by

Independence of Closed-Loop Equilibria and Stability from the Choice of Control Barrier Function for a Given Safe Set

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2409.06808 v2 pith:XKMOJZBJ submitted 2024-09-10 eess.SY cs.SY

classification eess.SYcs.SY
keywords equilibriasafechoicegivenclosed-loopsystemcontrolundesirable
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Control barrier functions (CBFs) play a critical role in the design of safe optimization-based controllers for control-affine systems. Given a CBF associated with a given, predefined ``safe'' set, the typical approach consists in embedding CBF-based constraints into the optimization problem defining the control law to enforce forward invariance of the safe set. While this approach effectively guarantees safety for a given CBF, the CBF-based control law can introduce undesirable equilibrium points (i.e., points that are not equilibria of the original system). Given that there exist many different CBFs associated with a given fixed safe set, open questions remain on how the choice of CBF influences the number and locations of undesirable equilibria and, in general, the dynamics of the closed-loop system. This paper investigates how the choice of CBF impacts the dynamics of the closed-loop system and shows that: (i) The choice of CBF does not affect the number, location, and (local) stability properties of the equilibria in the interior of the safe set; (ii) undesirable equilibria only appear on the boundary of the safe set; and, (iii) the number and location of undesirable equilibria for the closed-loop system do not depend of the choice of the CBF. Additionally, for the well-established \textit{safety filters}, we show that the stability properties of equilibria of the closed-loop system are independent of the choice of the CBF and of the associated extended class-K function, provided that the CBFs are chosen from the same equivalence class.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions

    eess.SY 2026-03 conditional novelty 6.0 of 10

    A bounded auxiliary function with derivative bounded away from zero in a boundary layer certifies finite uninterrupted residence under non-strict CBF safety.

Pith tools