57828

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Logical Foundations of Group Traffic Control of Trains

ISBN/ISSN: 

0005-1179

DOI: 

10.1134/S0005117920050082

Наименование источника: 

  • Automation and Remote Control

Обозначение и номер тома: 

Vol. 81, No. 5

Город: 

  • Moscow

Издательство: 

  • Pleiades Publishing, Ltd.

Год издания: 

2020

Страницы: 

843–856
Аннотация
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.

Библиографическая ссылка: 

Потехин А.И. Logical Foundations of Group Traffic Control of Trains // Automation and Remote Control. 2020. Vol. 81, No. 5. С. 843–856.