2013 IEEE International Conference on Intelligent Rail Transportation Proceedings
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467352772, 9781467352789, 9781467352765

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Application of UML sequence diagram in CTCS-3 onboard system hazard identification

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696288 ◽

2013 ◽

Author(s):

Xiao-fei Yao ◽

Kai-cheng Li ◽

Da-tian Zhou ◽

Xiao-fan Mo ◽

Yuan Yao

Keyword(s):

Hazard Identification ◽

Sequence Diagram ◽

Onboard System ◽

Uml Sequence Diagram

Download Full-text

Dynamic simulation and performance optimization of wireless communication in urban rail transportation

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696287 ◽

2013 ◽

Author(s):

Wen Wei ◽

Jin Shi ◽

Ming Jiang ◽

Huijun Che ◽

Lei Chen

Keyword(s):

Wireless Communication ◽

Dynamic Simulation ◽

Performance Optimization ◽

Rail Transportation ◽

Urban Rail ◽

And Performance

Download Full-text

Study of fault diagnosis method based on fuzzy Bayesian network and application in CTCS-3 train control system

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696302 ◽

2013 ◽

Cited By ~ 5

Author(s):

Jingjing Zhao ◽

Wei Zheng

Keyword(s):

Control System ◽

Fault Diagnosis ◽

Bayesian Network ◽

Train Control ◽

Train Control System ◽

Diagnosis Method

Download Full-text

Railway interlocking process - Building a base for formal methods

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696284 ◽

2013 ◽

Cited By ~ 1

Author(s):

Jacek Mocki ◽

Ljubo Vlacic

Keyword(s):

Formal Methods

Download Full-text

Front cover

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696316 ◽

2013 ◽

Keyword(s):

Front Cover

Download Full-text

Fault diagnosis of train sensors based on evolutionary genetic Particle Filter

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696303 ◽

2013 ◽

Cited By ~ 2

Author(s):

Weijie Kong ◽

Wei Zheng

Keyword(s):

Fault Diagnosis ◽

Particle Filter ◽

Evolutionary Genetic

Download Full-text

Analysis on EURORADIO safety critical protocol by probabilistic model checking

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696271 ◽

2013 ◽

Author(s):

Hongyu Quan ◽

Huibing Zhao ◽

Guo Zhou

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Safety Critical

Download Full-text

Energy-efficient driving in the context of a communications-based train control system (CBTC)

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696261 ◽

2013 ◽

Cited By ~ 10

Author(s):

Karsten Rahn ◽

Christian Bode ◽

Thomas Albrecht

Keyword(s):

Control System ◽

Energy Efficient ◽

Train Control ◽

Train Control System

Download Full-text

Research and application of the BFM-STAMP hazard analysis method

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696289 ◽

2013 ◽

Author(s):

Rui Wang ◽

Wei Zheng

Keyword(s):

Hazard Analysis ◽

Analysis Method

Download Full-text

Optimal train schedule with headway and passenger flow dynamic models

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings ◽

10.1109/icirt.2013.6696313 ◽

2013 ◽

Cited By ~ 5

Author(s):

Xubin Sun ◽

Shaobo Zhang ◽

Hairong Dong ◽

Hainan Zhu

Keyword(s):

Dynamic Models ◽

Flow Dynamic ◽

Passenger Flow

Download Full-text

2013 IEEE International Conference on Intelligent Rail Transportation ProceedingsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Application of UML sequence diagram in CTCS-3 onboard system hazard identification

Dynamic simulation and performance optimization of wireless communication in urban rail transportation

Study of fault diagnosis method based on fuzzy Bayesian network and application in CTCS-3 train control system

Railway interlocking process - Building a base for formal methods

Front cover

Fault diagnosis of train sensors based on evolutionary genetic Particle Filter

Analysis on EURORADIO safety critical protocol by probabilistic model checking

Energy-efficient driving in the context of a communications-based train control system (CBTC)

Research and application of the BFM-STAMP hazard analysis method

Optimal train schedule with headway and passenger flow dynamic models

2013 IEEE International Conference on Intelligent Rail Transportation Proceedings
Latest Publications