Fault diagnosis in fixed‐block railway signaling systems: a discrete event systems approach

In conventional railway systems (or fixed-block railway signaling systems), railway lines are divided into subsections, called railway blocks, which start and end with a signal. In order to prevent collisions, only one train is allowed in each railway block at a time. Since the occupancy of the next block is indicated by the signals, train drivers have to pay attention to the signals during their journey. In spite of the conventional railway systems having several drawbacks such as the reduction in railway line capacity and the same safe braking distances for all kinds of trains, they have been in use since the mid-1800s. In this paper, we study fault diagnosis in fixed-block railway signaling systems from the discrete event systems point of view: first the signaling system equipment are modeled by using Petri nets, and next a diagnoser is designed to show the diagnosability of the system. © 2014 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.

[1]  Devinder Thapa,et al.  Transformation from Petri Nets Model to Programmable Logic Controller using One-to-One Mapping Technique , 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).

[2]  Jakob Lyng Petersen,et al.  Automatic verification of railway interlocking systems: a case study , 1998, FMSP '98.

[3]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[4]  John C. Knight,et al.  Safety critical systems: challenges and directions , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[5]  MengChu Zhou,et al.  A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[6]  V. Purnachandra Rao,et al.  Microprocessor-based railway interlocking control with low accident probability , 1987, IEEE Transactions on Vehicular Technology.

[7]  Antonio Ramírez-Treviño,et al.  Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach , 2007, IEEE Transactions on Automation Science and Engineering.

[8]  Sheng-Luen Chung.  Diagnosing PN-based models with partial observable transitions , 2005, Int. J. Comput. Integr. Manuf..

[9]  Murat Uzam,et al.  Discrete event control system design using automation Petri nets and their ladder diagram implementation , 1998 .

[10]  MuDer Jeng,et al.  Diagnosability of Petri nets , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[11]  Hideo Nakamura,et al.  Computerized Interlocking System for Railway Signaling Control: SMILE , 1985, IEEE Transactions on Industry Applications.

[12]  Toshimitsu Ushio,et al.  Fault detection based on Petri net models with faulty behaviors , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[13]  Stefano Russo,et al.  Introduction to Safety Critical Systems , 2013 .

[14]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[15]  RenC David,et al.  Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..

[16]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[17]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[18]  L. M. Laita,et al.  Railway interlocking systems and Gröbner bases , 2000 .

[19]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[20]  Dimitri Lefebvre,et al.  Diagnosis of DES With Petri Net Models , 2007, IEEE Transactions on Automation Science and Engineering.

[21]  Alessandro Giua,et al.  Modeling and Supervisory Control of Railway Networks Using Petri Nets , 2008, IEEE Transactions on Automation Science and Engineering.

[22]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[23]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[24]  Demosthenis Teneketzis,et al.  Active diagnosis of discrete-event systems , 1998 .

[25]  C. White.  Interlocking principles [railway signalling] , 2010 .

[26]  Mehmet Turan Soylemez,et al.  Automatic Interlocking Table Generation for Railway Stations Using Symbolic Algebra , 2012 .

[27]  Alessandro Giua,et al.  A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets , 2012, IEEE Transactions on Automatic Control.

[28]  Georg Frey.  Automatic implementation of Petri net based control algorithms on PLC , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).