English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Railway Traffic Control Systems (RTCS) provide a safe, reliable and efficient movement of rolling stock on railway networks. RTCSs are classified as critical process systems. The power supply system is required to provide a high level of power reliability so that a station equipment of an RTCS safely executes the rail traffic process. The article describes typical solutions of power supply of station equipment of RTCSs. Analysis of these solutions led to the development of assumptions and structures for the integrated power supply system of station equipment. Useful tools for the formal modeling of such systems can be Petri Nets. These nets are a graphical and formal tool for modeling, formal analysis, and design of discrete event systems. The basic element of the integrated power system which is described in the article is the Automatic Reserve Switching system (ARS system). The ARS controller Marked Petri Net (ARS controller MPN) that has been developed by the authors is presented here. The net was subject to reduction resulting in an ARS controller hierarchical simplified MPN. The article also presents the practical application of the ARS controller built using the hardware platform and graphical programming environment LabView National Instruments (NI).

Integrated power supply system for station equipment of rail traffic control