Pith. sign in

REVIEW 1 cited by

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations

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 2111.09971 v3 pith:KRP6FGBZ submitted 2021-11-18 eess.SY cs.LGcs.SY

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

This paper addresses learning safe output feedback control laws from partial observations of expert demonstrations. We assume that a model of the system dynamics and a state estimator are available along with corresponding error bounds, e.g., estimated from data in practice. We first propose robust output control barrier functions (ROCBFs) as a means to guarantee safety, as defined through controlled forward invariance of a safe set. We then formulate an optimization problem to learn ROCBFs from expert demonstrations that exhibit safe system behavior, e.g., data collected from a human operator or an expert controller. When the parametrization of the ROCBF is linear, then we show that, under mild assumptions, the optimization problem is convex. Along with the optimization problem, we provide verifiable conditions in terms of the density of the data, smoothness of the system model and state estimator, and the size of the error bounds that guarantee validity of the obtained ROCBF. Towards obtaining a practical control algorithm, we propose an algorithmic implementation of our theoretical framework that accounts for assumptions made in our framework in practice. We validate our algorithm in the autonomous driving simulator CARLA and demonstrate how to learn safe control laws from simulated RGB camera images.

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. Control Barrier Function-Based Quadratic Programming for SafeOperation of Tethered UAVs

    eess.SY 2025-02 reject novelty 4.0 of 10

    A CBF-QP safety filter is applied to a tethered UAV, but the safety proof misuses a first-order barrier function for a relative-degree-two constraint.

Pith tools