A logic-algebraic approach to decision taking in a railway interlocking system

作者：Hernando Antonio^*; Roanes Lozano Eugenio; Maestre Martinez Roberto; Tejedor Jorge

来源：Annals of Mathematics and Artificial Intelligence, 2012, 65(4): 317-328.

DOI：10.1007/s10472-012-9321-y

• Railway interlocking systems
• Logic
• Decision theory
• Graph theory

The safety of a railway network is a very important issue considered very labour-intensive. Authors have developed different approaches in order to detect automatically the safety for mid-small railway networks. Although these approaches are very simple to implement, they have the drawback of being unsuitable to large networks since the algorithm takes large time to be run. In this paper, we show a new algebraic model which, besides being also simple to implement, has the advantage of being very fast and consequently can be used for checking the safety in a large railway network.

• 出版日期2012-8