This article is cited in 1 paper

Control the moving objects

Logical model of railway station objects

A. I. Potekhin

V. A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences, Moscow

Abstract: Problems are considered of creating the train dispatching systems, able to predict potential conflict situations. For this purpose a formal method is developed of railway objects (stations, spans) structure representation in the form of a logical functions system, based on which is the number of routes. Logical relations between the routes (compatible, incompatible, conflicting) are determined.

Keywords: logical model, railway station, railroad switch, the trains route, compatible, conflicting routes.

UDC: 658.52.011.56