Representing Timed Automata and Timing Anomalies of Cyber-Physical
Production Systems in Knowledge Graphs
- URL: http://arxiv.org/abs/2308.13433v1
- Date: Fri, 25 Aug 2023 15:25:57 GMT
- Title: Representing Timed Automata and Timing Anomalies of Cyber-Physical
Production Systems in Knowledge Graphs
- Authors: Tom Westermann, Milapji Singh Gill, Alexander Fay
- Abstract summary: This paper aims to improve model-based anomaly detection in CPPS by combining the learned timed automaton with a formal knowledge graph about the system.
Both the model and the detected anomalies are described in the knowledge graph in order to allow operators an easier interpretation of the model and the detected anomalies.
- Score: 51.98400002538092
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Model-Based Anomaly Detection has been a successful approach to identify
deviations from the expected behavior of Cyber-Physical Production Systems.
Since manual creation of these models is a time-consuming process, it is
advantageous to learn them from data and represent them in a generic formalism
like timed automata. However, these models - and by extension, the detected
anomalies - can be challenging to interpret due to a lack of additional
information about the system. This paper aims to improve model-based anomaly
detection in CPPS by combining the learned timed automaton with a formal
knowledge graph about the system. Both the model and the detected anomalies are
described in the knowledge graph in order to allow operators an easier
interpretation of the model and the detected anomalies. The authors
additionally propose an ontology of the necessary concepts. The approach was
validated on a five-tank mixing CPPS and was able to formally define both
automata model as well as timing anomalies in automata execution.
Related papers
- Automatic Discovery and Assessment of Interpretable Systematic Errors in Semantic Segmentation [0.5242869847419834]
This paper presents a novel method for discovering systematic errors in segmentation models.
We leverage multimodal foundation models to retrieve errors and use conceptual linkage along with erroneous nature to study the systematic nature of these errors.
Our work opens up the avenue to model analysis and intervention that have so far been underexplored in semantic segmentation.
arXiv Detail & Related papers (2024-11-16T17:31:37Z) - Root Causing Prediction Anomalies Using Explainable AI [3.970146574042422]
We present a novel application of explainable AI (XAI) for root-causing performance degradation in machine learning models.
A single feature corruption can cause cascading feature, label and concept drifts.
We have successfully applied this technique to improve the reliability of models used in personalized advertising.
arXiv Detail & Related papers (2024-03-04T19:38:50Z) - Machine Learning for Real-Time Anomaly Detection in Optical Networks [3.899824115379246]
This work proposes a real-time anomaly detection scheme that leverages the multi-step ahead prediction capabilities of encoder-decoder (ED) deep learning models with recurrent units.
Specifically, an encoder-decoder is used to model soft-failure evolution over a long future horizon (i.e., for several days ahead) by analyzing past quality-of-transmission (QoT) observations.
arXiv Detail & Related papers (2023-06-19T07:17:59Z) - Self-Supervised Training with Autoencoders for Visual Anomaly Detection [61.62861063776813]
We focus on a specific use case in anomaly detection where the distribution of normal samples is supported by a lower-dimensional manifold.
We adapt a self-supervised learning regime that exploits discriminative information during training but focuses on the submanifold of normal examples.
We achieve a new state-of-the-art result on the MVTec AD dataset -- a challenging benchmark for visual anomaly detection in the manufacturing domain.
arXiv Detail & Related papers (2022-06-23T14:16:30Z) - TELESTO: A Graph Neural Network Model for Anomaly Classification in
Cloud Services [77.454688257702]
Machine learning (ML) and artificial intelligence (AI) are applied on IT system operation and maintenance.
One direction aims at the recognition of re-occurring anomaly types to enable remediation automation.
We propose a method that is invariant to dimensionality changes of given data.
arXiv Detail & Related papers (2021-02-25T14:24:49Z) - Using Data Assimilation to Train a Hybrid Forecast System that Combines
Machine-Learning and Knowledge-Based Components [52.77024349608834]
We consider the problem of data-assisted forecasting of chaotic dynamical systems when the available data is noisy partial measurements.
We show that by using partial measurements of the state of the dynamical system, we can train a machine learning model to improve predictions made by an imperfect knowledge-based model.
arXiv Detail & Related papers (2021-02-15T19:56:48Z) - Anomaly Detection of Time Series with Smoothness-Inducing Sequential
Variational Auto-Encoder [59.69303945834122]
We present a Smoothness-Inducing Sequential Variational Auto-Encoder (SISVAE) model for robust estimation and anomaly detection of time series.
Our model parameterizes mean and variance for each time-stamp with flexible neural networks.
We show the effectiveness of our model on both synthetic datasets and public real-world benchmarks.
arXiv Detail & Related papers (2021-02-02T06:15:15Z) - LSTM for Model-Based Anomaly Detection in Cyber-Physical Systems [4.020523898765404]
Anomaly detection is the task of detecting data which differs from the normal behaviour of a system in a given context.
Long Short-Term Memory (LSTM) neural networks have been shown to be particularly useful to learn time sequences.
We analyse the approach on artificial and real data.
arXiv Detail & Related papers (2020-10-29T15:26:08Z) - A Novel Anomaly Detection Algorithm for Hybrid Production Systems based
on Deep Learning and Timed Automata [73.38551379469533]
DAD:DeepAnomalyDetection is a new approach for automatic model learning and anomaly detection in hybrid production systems.
It combines deep learning and timed automata for creating behavioral model from observations.
The algorithm has been applied to few data sets including two from real systems and has shown promising results.
arXiv Detail & Related papers (2020-10-29T08:27:43Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.