Anomaly Detection in Cyber Physical Systems Using Recurrent Neural Networks

2017 ◽  
Author(s):  
Jonathan Goh ◽  
Sridhar Adepu ◽  
Marcus Tan ◽  
Zi Shan Lee
Keyword(s):  
Neural Networks ◽  
Anomaly Detection ◽  
Recurrent Neural Networks ◽  
Cyber Physical Systems ◽  
Physical Systems

scholarly journals Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems

2021 ◽  
Vol 20 (5s) ◽  
pp. 1-25
Author(s):  
Meiyi Ma ◽  
John Stankovic ◽  
Ezio Bartocci ◽  
Lu Feng
Keyword(s):  
Neural Networks ◽  
Real World ◽  
Recurrent Neural Networks ◽  
Cyber Physical Systems ◽  
Uncertainty Estimation ◽  
Physical Systems ◽  
Confidence Levels ◽  
Novel Approach ◽  
Infinite Set

Predictive monitoring—making predictions about future states and monitoring if the predicted states satisfy requirements—offers a promising paradigm in supporting the decision making of Cyber-Physical Systems (CPS). Existing works of predictive monitoring mostly focus on monitoring individual predictions rather than sequential predictions. We develop a novel approach for monitoring sequential predictions generated from Bayesian Recurrent Neural Networks (RNNs) that can capture the inherent uncertainty in CPS, drawing on insights from our study of real-world CPS datasets. We propose a new logic named Signal Temporal Logic with Uncertainty (STL-U) to monitor a flowpipe containing an infinite set of uncertain sequences predicted by Bayesian RNNs. We define STL-U strong and weak satisfaction semantics based on whether all or some sequences contained in a flowpipe satisfy the requirement. We also develop methods to compute the range of confidence levels under which a flowpipe is guaranteed to strongly (weakly) satisfy an STL-U formula. Furthermore, we develop novel criteria that leverage STL-U monitoring results to calibrate the uncertainty estimation in Bayesian RNNs. Finally, we evaluate the proposed approach via experiments with real-world CPS datasets and a simulated smart city case study, which show very encouraging results of STL-U based predictive monitoring approach outperforming baselines.

scholarly journals On the Effectiveness of Recurrent Neural Networks for Live Modeling of Cyber-Physical Systems

2019 ◽  
Author(s):  
Srikanth Yoginath ◽  
Varisara Tansakul ◽  
Supriya Chinthavali ◽  
Curtis Taylor ◽  
Joshua Hambrick ◽  
...  
Keyword(s):  
Neural Networks ◽  
Recurrent Neural Networks ◽  
Cyber Physical Systems ◽  
Physical Systems

scholarly journals Assurance monitoring of learning-enabled cyber-physical systems using inductive conformal prediction based on distance learning

2021 ◽  
Vol 35 (2) ◽  
pp. 251-264
Author(s):  
Dimitrios Boursinos ◽  
Xenofon Koutsoukos
Keyword(s):  
Neural Networks ◽  
Distance Learning ◽  
Real Time ◽  
Speaker Recognition ◽  
Deep Neural Networks ◽  
Cyber Physical Systems ◽  
Error Rates ◽  
Traffic Sign ◽  
Conformal Prediction ◽  
Physical Systems

AbstractMachine learning components such as deep neural networks are used extensively in cyber-physical systems (CPS). However, such components may introduce new types of hazards that can have disastrous consequences and need to be addressed for engineering trustworthy systems. Although deep neural networks offer advanced capabilities, they must be complemented by engineering methods and practices that allow effective integration in CPS. In this paper, we proposed an approach for assurance monitoring of learning-enabled CPS based on the conformal prediction framework. In order to allow real-time assurance monitoring, the approach employs distance learning to transform high-dimensional inputs into lower size embedding representations. By leveraging conformal prediction, the approach provides well-calibrated confidence and ensures a bounded small error rate while limiting the number of inputs for which an accurate prediction cannot be made. We demonstrate the approach using three datasets of mobile robot following a wall, speaker recognition, and traffic sign recognition. The experimental results demonstrate that the error rates are well-calibrated while the number of alarms is very small. Furthermore, the method is computationally efficient and allows real-time assurance monitoring of CPS.

scholarly journals Many-Objective Optimization for Anomaly Detection on Multi-Layer Complex Interaction Networks

2021 ◽  
Vol 11 (9) ◽  
pp. 4005
Author(s):  
Asep Maulana ◽  
Martin Atzmueller
Keyword(s):  
Anomaly Detection ◽  
Complex Networks ◽  
Pareto Front ◽  
Scoring Function ◽  
Cyber Physical Systems ◽  
Complex Interaction ◽  
Interaction Networks ◽  
Physical Systems ◽  
Human Interactions ◽  
Different Levels

Anomaly detection in complex networks is an important and challenging task in many application domains. Examples include analysis and sensemaking in human interactions, e.g., in (social) interaction networks, as well as the analysis of the behavior of complex technical and cyber-physical systems such as suspicious transactions/behavior in financial or routing networks; here, behavior and/or interactions typically also occur on different levels and layers. In this paper, we focus on detecting anomalies in such complex networks. In particular, we focus on multi-layer complex networks, where we consider the problem of finding sets of anomalous nodes for group anomaly detection. Our presented method is based on centrality-based many-objective optimization on multi-layer networks. Starting from the Pareto Front obtained via many-objective optimization, we rank anomaly candidates using the centrality information on all layers. This ranking is formalized via a scoring function, which estimates relative deviations of the node centralities, considering the density of the network and its respective layers. In a human-centered approach, anomalous sets of nodes can then be identified. A key feature of this approach is its interpretability and explainability, since we can directly assess anomalous nodes in the context of the network topology. We evaluate the proposed method using different datasets, including both synthetic as well as real-world network data. Our results demonstrate the efficacy of the presented approach.

Detecting Intrusions in Cyber-Physical Systems of Smart Cities

2019 ◽  
pp. 74-102 ◽  
Author(s):  
Ismail Butun ◽  
Patrik Österberg
Keyword(s):  
Anomaly Detection ◽  
Smart Cities ◽  
Cyber Physical Systems ◽  
Security And Privacy ◽  
Security Vulnerabilities ◽  
Physical Systems ◽  
Detection Systems ◽  
Comprehensive Survey ◽  
Privacy Violation ◽  
Detection Schemes

Interfacing the smart cities with cyber-physical systems (CPSs) improves cyber infrastructures while introducing security vulnerabilities that may lead to severe problems such as system failure, privacy violation, and/or issues related to data integrity if security and privacy are not addressed properly. In order for the CPSs of smart cities to be designed with proactive intelligence against such vulnerabilities, anomaly detection approaches need to be employed. This chapter will provide a brief overview of the security vulnerabilities in CPSs of smart cities. Following a thorough discussion on the applicability of conventional anomaly detection schemes in CPSs of smart cities, possible adoption of distributed anomaly detection systems by CPSs of smart cities will be discussed along with a comprehensive survey of the state of the art. The chapter will discuss challenges in tailoring appropriate anomaly detection schemes for CPSs of smart cities and provide insights into future directions for the researchers working in this field.

Sign in / Sign up

Export Citation Format

Share Document