Analysis of Vehicle Sequencing at Smart Intersections: A PDMP Approach | IEEE Conference Publication | IEEE Xplore