The Generalized Railroad Crossing: Its symbolic analysis in CLP (\(\mathcal{R}\))

  • Luis Urbina
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1118)


The symbolic simulation and analysis method for hybrid systems presented in [2] is illustrated by means of the benchmark problem ”The Generalized Railroad Crossing” [1].


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    C. Heitmeyer, R. Jeffords, and B. Labaw. A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems. In Proc. of the 10th Int. Workshop on Real-Time Operating Systems and Software, May 1993.Google Scholar
  2. 2.
    L. Urbina. Analysis of Hybrid Systems in CLP(567-01). This volume.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Luis Urbina

There are no affiliations available

Personalised recommendations