Leading Cruise Control in Mixed Traffic Flow: System Modeling, Controllability, and String Stability | IEEE Journals & Magazine | IEEE Xplore