Path Tracking of Mining Vehicles Based on Nonlinear Model Predictive Control | Synapse