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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3533 LNAI, Issue , 2005, Pages 819-828

  Bandini, Stefania ^a   Bogni, Davide ^b   Manzoni, Sara ^a   Mosca, Alessandro ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b Project Automation SpA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATION; CONTROL SYSTEMS; CORRELATION THEORY; FORMAL LOGIC; PROJECT MANAGEMENT; TRAFFIC CONTROL; TRAFFIC SIGNALS;

ITALIAN HIGHWAY COMPANY SOCIETA (CO); PROJECT AUTOMATION; ST-MODAL LOGIC; TRAFFIC OPERATORS;

HIGHWAY SYSTEMS;

EID: 26944478519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11504894_112     Document Type: Conference Paper

References (9)

1. Bandini, S., Bogni, D., Manzoni, S.: Knowledge-based alarm correlation in traffic monitoring and control. In: Proceedings of the IEEE 5th International Conference on Intelligent Transportation Systems (ITSC02), September 3-6 2002, Singapore, IEEE Computer Society (2002)
2. Papageorgiou, M., Pouliezos, A., eds.: Transportation systems, Proceedings of the 8th IFAC/IFIP/IFORS symposium, Chania. Volume 1, 2, 3. (1997)
3. Ferner, N., Rowe, S., Blake, A.: Real-time traffic monitoring. In: Proceedings of WACV94. (1994) 81-88
4. Ng, A., Ang, K., Chung, C., Gu, M., Ng, Y.: Change of image. Traffic Technology International (2002) 56-58
5. Egmont-Petersen, M., deRidder, D., Handels, H.: Image processing with neural networks a review. Pattern Recognition 35 (2002) 119-141
6. Bielli, M., Ambrosino, G., Boero, M., eds.: Artificial Intelligence Applications to Traffic Engineering, Utrecht, The Netherlands (1994)
7. Versavel, J.: Sparing lives, saving time. Traffic Technology International (2001) 189-194
8. Bandini, S., Mosca, A., Palmonari, M., Sartori, F.: A conceptual framework for monitoring and control system development. In: Ubiquitous Mobile Information and Collaboration Systems. Volume 3272 of Lecture Notes in Computer Science., Springer-Verlag (2004) 111-124
9. Bandini, S., Manzoni, S., Mosca, A., Sartori, F.: Intelligent alarm correlation. In: Proc. of System, Machine and Cybernetics, Special Session on Modelling and Control of Transportation and Traffic Systems, Washington. (2003) 3601-3606