Optimal control based CACC: Problem formulation, solution, and stability analysis | IEEE Conference Publication | IEEE Xplore