A 0–1 integer LP formulation for real time optimization of traffic signal control

A traffic network of an urban area is considered in this paper. This paper presents a 0–1 integer linear program which is based on optimization from a purely mathematical point of view to solve the problem of optimizing traffic signal control. In particular, we consider a group of signalized intersections in an urban area which have different semaphoric cycles. The phase sequence of each intersection is known but the relationship of these phase sequences between each two intersections is unknown beforehand. The identification of the optimal phase relationship between all intersections and duration for the signal phases are combined into one problem in this paper. It can be used as a benchmark for evaluating the performance of some heuristic algorithms such as the genetic algorithm, fuzzy logic and neural networks.