Decision‐making strategies in fixed‐block railway signaling systems: A discrete event systems approach

Durmuş, Mustafa Seçkin; Takai, Shigemasa; Söylemez, Mehmet Turan

doi:10.1002/tee.22052

Cited by 6 publications

(2 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The process of admitting/sending routes is carried out using the following indicators. We determine the mathematical performance of the Petri Nets by comparing the automation and telemechanics equipment at the station, the condition of the tracks at the station, and the time on the schedule of high-speed trains at each station [24][25][26][27][28][29][30][31][32][33][34]. Where is, I -checks access conditions when preparing routes.…”

Section: Methodsmentioning

confidence: 99%

Route management modeling of high-speed trains on the train dispatcher section

Muhiddinov

Boltayev

2023

E3S Web of Conf.

View full text Add to dashboard Cite

This article gives a brief overview on fragmentation and how to prepare for a high-speed train. Currently, on the sections where high-speed trains run, the train dispatcher uses his experience and high skills to solve this problem by preparing train routes, is the method of calculating the tracking and crossing stations, preparing tracks for trains at stations. This process is modeled using the Petri Nets.

show abstract

Section: Methodsmentioning

confidence: 99%

Route management modeling of high-speed trains on the train dispatcher section

Muhiddinov

Boltayev

2023

E3S Web of Conf.

View full text Add to dashboard Cite

show abstract

“…In order to overcome this problem, some works turn to using Petri nets (PNs) [4][5][6][7][8][9][10][11][12][13][14][15][16][17], which offer powerful expressiveness and compact representation. In [10], the authors develop the basis reachability graph (BRG) to discuss diagnosability of bounded LPNs.…”

mentioning

confidence: 99%

On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

Liu

Ghazel

Toguyéni³

2017

Asian Journal of Control

View full text Add to dashboard Cite

In this paper, we develop an on‐the‐fly and incremental technique for fault diagnosis of discrete event systems modeled by labeled Petri nets, in order to tackle the combinatorial explosion problem. K‐diagnosability, diagnosability, Kmin (the minimum K ensuring diagnosability) and on‐line diagnosis are solved on the basis of the on‐the‐fly and incremental building of two structures, called respectively fault marking graph and fault marking set graph, in parallel. We build on existing results, namely those establishing necessary and sufficient conditions for diagnosability, but we bring mechanisms to make the checking of such conditions potentially more efficient. We show that, in general, analyzing or even building the whole reachability graph is unnecessary to analyze diagnosability and build an on‐line diagnoser. Our technique was implemented in a prototype tool called OF‐PENDA, and a railway level crossing benchmark is used to make a comparative discussion pertaining to efficiency in terms of time and memory relative to some existing approaches.

show abstract

Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems

et al. 2016

View full text Add to dashboard Cite

Abstract:The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occur in railway field components both on the requirements preparation phase and on the development phase of the signaling system software or namely, the interlocking system. Although the diagnosis of different unobservable faults is relatively hard, especially for large scale railway fields, this complexity can be overcome by using the Discrete Event System (DES) based modular diagnosis approach which is explained in this paper. The main advantage of using such modular approach for fault diagnosis in fixed-block signaling systems is the inspection of the diagnosability of the whole system with respect to its subsystems (railway field components). In this study, the diagnosability of the railway field equipment and the whole system is also explained with a case study.

show abstract

Decision‐making strategies in fixed‐block railway signaling systems: A discrete event systems approach

Cited by 6 publications

References 31 publications

Route management modeling of high-speed trains on the train dispatcher section

Route management modeling of high-speed trains on the train dispatcher section

On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems

Contact Info

Product

Resources

About