Skip to main content

ST–Modal Logic to Correlate Traffic Alarms on Italian Highways: Project Overview and Example Installations

  • Conference paper
Innovations in Applied Artificial Intelligence (IEA/AIE 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 Società 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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 (ITSC 2002), Singapore, September 3-6 2002. IEEE Computer Society, Los Alamitos (2002)

    Google Scholar 

  2. Transportation systems. In: Papageorgiou, M., Pouliezos, A. (eds.) Proceedings of the 8th IFAC/IFIP/IFORS Symposium, Chania, vol. 1, 2, 3 (1997)

    Google Scholar 

  3. Ferrier, N., Rowe, S., Blake, A.: Real-time traffic monitoring. In: Proceedings of WACV 1994, pp. 81–88 (1994)

    Google Scholar 

  4. Ng, A., Ang, K., Chung, C., Gu, M., Ng, Y.: Change of image. Traffic Technology International, 56–58 (2002)

    Google Scholar 

  5. Egmont-Petersen, M., de Ridder, D., Handels, H.: Image processing with neural networks a review. Pattern Recognition 35, 119–141 (2002)

    Article  Google Scholar 

  6. Bielli, M., Ambrosino, G., Boero, M. (eds.): Artificial Intelligence Applications to Traffic Engineering, Utrecht, The Netherlands (1994)

    Google Scholar 

  7. Versavel, J.: Sparing lives, saving time. Traffic Technology International, 189–194 (2001)

    Google Scholar 

  8. Bandini, S., Mosca, A., Palmonari, M., Sartori, F.: A conceptual framework for monitoring and control system development. In: Baresi, L., Dustdar, S., Gall, H.C., Matera, M. (eds.) UMICS 2004. LNCS, vol. 3272, pp. 111–124. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  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, pp. 3601–3606 (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bandini, S., Bogni, D., Manzoni, S., Mosca, A. (2005). ST–Modal Logic to Correlate Traffic Alarms on Italian Highways: Project Overview and Example Installations. In: Ali, M., Esposito, F. (eds) Innovations in Applied Artificial Intelligence. IEA/AIE 2005. Lecture Notes in Computer Science(), vol 3533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11504894_112

Download citation

  • DOI: https://doi.org/10.1007/11504894_112

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26551-1

  • Online ISBN: 978-3-540-31893-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics