Synthesis of Diagnostic Tests Based on Timed Automata

A large number of high value-added chemical products, such as the specialty chemicals, foods, semiconductors, and pharmaceuticals, etc., are often manufactured in complex but flexible batch or sequential processes. Hardware failures are random but inevitable events over the lifespan of any such plant. If the root causes of a failure-induced event sequence cannot be correctly identified in time, the final consequences may be catastrophic. Generally speaking, the overall performance of a diagnostic system can be improved by capturing more online data. To this end, the obvious design strategy is to install additional sensors. However, since new hardware inevitably requires extra spending and, also, the related issues have already been discussed extensively in the literature, there are incentives to develop an alternative means for enhancing diagnostic resolution without capital investment. Yeh and Chang (2011) proposed to implement online test procedures for such a purpose, while Kang and Chang (2014) later developed an effective procedure-synthesis method to conjecture the diagnostic tests according to untimed automata.

[1]  John F. MacGregor,et al.  Multivariate SPC charts for monitoring batch processes , 1995 .

[2]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[3]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[4]  Chuei-Tin Chang,et al.  Petri-Net Based Approach To Configure Online Fault Diagnosis Systems for Batch Processes , 2010 .

[5]  Zainal Ahmad,et al.  Optimum parameters for fault detection and diagnosis system of batch reaction using multiple neural networks , 2012 .

[6]  Theodora Kourti,et al.  Analysis, monitoring and fault diagnosis of batch processes using multiblock and multiway PLS , 1995 .

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

[8]  Theodora Kourti,et al.  Process analysis, monitoring and diagnosis, using multivariate projection methods , 1995 .

[9]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  Chuei-Tin Chang,et al.  An automaton-based approach to evaluate and improve online diagnosis schemes for multi-failure scenarios in batch chemical processes , 2011 .

[11]  ChangKyoo Yoo,et al.  Fault detection of batch processes using multiway kernel principal component analysis , 2004, Comput. Chem. Eng..

[12]  J. Macgregor,et al.  Monitoring batch processes using multiway principal component analysis , 1994 .

[13]  Gianfranco Lamperti,et al.  Diagnosis of a class of distributed discrete-event systems , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[14]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[15]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[16]  R. Srinivasan,et al.  Immune-System-Inspired Approach to Process Monitoring and Fault Diagnosis , 2011 .

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

[18]  Jinkyung Kim,et al.  Model Checking for Automatic Verification of Control Logics in Chemical Processes , 2011 .

[19]  Ilkka Niemelä,et al.  Model checking of safety-critical software in the nuclear engineering domain , 2012, Reliab. Eng. Syst. Saf..

[20]  Jinsong Zhao,et al.  Fault Diagnosis of Batch Chemical Processes Using a Dynamic Time Warping (DTW)-Based Artificial Immune System , 2011 .

[21]  Chuei-Tin Chang,et al.  Systematic generation of cyclic operating procedures based on timed automata , 2014 .

[22]  MengChu Zhou,et al.  Emerging Approaches to Integrating Distributed, Heterogeneous, and Complex Systems , 2006 .

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

[24]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[25]  Il Moon,et al.  Automatic verification of control logics in safety instrumented system design for chemical process industry , 2009 .

[26]  Chuei-Tin Chang,et al.  Automata generated test plans for fault diagnosis in sequential material- and energy-transfer operations , 2014 .

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

[28]  Olaf Stursberg,et al.  Verification of PLC Programs Given as Sequential Function Charts , 2004, SoftSpez Final Report.

[29]  Olaf Stursberg,et al.  Systematic design of logic controllers for processing plants starting from informal specifications , 2006 .

[30]  Zineb Simeu-Abazi,et al.  Modular Modeling for the Diagnostic of Complex Discrete-Event Systems , 2013, IEEE Transactions on Automation Science and Engineering.

[31]  Furong Gao,et al.  Quality-relevant Fault Diagnosis with Concurrent Phase Partition and Analysis of Relative Changes for Multiphase Batch Processes , 2013 .

[32]  A. Çinar,et al.  Online batch/fed-batch process performance monitoring, quality prediction, and variable-contribution analysis for diagnosis , 2003 .

[33]  Chuei-Tin Chang,et al.  Timed-automata based method for synthesizing diagnostic tests in batch processes , 2016, Comput. Chem. Eng..