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].
CITATION STYLE
Urbina, L. (1996). The generalized railroad crossing: Its symbolic analysis in CLP(R). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1118, pp. 565–567). Springer Verlag. https://doi.org/10.1007/3-540-61551-2_118
Mendeley helps you to discover research relevant for your work.