Successive control barrier functions for nonlinear systems

DOI10.1145/3716863.3718043MaRDI QIDQ6904623zbMATH OpenFDO

Authors Rameez Wajid, Sriram Sankaranarayanan

Publication date 7 November 2025

zbMATH Keywords

nonlinear hybrid systemssum of squares programmingcontrol barrier functions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• Cone-based abstract interpretation for nonlinear positive invariant synthesis
• Constrained control of input-output linearizable systems using control sharing barrier functions
• Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
• FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
• Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models
• Global optimization with polynomials and the problem of moments
• High-Order Barrier Functions: Robustness, Safety, and Performance-Critical Control
• High-Order Control Barrier Functions
• Hybrid Systems: Computation and Control
• Optimization and nonsmooth analysis
• Polynomial optimization, sums of squares, and applications
• Semidefinite programming relaxations for semialgebraic problems
• Validating numerical semidefinite programming solvers for polynomial invariants

This page was built for publication: Successive control barrier functions for nonlinear systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6904623)