LiftProj: Physics-Informed Koopman Lifting and Projection for Nonlinear Optimal Control via First-Order Optimization | IEEE Journals & Magazine | IEEE Xplore