Distributed Adaptive Formation Control of Connected Vehicles with Actuator Saturation and Time-Varying Spacing | IEEE Conference Publication | IEEE Xplore