Spatially-temporally online fault detection using timed multivariate statistical logic

Abstract This work develops an extension of temporal logic called timed multivariate statistical logic (TMSL) that can specify not only spatial features but also temporal dynamics of systems in a formal way. A purely data-based algorithm is presented to automatically learn the TMSL from process data. First, the principal component analysis (PCA) method is used to extract spatial features among all available process data. Next, based on these spatial features, a large margin fuzzy c-means method is developed to automatically discover a set of meaningful regions called Regions-of-Interest. As a result, the data space is partitioned into a set of Regions-of-Interest. Then, a temporally-annotated automaton for TMSL is generated with these discovered Regions-of-Interest. Finally, a PCA-based spatial monitor and a TMSL-based temporal monitor are further developed for online fault detection. For performance validation, the proposed online fault detection method is demonstrated in three application studies.

[1]  Thomas F. Edgar,et al.  Identification of faulty sensors using principal component analysis , 1996 .

[2]  Avinash Achar,et al.  A unified view of Automata-based algorithms for Frequent Episode Discovery , 2010, ArXiv.

[3]  Steven X. Ding,et al.  Data-driven design of monitoring and diagnosis systems for dynamic processes: A review of subspace technique based schemes and some recent results , 2014 .

[4]  園田 茂,et al.  5.Classification and Regression Trees(CART)による脳卒中患者の退院時ADL予測(脳卒中-ADL予測) , 1995 .

[5]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[6]  Raghunathan Rengaswamy,et al.  Fault diagnosis using dynamic trend analysis: A review and recent developments , 2007, Eng. Appl. Artif. Intell..

[7]  E. F. Vogel,et al.  A plant-wide industrial process control problem , 1993 .

[8]  Jonathan E. Cooper,et al.  Dynamic Multivariate Statistical Process Control using Subspace Identification , 2004 .

[9]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.

[10]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[11]  Hans Grobler,et al.  Soft-Core Dataflow Processor Architecture Optimized for Radar Signal Processing , 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[12]  B. Bakshi.  Multiscale PCA with application to multivariate statistical process monitoring , 1998 .

[13]  S. Joe Qin,et al.  Multivariate process monitoring and fault diagnosis by multi-scale PCA , 2002 .

[14]  Raghunathan Rengaswamy,et al.  A review of process fault detection and diagnosis: Part I: Quantitative model-based methods , 2003, Comput. Chem. Eng..

[15]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[16]  S. Joe Qin,et al.  Consistent dynamic PCA based on errors-in-variables subspace identification , 2001 .

[17]  Junghui Chen,et al.  On-line batch process monitoring using dynamic PCA and dynamic PLS models , 2002 .

[18]  Zhendong Su,et al.  Online inference and enforcement of temporal properties , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[19]  Leslie Lamport,et al.  What Good is Temporal Logic? , 1983, IFIP Congress.

[20]  Zhiqiang Ge,et al.  HMM-Driven Robust Probabilistic Principal Component Analyzer for Dynamic Process Fault Classification , 2015, IEEE Transactions on Industrial Electronics.

[21]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[22]  J. Bezdek,et al.  FCM: The fuzzy c-means clustering algorithm , 1984 .

[23]  Arnaud Giacometti,et al.  An Apriori-based Approach for First-Order Temporal Pattern , 2004, J. Inf. Data Manag..

[24]  Calin Belta,et al.  Anomaly detection in cyber-physical systems: A formal methods approach , 2014, 53rd IEEE Conference on Decision and Control.

[25]  Raghunathan Rengaswamy,et al.  A Novel Interval-Halving Framework For Automated Identification of Process Trends , 2004 .

[26]  Seongkyu Yoon,et al.  Principal‐component analysis of multiscale data for process monitoring and fault diagnosis , 2004 .

[27]  Margherita Napoli,et al.  Parametric Metric Interval Temporal Logic , 2010, LATA.

[28]  Khashayar Khorasani,et al.  Dynamic neural network-based fault diagnosis of gas turbine engines , 2014, Neurocomputing.

[29]  Raghunathan Rengaswamy,et al.  Fuzzy-logic based trend classification for fault diagnosis of chemical processes , 2003, Comput. Chem. Eng..

[30]  Grigore Rosu,et al.  Monitoring Algorithms for Metric Temporal Logic Specifications , 2004, RV@ETAPS.

[31]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: A survey and some new results , 1990, Autom..

[32]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.

[33]  Richard A. Berk.  Classification and Regression Trees (CART) , 2008 .

[34]  Donghua Zhou,et al.  A New Method of Dynamic Latent-Variable Modeling for Process Monitoring , 2014, IEEE Transactions on Industrial Electronics.

[35]  Sanjit A. Seshia,et al.  Mining Requirements From Closed-Loop Control Models , 2015, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[36]  Huajing Fang,et al.  Increasing mapping based hidden Markov model for dynamic process monitoring and diagnosis , 2014, Expert Syst. Appl..

[37]  Georgios E. Fainekos,et al.  On-Line Monitoring for Temporal Logic Robustness , 2014, RV.

[38]  Calin Belta,et al.  Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements , 2015, ADHS.

[39]  Christos Georgakis,et al.  Disturbance detection and isolation by dynamic principal component analysis , 1995 .

[40]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[41]  Felix Klaedtke,et al.  Algorithms for monitoring real-time properties , 2011, Acta Informatica.

[42]  Hai Lin,et al.  Adaptive sparse principal component analysis for enhanced process monitoring and fault isolation , 2015 .

[43]  Calin Belta,et al.  Temporal logic inference for classification and prediction from data , 2014, HSCC.

[44]  Avinash Achar,et al.  A unified view of the apriori-based algorithms for frequent episode discovery , 2011, Knowledge and Information Systems.

[45]  Thomas A. Henzinger,et al.  The benefits of relaxing punctuality , 1991, JACM.

[46]  Venkat Venkatasubramanian,et al.  Automatic generation of qualitative descriptions of process trends for fault detection and diagnosis , 1991 .