Topic
Cyber-physical system
About: Cyber-physical system is a research topic. Over the lifetime, 11096 publications have been published within this topic receiving 162489 citations. The topic is also known as: CPS.
Papers published on a yearly basis
Papers
More filters
16 May 2017
TL;DR: In this article, the authors propose a compositional falsification framework where a temporal logic falsifier and a machine learning analyzer cooperate with the aim of finding falsifying executions of the considered model.
Abstract: Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small adversarial perturbations. This raises the question: can the output from learning components can lead to a failure of the entire CPS? In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components. We propose a compositional falsification framework where a temporal logic falsifier and a machine learning analyzer cooperate with the aim of finding falsifying executions of the considered model. The efficacy of the proposed technique is shown on an automatic emergency braking system model with a perception component based on deep neural networks.
90 citations
TL;DR: By introducing an adaptive technique, a distributed resilient control method is proposed for frequency/voltage restoration, fair real power sharing, and state-of-charge balancing in MGs with multiple ESSs in abnormal condition.
Abstract: As a cyber–physical system (CPS), the security of microgrids (MGs) is threatened by unknown faults and cyberattacks. Most existing distributed control methods for MGs are proposed based on the assumption that secondary controllers of distributed generation units operate in normal conditions. However, the faults and attacks of the distributed control system could lead to a significant impact and consequently influence the security and stability of MGs. In this article, a distributed resilient control strategy for multiple energy storage systems (ESSs) in islanded MGs is proposed to deal with these hidden but lethal issues. By introducing an adaptive technique, a distributed resilient control method is proposed for frequency/voltage restoration, fair real power sharing, and state-of-charge balancing in MGs with multiple ESSs in abnormal condition. The stability of the proposed method is rigorously proved by Lyapunov methods. The proposed method is validated on test systems developed in OPAL-RT simulator under various cases.
90 citations
TL;DR: This study focuses on the digital twin as a core technological element of the entire system and analyzes CPPS design and its operation from the system-of-systems perspective and provides an advanced solution for the personalized production of various products.
Abstract: Personalized production is a manufacturing concept relevant to the fourth industrial revolution, which can satisfy various customer needs inexpensively. There are three main hurdles to the efficient implementation of this concept: access, cost, and performance. This paper proposes a digital twin-based cyber physical production system (CPPS) architectural framework that overcomes the performance hurdle. The proposed architectural framework comprises five services that are solutions to the performance hurdle of personalized production, and it operates on information based on the proposed product, process, plan, plant, and resource (P4R) information model. This information model is manufacturing abstraction for personalized production and is presented on a detailed level with object-orientation and the “type and instance” concept. Whereas previous studies on the digital twin concept considered one or several facilities and focused on the development of independent applications, this study focuses on the digital twin as a core technological element of the entire system and analyzes CPPS design and its operation from the system-of-systems perspective. The application of the digital twin-based CPPS to a micro smart factory (MSF) provides an advanced solution for the personalized production of various products. An average makespan improvement of ~ 26.87% was achieved using the implemented CPPS services in the MSF.
90 citations
TL;DR: A novel cross-layer module is proposed to accurately capture both the high heterogeneity of the IoT and the impact of the Internet as part of the network architecture and can achieve a global communication optimum and outperforms existing layered solutions.
90 citations
13 Mar 2020
TL;DR: In this article, the authors focus on the nature of human-machine interaction in Industry 4.0 and how it has deeply changed the Human-Machine Interaction (HMI) interaction.
Abstract: Industry 4.0 is a new paradigm in the manufacturing world and it has deeply changed the Human–machine interaction. This paper focus is on the nature of this interaction, which is made possible than...
90 citations