Results 71 to 80 of about 697 (197)
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System
, 2016 This paper presents a set of experiments in formal modelling and verification of a deadlock avoidance algorithm of an Automatic Train Supervision System (ATS). The algorithm is modelled and verified using four formal environment, namely UMC, Promela/SPIN, NuSMV, and mCRL2.
Mazzanti F, Ferrari A, Spagnolo GO
openaire +2 more sources
Next-Hop Relay Selection for Ad Hoc Network-Assisted Train-to-Train Communications in the CBTC System. [PDF]
Sensors (Basel), 2023 Ma S, Li M, Yang R, Sun Y, Wang Z, Si P.
europepmc +1 more source
Comparative Analysis and Selection of Shanghai City Railway Signaling Systems
Chengshi guidao jiaotong yanjiu[Objective] With the rapid networked development of city railways， higher demands are being placed on the railway signaling systems in terms of interoperability and minimum headway.
ZHANG Boli, WANG Fang
doaj +1 more source
Modelling and Hierarchical Control of CBTC
, 2018 6th International Conference on Control Engineering and Information Technology (CEIT) -- OCT 25-27, 2018 -- Istanbul, TURKEY -- Yildiz Tech UnivOver the last decade, the railway industry has a great evolution about signaling system and there is more ...
Atılgan, Cem, Kaymakçı, Özgür Turay
core
Strategy for Selecting Signaling System Types for Suburban Railways
Chengshi guidao jiaotong yanjiuObjectiveThe mainstream signaling systems for suburban railways are CTCS2+ATO （Chinese train control system level 2 + automatic train operation） and CBTC （communication-based train control）.
Lin CHEN, Rui SONG, Ning DANG, Yifan QIU
doaj +1 more source
Control Algorithm of Train Autonomous Control System in Turnout Safety Zones
Chengshi guidao jiaotong yanjiu[Objective] Unlike the existing CBTC (communication-based train control) system control mechanism, the ATC (autonomous train control) system achieves autonomous train operation by directly controlling wayside resources.
Yanfeng WANG, Zehui XIE
doaj +1 more source
Loss Analysis in the Trackside RF Chain of a Radio-Based CBTC System
, 2017 A key assumption in the process of optimized design of RF systems is the efficient transfer of power from the transmitter source to the load (i.e., the end antenna).
Arash Aziminejad, Gabriel Epelbaum
core +1 more source
This study explores the feasibility and advantages of implementing a Communications-Based Train Control (CBTC) signalling system on the Copenhagen Metro.
Romero, Pau +2 more
core +2 more sources
Research on A New CBTC Signaling System Based on Train-to-train Communication
机车电传动, 2018 The new CBTC signaling system based on train-to-train communication (train-to-train signaling system) introduces the concept of train centered. Through the establishment of communication and cooperation between trains, the autonomous operation and ...
LI Lei, LIN Yunzhi, WANG Lili
doaj
Security Analysis for CBTC Systems under Attack–Defense Confrontation
, 2019 Communication-based train controls (CBTC) systems play a major role in urban rail transportation. As CBTC systems are no longer isolated from the outside world but use other networks to increase efficiency and improve productivity, they are exposed to ...
Bing Bu, Wenhao Wu
core +1 more source