The paper describes and reports the results of a project that has involved Project Automation S.p.A. and the Italian highway company Societa 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.
Bandini, S., Bogni, D., Manzoni, S., Mosca, A. (2005). ST-Modal logic to correlate traffic alarms on Italian highways: Project overview and example installations, 3533, 819-828 [10.1007/11504894_112].
ST-Modal logic to correlate traffic alarms on Italian highways: Project overview and example installations
BANDINI, STEFANIA;MANZONI, SARA LUCIA;
2005
Abstract
The paper describes and reports the results of a project that has involved Project Automation S.p.A. and the Italian highway company Societa 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.