Railway interlocking systems and Gröbner bases

Roanes–Lozano, Eugenio; Roanes-Macı́as, Eugenio; Laita, Luis M.

doi:10.1016/s0378-4754(99)00137-8

Cited by 34 publications

(14 citation statements)

References 4 publications

(5 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…But, sometimes, tools that are usually restricted to one field can be successfully used in another one. For instance, in [9] Gröbner bases are used to decide whether a proposed situation in a railway interlocking is safe or not. Another example is [8], where Voronoi diagrams are used to generate a cost-effective path while maintaining a minimum distance between the alignment and historical buildings.…”

Section: The Key Ideamentioning

confidence: 99%

A geometric approach to the estimation of radial railway network improvement

Roanes–Lozano

García–Álvarez

Hernando

2011

RACSAM

Self Cite

View full text Add to dashboard Cite

A geometric approach to radial railway network improvement is presented here. It uses what we have called 'isochrone circle graphs', a kind of diagrams that reflect the values of two variables, mixing ideas from isochrone maps and from polar area diagrams (unlike the former, the areas of the sectors are related to population, not to 'geographical areas' and, unlike the latter, they do not compute the square root of the values). Isochrone maps are normally used in presentations to give the flavour of the improvement of timings in a transportation network. Meanwhile, the 'isochrone circle graphs' used in this paper allow to easily compute an index of the impact of a proposed renewal or improvement of railway lines in a radial railway network. Moreover, the application developed, implemented in a dynamic geometry system, allows to dynamically explore the impact of each proposed change using sliders.

show abstract

Section: The Key Ideamentioning

confidence: 99%

A geometric approach to the estimation of radial railway network improvement

Roanes–Lozano

García–Álvarez

Hernando

2011

RACSAM

Self Cite

View full text Add to dashboard Cite

show abstract

“…For detailed introductions see, for instance, [1,2,9,16,38]. There are interesting applications in other fields like transportation engineering [32,30].…”

Section: A Brief Note About Gröbner Basesmentioning

confidence: 99%

An algebraic approach to rule based expert systems

Roanes–Lozano

Laita

Hernando

et al. 2010

Rev. R. Acad. Cien. Serie A. Mat.

Self Cite

View full text Add to dashboard Cite

This article presents a survey of the authors' research on knowledge extraction and verification of Rule Based Expert Systems (RBES) using algebraic inference engines and based on Gröbner bases theory. A shell, including a graphic user interface and inference engines for different logics (both classic and modal multi-valued) as well as in different computer algebra systems, is also presented here. The shell distinguishes three levels: at the lower level, we provide the computer algebra system code of the algebraic inference engines; at the intermediate level, the RBES developer has to detail the rules and integrity constraints of a certain RBES; and, finally, at the upper level, the final user deals with a simple GUI, where he can perform knowledge extraction or verify the RBES, after choosing the logic and inputing a consistent set of facts. We believe that this shell can be really useful for teaching and quick RBES design. Una aproximación algebraica a los sistemas expertos basados en reglasResumen. Este artículo presenta una panorámica de la línea de investigación de los autores en extracción de conocimiento y verificación de Sistemas Expertos Basados en Reglas (RBES) usando motores de inferencia algebraicos y basada en la teoría de bases de Gröbner. Se presenta también una shell, que incluye una interfaz gráfica de usuario y motores de inferencia para distintas lógicas (tanto clásicas como modales multivaluadas) y en distintos sistemas de cómputo algebraico. La shell distingue tres niveles: en el más bajo proporcionamos el código del motor de inferencia para el sistema de cómputo algebraico elegido; en el intermedio el desarrollador del RBES tiene que detallar las reglas y las restricciones de integridad de un cierto RBES; y, finalmente, en el nivel superior, el usuario final trata con una sencilla interfaz gráfica de usuario, en la que puede llevar a cabo extracción de conocimiento o verificar el RBES, después de elegir la lógica y de introducir un conjunto consistente de hechos. Creemos que esta shell puede ser realmenteútil para la enseñanza y para el rápido diseño de RBES.

show abstract

“…There are several works on the safety of railway signaling systems (see, e.g. [25–28]). SMILE [25] is an early signaling system software application where fail‐safe microcomputer systems are used, and STERNOL was developed by ABB Signal [26].…”

Section: Introductionmentioning

confidence: 99%

“…SMILE [25] is an early signaling system software application where fail‐safe microcomputer systems are used, and STERNOL was developed by ABB Signal [26]. Additionally, microprocessor‐based interlocking systems including accident probabilities [27] and graph‐based railway interlocking applications [28] were also studied. The purpose of most existing studies was to develop a control mechanism (signaling software) and to verify the software.…”

Section: Introductionmentioning

confidence: 99%

Fault diagnosis in fixed‐block railway signaling systems: a discrete event systems approach

Durmuş

Takai

Söylemez

2014

IEEJ Transactions Elec Engng

View full text Add to dashboard Cite

In conventional railway systems (or fixed‐block railway signaling systems), railway lines are divided into subsections, called railway blocks, which start and end with a signal. In order to prevent collisions, only one train is allowed in each railway block at a time. Since the occupancy of the next block is indicated by the signals, train drivers have to pay attention to the signals during their journey. In spite of the conventional railway systems having several drawbacks such as the reduction in railway line capacity and the same safe braking distances for all kinds of trains, they have been in use since the mid‐1800s. In this paper, we study fault diagnosis in fixed‐block railway signaling systems from the discrete event systems point of view: first the signaling system equipment are modeled by using Petri nets, and next a diagnoser is designed to show the diagnosability of the system. © 2014 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.

show abstract

Railway interlocking systems and Gröbner bases

Cited by 34 publications

References 4 publications

A geometric approach to the estimation of radial railway network improvement

A geometric approach to the estimation of radial railway network improvement

An algebraic approach to rule based expert systems

Fault diagnosis in fixed‐block railway signaling systems: a discrete event systems approach

Contact Info

Product

Resources

About