This article is cited in 1 paper

Topical issue

Logical foundations of group traffic control of trains

A. I. Potekhin

Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia

Abstract: We show an application of the methods of mathematical logic to the design of a control system for group movement of trains for a railway station. We develop a typical lifecycle of a route (route design, assembly, control over the movement of a train along the route, disassembling the route) that guarantees safe group movement of trains at a station. We construct the model of a route in the form of a logical passability function and the model of a railway station in the form of a logical diagram. Based on these models, we find the set of potentially feasible station routes, states of railroad switches and route traffic lights. We define different relationships between routes: compatible, incompatible, alternative.

Keywords: model of a railway station, logical route model, lifecycle of a route, compatible, incompatible, alternative routes.

Presented by the member of Editorial Board: A. A. Lazarev

Received: 17.09.2018
Revised: 15.10.2019
Accepted: 28.11.2019

DOI: 10.31857/S0005231020050104

 English version: Automation and Remote Control, 2020, 81:5, 883–896

Bibliographic databases:

• 
• 
•