scholarly journals Guaranteed model-based fault detection in cyber–physical systems: A model invalidation approach

Automatica ◽  
2018 ◽  
Vol 93 ◽  
pp. 476-488 ◽  
Author(s):  
Farshad Harirchi ◽  
Necmiye Ozay
Keyword(s):  
Fault Detection ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Based ◽  
Model Invalidation

scholarly journals Adaptive Threshold Generation for Fault Detection with High Dependability for Cyber-Physical Systems

2018 ◽  
Vol 8 (11) ◽  
pp. 2235
Author(s):  
Youngmi Baek ◽  
Minsu Jo
Keyword(s):  
Performance Evaluation ◽  
Fault Detection ◽  
Detection System ◽  
Cost Effective ◽  
Basic Structure ◽  
Adaptive Threshold ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Based ◽  
High Dependability

Cyber-physical systems (CPS) applied to safety-critical or mission-critical domains require high dependability including safety, security, and reliability. However, the safety of CPS can be significantly threatened by increased security vulnerabilities and the lack of flexibility in accepting various normal environments or conditions. To enhance safety and security in CPS, a common and cost-effective strategy is to employ the model-based detection technique; however, detecting faults in practice is challenging due to model and environment uncertainties. In this paper, we present a novel generation method of the adaptive threshold required for providing dependability for the model-based fault detection system. In particular, we focus on statistical and information theoretic analysis to consider the model and environment uncertainties, and non-linear programming to determine an adaptive threshold as an equilibrium point in terms of adaptability and sensitivity. To do this, we assess the normality of the data obtained from real sensors, define performance measures representing the system requirements, and formulate the optimal threshold problem. In addition, in order to efficiently exploit the adaptive thresholds, we design the storage so that it is added to the basic structure of the model-based detection system. By executing the performance evaluation with various fault scenarios by varying intensities, duration and types of faults injected, we prove that the proposed method is well designed to cope with uncertainties. In particular, against noise faults, the proposed method shows nearly 100% accuracy, recall, and precision at each of the operation, regardless of the intensity and duration of faults. Under the constant faults, it achieves the accuracy from 85.4% to 100%, the recall of 100% from the lowest 54.2%, and the precision of 100%. It also gives the accuracy of 100% from the lowest 83.2%, the recall of 100% from the lowest 43.8%, and the precision of 100% against random faults. These results indicate that the proposed method achieves a significantly better performance than existing dynamic threshold methods. Consequently, an extensive performance evaluation demonstrates that the proposed method is able to accurately and reliably detect the faults and achieve high levels of adaptability and sensitivity, compared with other dynamic thresholds.

Model Based Energy Consumption Analysis of Wireless Cyber Physical Systems

2017 ◽  
Vol 90 (8-9) ◽  
pp. 1191-1204 ◽  
Author(s):  
Ping Wang ◽  
Jing Liu ◽  
Jinlong Lin ◽  
Chao-Hsien Chu
Keyword(s):  
Energy Consumption ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Based ◽  
Energy Consumption Analysis

scholarly journals V-model based development of cyber-physical systems and cyber-physical production systems

Procedia CIRP ◽  
2021 ◽  
Vol 100 ◽  
pp. 253-258
Author(s):  
Iris Gräßler ◽  
Dominik Wiechel ◽  
Daniel Roesmann ◽  
Henrik Thiele
Keyword(s):  
Production Systems ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Based ◽  
Cyber Physical Production Systems

Step-based evolution support among networked production automation systems

2018 ◽  
Vol 66 (10) ◽  
pp. 849-858
Author(s):  
Christopher Haubeck ◽  
Heiko Bornholdt ◽  
Winfried Lamersdorf ◽  
Abhishek Chakraborty ◽  
Alexander Fay
Keyword(s):  
Production Systems ◽  
Cyber Physical Systems ◽  
Peer To Peer ◽  
Evolution Process ◽  
Physical Systems ◽  
Model Based ◽  
Automation Systems ◽  
Production Automation ◽  
Isolated Systems

Abstract Production systems are no longer rigid, unyielding, and isolated systems anymore. They are rather interconnected cyber-physical systems with an evolution process that needs to be supported. To enable reusability in evolution, a change-first cooperative support is proposed that relies on model-based evolution steps. The approach establishes a network-wide evolution process in a peer-to-peer networked community. Thus, moving towards decentralised marketplaces for evolution steps.

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems

2016 ◽  
Vol 13 (1) ◽  
pp. 40-52 ◽  
Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt
Keyword(s):  
Real Time ◽  
Physical Environment ◽  
Spatial Model ◽  
Physical Space ◽  
Cyber Physical Systems ◽  
Spatial Behavior ◽  
Model Checker ◽  
Control Software ◽  
Physical Systems ◽  
Model Based

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.

scholarly journals Model Based Approach to Cyber–Physical Systems Status Monitoring

Computers ◽  
2020 ◽  
Vol 9 (2) ◽  
pp. 47
Author(s):  
Alexander Vodyaho ◽  
Saddam Abbas ◽  
Nataly Zhukova ◽  
Michael Chervoncev
Keyword(s):  
Process Mining ◽  
Real Life ◽  
Cyber Physical Systems ◽  
Current Status ◽  
Actual State ◽  
Suggested Approach ◽  
Physical Systems ◽  
Model Based ◽  
The Status ◽  
And Behavior

The distinctive feature of new generation information systems is not only their complexity in terms of number of elements, number of connections and hierarchy levels, but also their constantly changing structure and behavior. In this situation the problem of receiving actual information about the observed complex Cyber–Physical Systems (CPS) current status becomes a rather difficult task. This information is needed by stakeholders for solving tasks concerning keeping the system operational, improving its efficiency, ensuring security, etc. Known approaches to solving the problem of the complex distributed CPS actual status definition are not enough effective. The authors propose a model based approach to solving the task of monitoring the status of complex CPS. There are a number of known model based approaches to complex distributed CPS monitoring, but their main difference in comparison with the suggested one is that known approaches by the most part use static models which are to be build manually by experts. It takes a lot of human efforts and often results in errors. Our idea is that automata models of structure and behavior of the observed system are used and both of these models are built and kept in actual state in automatic mode on the basis of log file information. The proposed approach is based, on one hand, on the results of the authors researches in the field of automatic synthesis of multi-level automata models of observed systems and, on the other hand, on well known algorithms of process mining. In the paper typical monitoring tasks are described and generalized algorithms for solving them using the proposed system of models are presented. An example of real life systems based on the suggested approach is given. The approach can be recommended to use for building CPS of medium and high complexity, characterized by high structural dynamics and cognitive behavior.

Sign in / Sign up

Export Citation Format

Share Document