1: \begin{abstract}

2:   We present a technique for learning control Lyapunov (potential)

3:   functions, which are used in turn to  synthesize controllers

4:   for nonlinear dynamical systems.  The learning framework uses a

5:   \emph{demonstrator} that implements a black-box, untrusted strategy

6:   presumed to solve the problem of interest, a \emph{learner} that

7:   poses finitely many queries to the demonstrator to infer a candidate

8:   function and a \emph{verifier} that checks whether the current

9:   candidate is a valid control Lyapunov function. The overall learning

10:   framework is iterative, eliminating a set of candidates on each

11:   iteration using the counterexamples discovered by the verifier and

12:   the demonstrations over these counterexamples. We prove its

13:   convergence using ellipsoidal approximation techniques from convex

14:   optimization. We also implement this scheme using nonlinear MPC

15:   controllers to serve as demonstrators for a set of state and

16:   trajectory stabilization problems for nonlinear dynamical systems. Our

17:   approach is able to synthesize relatively simple polynomial control

18:   Lyapunov functions, and in that process replace the MPC using a

19:   guaranteed and computationally less expensive controller.

20: 

21: \end{abstract}

22: