Pith. sign in

REVIEW

Safe Stabilization using Nonsmooth Control Lyapunov Barrier Function

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.13624 v4 pith:B2EK3AZ3 submitted 2024-09-20 eess.SY cs.SY

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

This paper addresses the challenge of safe stabilization, ensuring the system state reach the origin while avoiding unsafe regions. Existing approaches relying on smooth Lyapunov barrier functions often fail to guarantee a feasible controller. To overcome this limitation, we introduce the nonsmooth Control Lyapunov Barrier Function (NCLBF), which ensures the existence of a safe and stabilizing controller. We provide a systematic framework for designing NCLBF and feedback control strategies to achieve safe stabilization in the presence of multiple bounded unsafe regions. Theoretical analysis and simulations of both linear and nonlinear systems demonstrate the effectiveness and superiority of our approach compared to the existing smooth functions method.

Discussion (0). Continue with ORCID to comment.

Pith tools