Pith. sign in

REVIEW 2 cited by

Neural Control Barrier Functions for Safe Navigation

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 2407.19907 v1 pith:C2GUDXMH submitted 2024-07-29 cs.RO

classification cs.RO
keywords navigationsafesafetybarriercbfscontrolfilterfunctions
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Autonomous robot navigation can be particularly demanding, especially when the surrounding environment is not known and safety of the robot is crucial. This work relates to the synthesis of Control Barrier Functions (CBFs) through data for safe navigation in unknown environments. A novel methodology to jointly learn CBFs and corresponding safe controllers, in simulation, inspired by the State Dependent Riccati Equation (SDRE) is proposed. The CBF is used to obtain admissible commands from any nominal, possibly unsafe controller. An approach to apply the CBF inside a safety filter without the need for a consistent map or position estimate is developed. Subsequently, the resulting reactive safety filter is deployed on a multirotor platform integrating a LiDAR sensor both in simulation and real-world experiments.

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. Discriminative Barrier Functions for Safe Adversarial Imitation Learning from Observation

    cs.RO 2026-07 conditional novelty 7.0 of 10

    Constraining the adversarial imitation learning discriminator to discrete-time control barrier functions recovers safety barriers from unlabeled observations and reduces collisions in navigation.

  2. Safety Certification in the Latent space using Control Barrier Functions and World Models

    cs.RO 2025-07 reject novelty 4.0 of 10

    A semi-supervised framework learns a control barrier certificate in the latent space of a DINO-v2-based world model for safe visuomotor control.

Pith tools