A hybrid-logic approach towards fault detection in complex cyber-physical systems
Existing data mining approaches to complex systems anomaly detection use uni-variate and/or multi-variate statistical hypothesis testing to assign anomaly scores to data streams associated with system components. The former approach assumes statistical independence of individual components, while the latter assumes substantial global systemic correlation. As a compromise between these two epistemological extremes, we present a data-mining approach hybridizing existing statistical techniques with theorem-proving methods to create a novel algorithm for anomaly detection, diagnosis and control in complex systems. Our algorithm takes sensor inputs from physical sensors providing system subcomponent performance data and outputs (i) a global systemic risk indicator and (ii) possible diagnosis hypotheses. We present results on three different systems, and in comparison with current state-of-the-art fault detection algorithms to demonstrate the viability of our approach. We ﬁnd that our algorithm proves robust towards increased data dimensionality in contrast with existing clustering-based fault detection methods and can also detect contextual faults that are undetectable using existing statistical techniques.
How to Cite
complex systems, multivariate statistical analysis, real-time fault detection
Chandola, V., Banerjee, A., & V., K. (2009). Anomaly detection: A survey. ACM Computing survey, 41.
Cheng, H., Tan, P., Potter, C., & Klooster, S. (2009). Detection and Characterization of Anomalies in Multivariate Time Series. In Proceedings of the SIAM Data Mining Conference.
Houle, M., Kriegel, H., Kroger, P., Schubert, E., & Zimek, A. (2010). Can Shared-Neighbor Distances Defeat the Curse of Dimensionality? In Proceedings of the 21th International Conference on Scientiﬁc and Statistical Database Management.
Iverson, D. (2004). Inductive system health monitoring. In International Conference on Artiﬁcial Intelligence (IC-AI04).
Mengshoel, O., Darwiche, A., Cascio, K., Chavira, M., Poll, S., & Uckun, S. (2008). Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. In Proc. of the Twentieth Innovative Applications of Artiﬁcial Intelligence, Conference (IAAI08).
NASA-Dashlink. (n.d.). Retrieved on 01/12/2010 from.https://c3.ndc.nasa.gov/dl/data/ adapt-an-electrical-power-system -testbed/.
Neal, R., & Hinton, G. E. (1998). A View Of The Em Algorithm That Justiﬁes Incremental, Sparse, And Other Variants. In Learning in Graphical Models (p. 355-368). Kluwer Academic Publishers.
Poll, S., Patterson-Hine, A., Camisa, J., Garcia, D., Hall, D., Lee, C., et al. (2007). Advanced diagnostics and prognostics testbed. In Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07) (p. 178-185).
Prover9/Mace4. (n.d.). Retrieved on 06/07/2010 from.http://www.cs.unm.edu/ ˜mccune/ prover9/.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.