Pith. sign in

REVIEW 3 cited by

Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints

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 2403.11763 v1 pith:R3G4DPYK submitted 2024-03-18 math.OC cs.SYeess.SY

classification math.OCcs.SYeess.SY
keywords barrierconstraintscontrolcontrollerconvexfeedbackinputlinear
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

We study the problem of co-designing control barrier functions (CBF) and linear state feedback controllers for continuous-time linear systems. We achieve this by means of a single semi-definite optimization program. Our formulation can handle mixed-relative degree problems without requiring an explicit safe controller. Different L-norm based input limitations can be introduced as convex constraints in the proposed program. We demonstrate our results on an omni-directional car numerical example.

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. Synthesis of safety certificates for discrete-time uncertain systems via convex optimization

    math.OC 2025-05 conditional novelty 6.0 of 10

    The paper derives SDPs that co-design quadratic control barrier functions and linear feedback controllers, certifying worst-case or probabilistic safety for discrete-time uncertain linear systems.

  2. Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming

    math.OC 2025-04 conditional novelty 6.0 of 10

    A discrete-time control barrier function and a polynomial control policy are synthesized jointly for polynomial systems via an iterative sum-of-squares program that bypasses the bilinear terms blocking earlier approaches.

  3. Opt-ODENet: A Neural ODE Framework with Differentiable QP Layers for Safe and Stable Control Design (longer version)

    eess.SY 2025-04 conditional novelty 5.0 of 10

    Opt-ODENet learns safe, stable state-feedback controllers by backpropagating a CLF-based loss through a neural ODE and a differentiable CBF-QP layer, and it learns the CBF class-K parameter during training.

Pith tools