Prefer a chat interface with context about you and your work?
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).