Pith. sign in

REVIEW 3 cited by

A Closed-Form Control for Safety Under Input Constraints Using a Composition of Control Barrier Functions

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 2406.16874 v2 pith:YH2MLSVE submitted 2024-03-30 eess.SY cs.SY

classification eess.SYcs.SY
keywords controlconstraintsinputr-cbfsafetycbfsclosed-formsoft-minimum
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

We present a closed-form optimal control that satisfies both safety constraints (i.e., state constraints) and input constraints (e.g., actuator limits) using a composition of multiple control barrier functions (CBFs). This main contribution is obtained through the combination of several ideas. First, we present a method for constructing a single relaxed control barrier function (R-CBF) from multiple CBFs, which can have different relative degrees. The construction relies on a log-sum-exponential soft-minimum function and yields an R-CBF whose zero-superlevel set is a subset of the intersection of the zero-superlevel sets of all CBFs used in the composition. Next, we use the soft-minimum R-CBF to construct a closed-form control that is optimal with respect to a quadratic cost subject to the safety constraints. Finally, we use the soft-minimum R-CBF to develop a closed-form optimal control that not only guarantees safety but also respects input constraints. The key elements in developing this novel control include: the introduction of the control dynamics, which allow the input constraints to be transformed into controller-state constraints; the use of the soft-minimum R-CBF to compose multiple safety and input CBFs, which have different relative degrees; and the development of a desired surrogate control (i.e., a desired input to the control dynamics). We demonstrate these new control approaches in simulation on a nonholonomic ground robot.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

  1. Control Barrier Functions With Real-Time Gaussian Process Modeling

    eess.SY 2025-05 conditional novelty 6.0 of 10

    Real-time fixed-size Gaussian process models with recursive O(p^2) updates are combined with control barrier functions to guarantee state constraints under nonparametric uncertainty.

  2. Electromagnetic Formation Flying with State and Input Constraints Using Alternating Magnetic Field Forces

    eess.SY 2024-11 conditional novelty 6.0 of 10

    A feedback controller combining alternating magnetic field forces and control barrier functions keeps electromagnetic satellite formations collision-free and within power limits.

  3. Adaptive Control Barrier Functions with Vanishing Conservativeness Under Persistency of Excitation

    eess.SY 2024-11 reject novelty 6.0 of 10

    An adaptive control barrier function with an error-bound margin that is nonincreasing and, under persistency of excitation, vanishing is derived and demonstrated on two numerical examples.

Pith tools