Development of automated operating procedure system using fuzzy colored petri nets for nuclear power plants

Abstract In this work, AuTomated Operating Procedure System (ATOPS) is developed. ATOPS is an automation system for emergency operation of a nuclear power plant (NPP) and it can monitor signals, diagnose statuses, and generate control actions according to corresponding operating procedures without any human operator’s help. Main functions of ATOPS are an anomaly detection function and a procedure execution function but only the procedure execution function is implemented in this work because this work is just the first step. In the procedure execution function, operating procedures of NPPs are analyzed and modeled using Fuzzy Colored Petri Nets (FCPN) and executed depending on decision making of the inference engine. In this work, ATOPS prototype is developed to demonstrate its feasibility and it is also validated using the FISA-2/WS simulator. The validation is performed for the cases of a loss of coolant accident (LOCA) and a steam generator tube rupture (SGTR). The simulation results show that ATOPS works correctly in the emergency situations.

[1]  Poong Hyun Seong,et al.  Automated Computer-Based Procedure System for Remote Operation System , 2001 .

[2]  Robert Valette,et al.  Fuzzy Petri Nets: An Overview , 1996 .

[3]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[4]  Xiaoou Li,et al.  Adaptive fuzzy petri nets for dynamic knowledge representation and inference , 2000 .

[5]  Witold Pedrycz,et al.  Modeling fuzzy Reasoning using High Level fuzzy Petri Nets , 1996, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[6]  Xiaoou Li,et al.  Dynamic knowledge inference and learning under adaptive fuzzy Petri net framework , 2000, IEEE Trans. Syst. Man Cybern. Part C.

[7]  Hidekazu Yoshikawa,et al.  A basic study on virtual collaborator as an innovative human-machine interface in distributed virtual environment: the prototype system and its implication for industrial application , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[8]  Carl G. Looney,et al.  Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[9]  Poong Hyun Seong,et al.  A quality control method for nuclear instrumentation and control systems based on software safety prediction , 2000 .

[10]  S. I. Ahson,et al.  A Fuzzy Petri Net for Knowledge Representation and Reasoning , 1991, Inf. Process. Lett..

[11]  Poong Hyun Seong,et al.  Feasibility Study on Use of Virtual Collaborator for Remote NPP Control , 2001 .

[12]  Krishna B. Misra,et al.  CHAPTER 14 - Use of Fuzzy Sets Theory: (Part-II : Applications) , 1993 .

[13]  Thomas B. Sheridan,et al.  Toward a General Model of Supervisory Control , 1976 .