Data-driven certified control barrier functions

DOI10.1016/J.SYSCONLE.2025.106325MaRDI QIDQ6869479zbMATH OpenFDO

Authors Ali Kashani, Amy K. Strong, Leila J. Bridgeman, Claus Danielson

Publication date 22 January 2026

Published in Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.SYSCONLE.2025.106325

zbMATH Keywords

learning-based controlconstrained nonlinear controlsafe data-driven control

Mathematics Subject Classification ID

Linear programming (90C05) Fractals (28A80) Nonlinear systems in control theory (93C10)

Cites work

• Advances in computational Lyapunov analysis using sum-of-squares programming
• Computing controlled invariant sets from data using convex optimization
• Convex computation of the maximum controlled invariant set for polynomial control systems
• Data-Driven Model Predictive Control With Stability and Robustness Guarantees
• Data-driven invariant set for nonlinear systems with application to command governors
• Data-driven verification and synthesis of stochastic systems via barrier certificates
• Distributionally Robust Chance Constrained Data-Enabled Predictive Control
• Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models
• Infinite time reachability of state-space regions by using feedback control
• Lyapunov functionals in complex μ analysis
• Net and prune: a linear time algorithm for Euclidean distance problems
• Reference dependent invariant sets: sum of squares based computation and applications in constrained control
• Revised CPA method to compute Lyapunov functions for nonlinear systems
• Set-theoretic methods in control
• Stability analysis and controller synthesis using single-hidden-layer ReLU neural networks
• The no-free-lunch theorems of supervised learning

This page was built for publication: Data-driven certified control barrier functions

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