Intelligent alarm correlation

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 the 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).