Creation of a Mathematical Model of a Stationary Rail Circuit in the Form of a Finite Discrete Automaton




mathematical model, discrete automaton, diagnosis, graph, rail circuit, microprocessor-based centralization


Purpose. Ensuring the safety of train traffic is a mandatory task in the development of technical equipment of railway transport in Ukraine. To diagnose and verify the performance of such systems, simulation models of overhead devices, in particular, the rail circle, are used. The most commonly used models are in the form of differential equations and in operator form. Unfortunately, they are not fully suitable for solving this problem. In this regard, there is a need to create a mathematical model that is easier to integrate for checking both relay electrical interlocking and microprocessor-based interlocking systems. Methodology. To achieve this goal, the authors proposed to create a mathematical model in the form of a finite discrete automaton. This paper considers the creation of a model of a station rail circuit as a directed graph. During the creation of the model, the input and output values of the model and the states are determined. The tables of inputs and outputs of the automaton are constructed, sequential expressions for the abstract model of the automaton are created, and their minimization is performed. The states of the automaton are coded using trigger circuits. Findings. In the course of the research, a mathematical model of the rail circle in the form of a Moore model finite automaton was created, and its performance was tested in the Proteus software environment. The developed model allows to simulate the operation of a stationary rail circuit at the level of abstraction, which operates with binary signals. This makes it possible to simplify the coordination of the model with microprocessor-based centralization software. In general, it is now possible to more effectively check the performance of microprocessor-based interlocking systems at the design and commissioning stages. Originality. The developed mathematical model makes it possible to determine the response of the microprocessor-based centralization software to the behavior of the rail circuit in various, in particular atypical, operating modes, as well as to determine the response of the station electrical centralization system to individual failures and to the occurrence of several failures simultaneously. Practical value. The proposed mathematical model can be used both to check the operation of microprocessor-based centralization systems at the design and implementation stages and for relay centralization systems when developing diagnostic complexes for monitoring their performance.


Malovichko, V. V., & Malovichko, N. V. (2018). The mathematical model of operation of the four-unit station exit signal as a Moor discrete automaton. Electromagnetic Compatibility and Safety on Railway Transport, 15, 70-78. (in Ukrainian)

Malovichko, V. V., Rybalka, R. V., Malovichko, N. V., & Tymoshenko, L. S. (2013). Representation of switch operation as discrete automaton Moore’s machine kind. Electromagnetic Compatibility and Safety on Railway Transport, 6, 47-51. (in Ukrainian)

Moiseienko, V. I., Ohar, O. M., & Gaievskyi, V. V. (2019). The development of railway digital systems and technologies in the context of engineering 4.0. Information and control systems at railway transport, 3, 11-20. DOI: (in Ukrainian)

Pro skhvalennia Natsionalnoi transportnoi stratehii Ukrainy na period do 2030 roku. (2018). Retrieved from (in Ukrainian)

«Prystroi syhnalizatsii, tsentralizatsii ta blokuvannia. Poriadok tekhnichnoho obsluhovuvannia», rishennia pravlinnia AT «Ukrzaliznytsia» vid 18.06.2020 (protokol # Ts-45/52 Kom. t.), 116 Standart STP 13-005:2020. (2020). Kyiv. (in Ukrainian)

Transport i zviazok Ukrainy – 2010-2019. Retrieved from (in Ukrainian)

Shamonia, V., Semenikhina, O., & Drushlyak, M. (2019). Use of the proteus for visual modeling of the work of the information system basic elements. Physical and Mathematical Education, 20(2), 160-165. DOI: (in Ukrainian)

Aliev, R., Aliev, M., & Tokhirov, E. (2022). Analysis, development of a model and an algorithm in the concept of the growth of tone jointless rail circuits. Transportation Research Procedia, 63, 178-186. DOI: (in English)

Malovichko, V., Rybalka, R., Malovichko, N., & Honcharov, K. (2022, Oct.). Determining the Set of Elements for Automatic Monitoring and Diagnosing the Relay Interlocking System. In Proceedings of 26th International Scientific Conference. Transport Means 2022 (Pt. II, pp. 509–514). Kaunas, Lithuania. (in English)

Unger, S., Heinrich, M., Scheuermann, D., Katzenbeisser, S., Schubert, M., Hagemann, L., & Iffländer, L. (2023). Securing the Future Railway System: Technology Forecast, Security Measures, and Research Demands. Vehicles, 5(4), 1254-1274. DOI: (in English)



How to Cite

Malovichko, V. V., Malovichko, N., & Rybalka, R. (2024). Creation of a Mathematical Model of a Stationary Rail Circuit in the Form of a Finite Discrete Automaton. Science and Transport Progress, (2(106), 5–11.