Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

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

A logic-algebraic approach to decision taking in a railway interlocking system 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

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

Loading next page...
 
/lp/springer-journals/a-logic-algebraic-approach-to-decision-taking-in-a-railway-WuUmJg5cPw

References (20)

Publisher
Springer Journals
Copyright
Copyright © 2012 by Springer Science+Business Media B.V.
Subject
Computer Science; Mathematics, general; Artificial Intelligence (incl. Robotics); Statistical Physics, Dynamical Systems and Complexity; Computer Science, general
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/s10472-012-9321-y
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

Annals of Mathematics and Artificial IntelligenceSpringer Journals

Published: Oct 13, 2012

There are no references for this article.