ST-modal logic to correlate traffic alarms on Italian highways: project overview and example installations

  • Authors:
  • Stefania Bandini;Davide Bogni;Sara Manzoni;Alessandro Mosca

  • Affiliations:
  • Department of Computer Science, Systems and Communication, University of Milano Bicocca, Milano, Italy;Project Automation S.p.A., Monza, Italy;Department of Computer Science, Systems and Communication, University of Milano Bicocca, Milano, Italy;Department of Computer Science, Systems and Communication, University of Milano Bicocca, Milano, Italy

  • Venue:
  • IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper describes and reports the results of a project that has involved Project Automation S.p.A. and the Italian highway company Società Autostrade S.p.A. The main aim of the project is to deliver a monitoring and control system to support traffic operators of Italian highways in their working activities. The main functionalities of the delivered system are: automatic detection of anomalous traffic patterns, alarm filtering according to peculiarities of the monitored highway section, atomic alarm correlation, and automatic control of traffic anomalies. In particular, the paper gives a general introduction to the System for Automatic MOnitoring of Traffic (SAMOT), its aims, design approach and general architecture. Moreover, more details will be given on the Alarm Correlation Module (MCA), a knowledge-based solution based on Modal Logic approach to the atomic alarm correlation and filtering. Finally, we will show three significant installations of the SAMOT system that are currently working to support traffic operators of some of the most important and traffic congested Italian highways.