Model predictive control of vehicle dynamics based on the Koopman operator with extended dynamic mode decomposition | IEEE Conference Publication | IEEE Xplore