Paper Info
Title
Component Based Architecture for the Control of Crossing Regions in Railway Networks
Abstract
The research work in this paper discusses an improved Petri net model of railway crossing regions which are important and critical components of a railway networks. A control algorithm has been developed showing the interaction of the controller to other component of the system. A formal approach viz. Petri net (PN) is applied to model the safety requirement of trains along the crossing regions in railway networks. For the modeling, the component based modeling and the state-oriented modeling approaches have been integrated. First the track components and the control component are identified. The interaction of identified components, satisfying the safety requirements, is also defined in the high level architecture. Finally, state-oriented modeling approach has been adopted to design the detailed model of crossing region. Further, this paper uses the coverability tree to verify the specifications of crossing regions. By taking the crossing point as center, a circular region is introduced for safety purpose. Further, safety properties have been defined in term of place-invariants which have been verified by the state-space analysis.
Year
DOI
Venue
2017
10.1109/ICMLA.2017.0-105
2017 16th IEEE International Conference on Machine Learning and Applications (ICMLA)
Keywords
Field
DocType
Control system,component based design Petri nets,railway crossing region
Control algorithm,Control theory,Petri net,Computer science,System recovery,Control engineering,Artificial intelligence,Component-based software engineering,Train,Component based modeling,Machine learning,High-level architecture
Conference
ISBN
Citations 
PageRank 
978-1-5386-1419-8
0
0.34
References 
Authors
11
8
Name
Order
Citations
PageRank
F. Ahmad131.26
Ayesha Sadiq223.06
A. M. Martinez-Enriquez3108.13
Aslam Muhammad4229.31
Muhammad Waqas Anwar5342.92
Usama Ujaz Bajwa600.34
Mudasser Naseer732.46
Sher Afzal Khan8286.18