Railway fail-safe signalization and interlocking design based on automation Petri Net

Malakar, Bidhan; Roy, B. K.

doi:10.1109/icices.2014.7034154

Cited by 9 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While presenting the discrete event system models of the railway components, they also designed local modular supervisory controllers and checked the controllability and locality conditions [12]. Malakar, Roy modeled railway track interlocking and signalization systems with Automation Petri-Net [13]. Furthermore, formal development and verification of railway control system are worked by Haxthausenand Peleska gives a concept about distributed railway control systems which contain train control computers and switch boxes.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Haberleşme Tabanlı Tren Kontrolünün (CBTC) Otomatik Tren Korumasına (ATP) İlişkin Dağıtılmış-Hiyerarşik Kontrol Yaklaşımı

Atilgan

Kaymakçı

Mumcu

2023

Demiryolu Mühendisliği

View full text Add to dashboard Cite

With urbanization, the number of people living in metropolises is increasing, parallel to population growth, the demand for rail transportation systems, which has a very important place in urban transportation, is increasing day by day in populous cities. The traffic density, which will increase in parallel with the increasing demand on rail, makes the signal systems very important in terms of their impact on rail safety, capacity and efficiency. Today, communication-based train control (CBTC) is the preferred signaling system in many rail transportation systems. CBTC consists of some subsystems such as Automatic Train Protection (ATP), Automatic Train Control (ATS) and Automatic Train Operation (ATO). The subsystems have some specific, defined tasks. In performing these tasks, it is expected that the desired safety functions will be implemented with the highest level of confidence without being compromised by the increasing requirements from the subsystems. Nevertheless, the overall design of these systems may require to be modified to meet the new necessities. In this case, it is of great importance to control and model the subsystems while considering different standards. In this study, the subsystem of CBTC, ATP, is modeled with finite state automata with the discrete event system approach, and the supervisory watchers of the subsystems are designed, shown to satisfy the controllability and nonlocking conditions, and the obtained results are matched with the model of the monolithic approach.

show abstract

Section: Introductionmentioning

confidence: 99%

“…Fig 13. High-level model of RATP (Projected Model) (𝐺 𝑅𝐴𝑇𝑃(1),𝑐 )The high-level models of VATP and RATP are used for synchronization.…”

mentioning

confidence: 99%

Haberleşme Tabanlı Tren Kontrolünün (CBTC) Otomatik Tren Korumasına (ATP) İlişkin Dağıtılmış-Hiyerarşik Kontrol Yaklaşımı

Atilgan

Kaymakçı

Mumcu

2023

Demiryolu Mühendisliği

View full text Add to dashboard Cite

show abstract

“…The theoretical results for an interlocking system were tested on Interlocking Test Program with a railway field. The study [8] examined the Automation Petri Nets (APN) in railway signalization systems. The advantages of APN in railways were summarized.…”

Section: Introductionmentioning

confidence: 99%

Petri Net Modeling and Controller Design of Unistar CSV24 Point Machine

Leblebici

2023

Demiryolu Mühendisliği

View full text Add to dashboard Cite

Railway transportation has become essential in transportation systems because of its fast, safe, cheap and environmentally friendly structure. The safe navigation of trains depends on the correct design of the signaling system and its components. Developing technology also brings about changes in the standards used in rail transportation systems such that the railway safety standards recommend using Petri Nets in the modeling of point machines, which are the most basic actuators of signaling systems. The working principle of point machines can be easily explained with Discrete Event Systems (DES). In this study, a model was created for the Unistar CSV24 point machine, which is widely used in Turkey, by using Petri Nets. The validation of obtained model was verified using the TAPAAL interface. Electromechanical and Programmable Logic Control (PLC) solutions are presented to control the verified model. Siemens TIA PORTAL was used to obtain the PLC block of the point machine.

show abstract

“…The main advantage of using APN is that it includes both actuators and sensors. With less effort, we can trace the errors easily as the graphical illustrations are simple [9].…”

Section: Introductionmentioning

confidence: 99%

System of Intelligent Measurement and Control for the Condition of Moving Objects

Bekirova

Bayramov²

2021

International Journal of 3D Printing Technologies and Digital Industry

View full text Add to dashboard Cite

An intelligent system that monitors the speed and condition of a moving object is designed to reduce the risk of potential threats that may arise with autonomous decision-making capabilities depending on the situation and exchange information with databases via remote network sensors. Risk assessment based on information obtained from stationary metering stations installed at intersections and control crossings, object characteristics parameters and side-effect parameters, alerting the central management system based on the results, and making decisions on regulating the speed of the facility, depending on the level of danger and whether the decision is approved by the center, providing information about the facility on the board, sending alerts to security systems at intersections, and identifying opportunities for change by influencing decisions based on risks The characteristic technical parameters of the inflated object depend on internal and external factors and making appropriate decisions according to the risk assessment, etc. information on processes, monitoring, and control. Monitoring of working conditions with the participation of the remote control wireless sensor network in the central control room.

show abstract

Railway fail-safe signalization and interlocking design based on automation Petri Net

Cited by 9 publications

References 5 publications

Haberleşme Tabanlı Tren Kontrolünün (CBTC) Otomatik Tren Korumasına (ATP) İlişkin Dağıtılmış-Hiyerarşik Kontrol Yaklaşımı

Haberleşme Tabanlı Tren Kontrolünün (CBTC) Otomatik Tren Korumasına (ATP) İlişkin Dağıtılmış-Hiyerarşik Kontrol Yaklaşımı

Petri Net Modeling and Controller Design of Unistar CSV24 Point Machine

System of Intelligent Measurement and Control for the Condition of Moving Objects

Contact Info

Product

Resources

About