Lecture 3: Optimal Control of the Double Integrator