Convex co-design of control barrier functions and state feedback controllers for linear systems with input constraints - Wang, H; Margellos, K; Papachristodoulou, A; De Persis, C (IEEE Transactions on Automatic Control, 2025)