Skip to main content
SpringerLink
Log in

Logical Foundations of Group Traffic Control of Trains

  • Topical Issue
  • Published:
Automation and Remote Control Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Vasil’ev, S.N., From Classical Control Problems to Intelligent Control, Izv. Akad. Nauk, Teor. Sist. Upravlen., 2001, no. 1, pp. 5–22; no. 2, pp. 5–21.

    Google Scholar 

  2. Ambartsumyan, A.A. and Potekhin, A.I., Sobytiinoe logicheskoe upravlenie proizvodstvennymi protsessami potochnogo tipa (Event-Based Logical Control for Production Processes of Flow Type), Moscow: IPU RAN, 2006.

    Google Scholar 

  3. Kuznetsov, S.K. and Potekhin, A.I., Modern Decision Support Systems for Railroad Dispatchers, Probl. Upravlen., 2017, no. 1, pp. 1–14.

    Google Scholar 

  4. Potekhin, A.I., Logicheskie modeli ob”ektov zheleznodorozhnoi stantsii (Logical Models of Objects on a Railroad Station), Probl. Upravlen., 2016, no. 5, pp. 71–79.

    Google Scholar 

  5. Zakrevskii, A.D., Pottosin, Yu.V., and Cheremisinova, L.D., Logicheskie osnovy proektirovaniya diskretnykh ustroistv (Logical Foundations of the Design of Discrete Devices), Moscow: Fizmatlit, 2007.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    A. I. Potekhin

Authors
  1. A. I. Potekhin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. I. Potekhin.

Additional information

This paper was recommended for publication by A. A. Lazarev, a member of the Editorial Board

Russian Text © The Author(s), 2020, published in Avtomatika i Telemekhanika, 2020, No. 5, pp. 156–172.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Potekhin, A.I. Logical Foundations of Group Traffic Control of Trains. Autom Remote Control 81, 883–896 (2020). https://doi.org/10.1134/S0005117920050082

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0005117920050082

Keywords

Search

Navigation