Distributed stochastic model predictive control for human-leading heavy-duty truck platoon