Abstract
It is shown how a set of models can be used to test traffic light control policies in an urban area. Relations between model predictions and controlled policies are dealt with. There are two basic types of models: simulation and optimization models. A discussion is given of the two implications of these two approaches.