Pith. sign in

REVIEW 2 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
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 2 Pith papers

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

  1. 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.

  2. 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