Publications of Giovanni Rinaldi

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Rinaldi G., in the category IASI Research Reports (or show them all):


IASI Research Report n. 581  (Previous    Next)  

Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.

A methodology for traffic signal control based on logic programming

ABSTRACT
In this paper we present a methodology to design, implement, and operate a traffic signal control system based on logic programming. Such system differs from others presented in the literature and available on the market. The use of logic programming results in very flexible control strategies that can be easily developed by traffic engineers. An important feature of the system is the use of a very efficient logic programming solver, the Leibniz System, that is capable of generating fast solution algorithms for the decision problems associated with traffic signal setting. We outline the main principles of the methodology, that includes a heavy use of a traffic micro simulator that has been developed ad hoc and has proved to be a crucial tool for implementing and testing the control strategies before their implementation. An application to a real case is described, and experimental results are presented.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -