A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess

Figure 1

A mechanical railway interlocking system still in use at a junction in 2009. On the left a general view of the system is shown. The levers operated the semaphores (mechanical devices) and the switches of the turnouts. On the right a top view is shown. In the latter the bars that detect if a given lever conflicts with that controlled by another lever are clearly visible (it was common that the mechanical railway interlocking had glass tops so that the internal system could be appreciated).