Pith. sign in

REVIEW 1 cited by

Time-Varying Soft-Maximum Barrier Functions for Safety in Unmapped and Dynamic Environments

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.01458 v2 pith:MDZB7WH4 submitted 2024-09-02 cs.RO cs.SYeess.SY

classification cs.ROcs.SYeess.SY
keywords localbarrierfunctioncontrolobtaineddatasoft-maximumtime-varying
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We present a closed-form optimal feedback control method that ensures safety in an a prior unknown and potentially dynamic environment. This article considers the scenario where local perception data (e.g., LiDAR) is obtained periodically, and this data can be used to construct a local control barrier function (CBF) that models a local set that is safe for a period of time into the future. Then, we use a smooth time-varying soft-maximum function to compose the N most recently obtained local CBFs into a single barrier function that models an approximate union of the N most recently obtained local sets. This composite barrier function is used in a constrained quadratic optimization, which is solved in closed form to obtain a safe-and-optimal feedback control. We also apply the time-varying soft-maximum barrier function control to 2 robotic systems (nonholonomic ground robot with nonnegligible inertia, and quadrotor robot), where the objective is to navigate an a priori unknown environment safely and reach a target destination. In these applications, we present a simple approach to generate local CBFs from periodically obtained perception data.

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. Safe Quadrotor Navigation using Composite Control Barrier Functions

    cs.RO 2025-02 conditional novelty 6.0 of 10

    A single composite control barrier function over all obstacle constraints can safely filter quadrotor commands online, with a formal proof that infeasible configurations form only a zero-volume set.

Pith tools