An interlocking system determining the configuration of rail traffic control elements to ensure safety

Railway interlocking systems are essential safety components in rail transportation, designed to prevent train collisions. They regulate the transitions between sections of a railway station using rail traffic control elements. An interlocking system can assess whether the configuration of these con...

Full description

Bibliographic Details
Published in:	AIMS Mathematics
Main Authors:	Antonio Hernando, Gabriel Aguilera-Venegas, José Luis Galán-García, Sheida Nazary
Format:	Article
Language:	English
Published:	AIMS Press 2024-07-01
Subjects:	railway interlocking system computer algebra decision making commutative algebra
Online Access:	https://www.aimspress.com/article/doi/10.3934/math.20241043?viewType=HTML

Similar Items

A fast and general algebraic approach to Railway Interlocking System across all train stations
by: Antonio Hernando, et al.
Published: (2024-02-01)

Decision making in railway interlocking systems based on calculating the remainder of dividing a polynomial by a set of polynomials
by: Antonio Hernando, et al.
Published: (2023-09-01)

Railway Interlockings – A Review of the Current State of Railway Safety Technology in Europe
by: Florin BĂDĂU
Published: (2022-06-01)

ALJABAR-C* DAN SIFATNYA
by: HARMANUS BATKUNDE, et al.
Published: (2012-03-01)

Non-associative and non-commutative Poisson structures on Filiform Lie algebras
by: Yuqiu Sheng, et al.
Published: (2025-07-01)

A Computational Approach to Overtaking Station Track Layout Design Using Graphs: An Extension That Supports Special Turnouts—An Improved Alternative Track Layout Proposal
by: Eugenio Roanes-Lozano
Published: (2022-10-01)

ALJABAR-C* KOMUTATIF
by: Harmanus Batkunde
Published: (2013-03-01)

Syzygies of Prym and paracanonical curves of genus 8
by: Elisabetta Colombo, et al.
Published: (2017-09-01)

On some algebraic formulations within universal enveloping algebras related to superintegrability
by: Rutwig Campoamor-Stursberg
Published: (2022-02-01)

On Representation Theorem for Algebras with Three Commuting Involutions
by: Amir Mohammed, et al.
Published: (2009-07-01)

Canonical Commutation Relation Derived from Witt Algebra
by: Huber Nieto-Chaupis
Published: (2025-06-01)

Some metric characterizations of commutativity in C*-algebras
by: Florin Pop
Published: (2025-04-01)

BA-Semigroup
by: Mohammed Khalid Shahoodh
Published: (2023-06-01)

Supercommuting maps on unital algebras with idempotents
by: Yingyu Luo, et al.
Published: (2024-08-01)

Biderivations of Simple Modular Lie Algebras of Cartan-Type
by: Wei Bai, et al.
Published: (2025-08-01)

Some results on commutative BI-Algebras‎
by: Akefe Radfar, et al.
Published: (2023-11-01)

Transposed Poisson superalgebra
by: Viktor Abramov, et al.
Published: (2024-01-01)

$\rm BSE$ norm for Abstract Segal algebras
by: Fatemeh Abtahi, et al.
Published: (2025-02-01)

N\'eron models of Jacobians over bases of arbitrary dimension
by: Thibault Poiret
Published: (2022-09-01)

Some Results on Zinbiel Algebras and Rota–Baxter Operators
by: Jizhong Gao, et al.
Published: (2024-05-01)

Weighted Projective Lines and Rational Surface Singularities
by: Osamu Iyama, et al.
Published: (2020-01-01)

The key exchange protocol based on non-commutative elements of Clifford algebra
by: Chukanov, Sergei N.
Published: (2021-08-01)

Non-Commutative Logic for Collective Decision-Making with Perception Bias
by: Evgeny Kagan, et al.
Published: (2023-05-01)

An Automated Testing Method for Interlocking Data in Signaling System of Urban Rail Transit
by: LIU Huachao, et al.
Published: (2024-06-01)

An Automated Testing Method for Interlocking Data in Signaling System of Urban Rail Transit
by: LIU Huachao, et al.
Published: (2024-06-01)

Post-quantum commutative encryption algorithm
by: A.A. Moldovyan, et al.
Published: (2019-12-01)

Interlocking Settlement Induced by Widening Subgrade of Railway Line
by: Dae Sang Kim, et al.
Published: (2022-06-01)

Product associativity in scator algebras and the quantum wave function collapse
by: Manuel Fernandez-guasti
Published: (2018-06-01)

Research on an Intelligent Management and Supervision System for a High-Speed Railway Interlocking Test
by: Rui Zhang
Published: (2024-01-01)

Several co-associative laws and pre-$ B $-algebras
by: Siriluk Donganont, et al.
Published: (2025-04-01)

Delta-Sincov mappings in Banach algebras
by: Włodzimierz Fechner, et al.
Published: (2023-11-01)

Some Examples of BL-Algebras Using Commutative Rings
by: Cristina Flaut, et al.
Published: (2022-12-01)

Quasi-Complemented BE-Algebras
by: Kumar V. Venkata, et al.
Published: (2021-11-01)

Research on redundant structure of cloud-based interlocking systems
by: HE Zhibin, et al.
Published: (2023-11-01)

Methodology for Studying the Reliability of Interlocking Devices in Bulgarian Railways
by: Emiliya Dimitrova, et al.
Published: (2025-04-01)

On the Existence of Configurations of Subspaces in a Hilbert Space with Fixed Angles
by: Natasha D. Popova, et al.
Published: (2006-05-01)

Toeplitz Operators on Fock Space over <inline-formula><math display="inline"><semantics><msup><mi mathvariant="double-struck">C</mi><mi mathvariant="bold-italic">n</mi></msup></semantics></math></inline-formula> with Invariant Symbols under the Action of the Unit Circle
by: Carlos González-Flores, et al.
Published: (2023-11-01)

A simple characterization of commutative H*-algebras
by: Parfeny P. Saworotnow
Published: (1999-01-01)

A representation of bounded commutative BCK-algebras
by: H. A. S. Abujabal, et al.
Published: (1996-01-01)

Research on Key Technologies of Reconfiguration of Railway Computer Interlocking Software
by: Junying CHU, et al.
Published: (2021-03-01)