Modelling and Trajectory Tracking Control of Multi Differential Wheel Heavy-Duty AGV Based on Koopman Operator | Synapse