A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections | IEEE Journals & Magazine | IEEE Xplore