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.

我们展示了将数学逻辑方法应用于火车站列车群组运动控制系统的设计。我们开发了一条路线的典型生命周期（路线设计，组装，控制火车沿路线的运动，分解路线），以确保列车在车站的安全分组运动。我们以逻辑可通过性函数的形式构建路线模型，并以逻辑图的形式构建火车站的模型。基于这些模型，我们找到了一组可能可行的车站路线，铁路道岔的状态和路线交通信号灯。我们在路由之间定义了不同的关系：兼容，不兼容，替代。