DocumentCode :
397947
Title :
Intelligent alarm correlation
Author :
Bandini, Stefania ; Manzoni, Sara ; Mosca, Alessandro ; Sartori, Fabio
Author_Institution :
Dept. of Comput. Sci. Syst. & Commun., Milan Univ., Italy
Volume :
4
fYear :
2003
fDate :
5-8 Oct. 2003
Firstpage :
3601
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 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).
Keywords :
alarm systems; automated highways; computerised monitoring; formal languages; knowledge based systems; alarm correlation module; automatic monitoring of traffic; correlation function; first order logic-based language; formal language; intelligent alarm correlation; knowledge based system; stripe regions; traffic control systems; traffic flow; traffic monitoring systems; Computer science; Control system synthesis; Control systems; Infrared detectors; Infrared image sensors; Knowledge based systems; Monitoring; Radar detection; Technology management; Traffic control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN :
1062-922X
Print_ISBN :
0-7803-7952-7
Type :
conf
DOI :
10.1109/ICSMC.2003.1244448
Filename :
1244448
Link To Document :
بازگشت