Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems

This paper proposes a stability verification method for systems controlled by an early terminated first-order method (e.g., an MPC problem approximately solved by a fixed number of iterations of the fast gradient method).