1. Automated and sound synthesis of Lyapunov functions with SMT solvers;Ahmed,2020
2. Restart FISTA with global linear convergence;Alamo,2019
3. First-order methods in optimization;Beck,2017
4. Explicit model predictive control;Bemporad,2021
5. Convex optimization theory;Bertsekas,2009