Data-Driven Modeling and Experimental Validation of Autonomous Vehicles Using Koopman Operator | IEEE Conference Publication | IEEE Xplore