This paper introduces a formal model for the development of monitoring and control systems devoted to manage a defined class of traffic anomalies. Although a lot of sophisticated technologies have been developed over last years, the proper detection and management of critical situations that can arise in traffic flow is still a problem. A possible solution to this problem is to provide systems for monitoring and control of traffic situation with a correlation function, that creates a dynamic view of traffic situation over the Space and Time. In order to do this, a first order logic-based language has been developed and applied to the development of the Alarm Correlation Module (MCA) within the context of the System for Automatic MOnitoring of Traffic (SAMOT)
Bandini, S., Manzoni, S., Mosca, A., Sartori, F. (2003). Intelligent alarm correlation. In 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS (pp.3601-3606). IEEE [10.1109/ICSMC.2003.1244448].
Intelligent alarm correlation
Bandini, S;Manzoni, SL;Mosca, A;Sartori, F
2003
Abstract
This paper introduces a formal model for the development of monitoring and control systems devoted to manage a defined class of traffic anomalies. Although a lot of sophisticated technologies have been developed over last years, the proper detection and management of critical situations that can arise in traffic flow is still a problem. A possible solution to this problem is to provide systems for monitoring and control of traffic situation with a correlation function, that creates a dynamic view of traffic situation over the Space and Time. In order to do this, a first order logic-based language has been developed and applied to the development of the Alarm Correlation Module (MCA) within the context of the System for Automatic MOnitoring of Traffic (SAMOT)
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
