Time-optimal traffic control synthesis for a signalized isolated intersection | IEEE Conference Publication | IEEE Xplore