Ramp Metering with Microscopic Gap Detection Algorithm Design and Empirical Acceleration Verification