For this purpose, traffic is modeled after the cell-transmission model (CTM), which is a convergent numerical approximation to the hydrodynamic model. We transformed CTM to a set of mixed-integer ...