Data-Driven Discovery of Finite-Dimensional Koopman Operator for Modeling and Control of Uncrewed Ground Vehicles