A Taxonomy of Signal Vehicle Coupled Control from a Mathematical Programming Perspective | IEEE Conference Publication | IEEE Xplore