Optimal Traffic Control for Roads with Mixed Autonomous and Human-Driven Vehicles | IEEE Conference Publication | IEEE Xplore