# Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints

> Research article (2023 American Control Conference (ACC), 2023) · cited 27× · AI/ML

**Wikidata**: [openalex:W4382935993](https://www.wikidata.org/wiki/openalex:W4382935993)  
**Source**: https://4ort.xyz/entity/convex-synthesis-and-verification-of-control-lyapunov-and-barrier-functions-with-input-constraints