6c8255dd83963177.tex
1: \begin{abstract}
2:   This paper tackles the problem of discretizing accelerated
3:   optimization flows while retaining their convergence properties.
4:   Inspired by the success of resource-aware control in developing
5:   efficient closed-loop feedback implementations on digital systems,
6:   we view the last sampled state of the system as the resource to be
7:   aware of.  The resulting variable-stepsize discrete-time algorithms
8:   retain by design the desired decrease of the Lyapunov certificate of
9:   their continuous-time counterparts.  Our algorithm design employs
10:   various concepts and techniques from resource-aware control that, in
11:   the present context, have interesting parallelisms with the
12:   discrete-time implementation of optimization algorithms. These
13:   include derivative- and performance-based triggers to monitor the
14:   evolution of the Lyapunov function as a way of determining the
15:   algorithm stepsize, exploiting sampled information to enhance
16:   algorithm performance, and employing high-order holds using more
17:   accurate integrators of the original dynamics.  Throughout the
18:   paper, we illustrate our approach on a newly introduced
19:   continuous-time dynamics termed heavy-ball dynamics with displaced
20:   gradient, but the ideas proposed here have broad applicability to
21:   other globally asymptotically stable flows endowed with a Lyapunov
22:   certificate.
23: \end{abstract}
24: