Skip to main content
SpringerLink
Log in

FasTraC a decentralized traffic control system based on logic programming

  • Session 3B
  • Conference paper
  • First Online:
Automated Deduction — Cade-13 (CADE 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1104))

Included in the following conference series:

Abstract

The FasTraC system provides all facilities to design and validate a decentralized traffic control system for a urban network. Each signal is controlled by an independent control unit. The behavior of the control units is formulated in propositional logic using the quasi-English language of the Leibniz System for logic programming. The latter system compiles these formulations into algorithms that are executed by the control units.

This research was supported in part by the Office of Naval Research under Grant N00014-93-1-0096.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Felici, G. Rinaldi, and K. Truemper, Development of a Decentralized Traffic Control System base on Logic Programming, proceedings of the 4th International Conference on Applications of Advanced Technologies in Transportation Engineering, Capri, Italy, 27–30 June 1995

    Google Scholar 

  2. G. Felici, G. Rinaldi, and K. Truemper, Controllo decentralizzato del traffico tramite programmazione logica,proceedings of the II Convegno Nazionale del Progetto Finalizzato Trasporto II, CNR, Genova, Italy, 29–31 May 1995

    Google Scholar 

  3. Leibniz System for Logic Programming Ver. 4.0, Leibniz Plano, Texas 75023, U.S.A. (1994).

    Google Scholar 

  4. S. Lengyel, G. Rinaldi, and K. Truemper, Un sistema di controllo del traffico che utilizza la programmazione logica, Progetto Finalizzato Trasporti 2, atti del Primo Convegno Nazionale, Roma, 19–21 Ottobre 1993

    Google Scholar 

  5. G. Rinaldi and K. Truemper, A Decentralized Traffic Control System Bases on Logic Programming, Proceedings of TRIennial Symposium on Transportation Analysis, Capri, 23–28, June 1994

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro Studi sui Sistemi di Trasporto (FIAT), Rome, Italy

    Giovanni Felici

  2. CNR - IASI Istituto di Analisi dei Sistemi e Informatica, Rome, Italy

    Giovanni Rinaldi

  3. Computer Science Program, University of Texas at Dallas, P.O. Box 830688, 75083-0688, Richardson, Texas, USA

    Giovanni Felici & Klaus Truemper

Authors
  1. Giovanni Felici
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni Rinaldi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Klaus Truemper
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. A. McRobbie J. K. Slaney

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Felici, G., Rinaldi, G., Truemper, K. (1996). FasTraC a decentralized traffic control system based on logic programming. In: McRobbie, M.A., Slaney, J.K. (eds) Automated Deduction — Cade-13. CADE 1996. Lecture Notes in Computer Science, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61511-3_82

Download citation

  • DOI: https://doi.org/10.1007/3-540-61511-3_82

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61511-8

  • Online ISBN: 978-3-540-68687-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation