Finite Time Nonlinear Optimal Control using Koopman Eigenfunctions | IEEE Conference Publication | IEEE Xplore