Minding the Cyber-Physical Gap: Model-Based Analysis and Mitigation of Systemic Perception-Induced Failure.
Ontology highlight
ABSTRACT:
SUBMITTER: Mordecai Y
PROVIDER: S-EPMC5539854 | biostudies-other | 2017 Jul
REPOSITORIES: biostudies-other
Similar Datasets
Project description:While emerging technology for self-driving automation in vehicles progresses rapidly, the transition to an era of roads full of fully connected and automated vehicles (CAVs) may take longer than expected. Until then, it is inevitable that CAVs should coexist and interact with drivers of non-autonomous vehicles (NAVs) in urban roads. During this period of transition, it is critical to provide road safety with the mixed vehicular traffic and uncertainty caused by human drivers. To investigate the issues caused by the coexistence and interaction with humans, we propose to build a component-based and interactive intelligent transportation cyber-physical systems (ITCPS) framework. Our design of the interactive ITCPS framework aims to provide a standardized structure for users by defining core components. The framework is specified by behavior models and interfaces for the desired ITCPS components and is implemented as a form of human and hardware-in-the-loop system. We developed an intersection crossing assistance service and an automatic emergency braking service as an example of practical applications using the framework. To evaluate the framework, we tested its performance to show how effectively it operates while supporting real-time processing. The results indicate that it satisfies the timing requirements of vehicle-to-vehicle (V2V) communication and the limited processing time required for performing the functions of behavior models, even though the traffic volume reaches the road capacity. A case study using statistical analysis is conducted to assess the practical value of the developed experimental environment. The results of the case study validate the reliability among the specified variables for the experiments involving human drivers. It has shown that V2V communication support has positive effects on road safety, including intersection safety, braking events, and perception-reaction time (PRT) of the drivers. Furthermore, V2V communication support and PRT are identified as the important indicators affecting road safety at an un-signalized intersection. The proposed interactive framework is expected to contribute in constructing a comprehensive environment for the urban ITCPS and providing experimental support for the analysis of human behavior in the coexistence environment.
| S-EPMC6982715 | biostudies-literature
Project description:Cyber-physical systems embed software into the physical world. They appear in a wide range of applications such as smart grids, robotics, and intelligent manufacturing. Cyber-physical systems have proved resistant to modeling due to their intrinsic complexity arising from the combination of physical and cyber components and the interaction between them. This study proposes a general framework for discovering cyber-physical systems directly from data. The framework involves the identification of physical systems as well as the inference of transition logics. It has been applied successfully to a number of real-world examples. The novel framework seeks to understand the underlying mechanism of cyber-physical systems as well as make predictions concerning their state trajectories based on the discovered models. Such information has been proven essential for the assessment of the performance of cyber-physical systems; it can potentially help debug in the implementation procedure and guide the redesign to achieve the required performance.
| S-EPMC6814766 | biostudies-literature
Project description:Targeted vaccination, whether to minimize the forward transmission of infectious diseases or their clinical impact, is one of the 'holy grails' of modern infectious disease outbreak response, yet it is difficult to achieve in practice due to the challenge of identifying optimal targets in real time. If interruption of disease transmission is the goal, targeting requires knowledge of underlying person-to-person contact networks. Digital communication networks may reflect not only virtual but also physical interactions that could result in disease transmission, but the precise overlap between these cyber and physical networks has never been empirically explored in real-life settings. Here, we study the digital communication activity of more than 500 individuals along with their person-to-person contacts at a 5-min temporal resolution. We then simulate different disease transmission scenarios on the person-to-person physical contact network to determine whether cyber communication networks can be harnessed to advance the goal of targeted vaccination for a disease spreading on the network of physical proximity. We show that individuals selected on the basis of their closeness centrality within cyber networks (what we call 'cyber-directed vaccination') can enhance vaccination campaigns against diseases with short-range (but not full-range) modes of transmission.
| S-EPMC5805979 | biostudies-literature
Project description:The integration of image segmentation technology into packaging style design significantly amplifies both the aesthetic allure and practical utility of product packaging design. However, the conventional image segmentation algorithm necessitates a substantial amount of time for image analysis, rendering it susceptible to the loss of vital image features and yielding unsatisfactory segmentation results. Therefore, this study introduces a novel segmentation network, G-Lite-DeepLabV3+, which is seamlessly incorporated into cyber-physical systems (CPS) to enhance the accuracy and efficiency of product packaging image segmentation. In this research, the feature extraction network of DeepLabV3 is replaced with Mobilenetv2, integrating group convolution and attention mechanisms to proficiently process intricate semantic features and improve the network's responsiveness to valuable characteristics. These adaptations are then deployed within CPS, allowing the G-Lite-DeepLabV3+ network to be seamlessly integrated into the image processing module within CPS. This integration facilitates remote and real-time segmentation of product packaging images in a virtual environment.Experimental findings demonstrate that the G-Lite-DeepLabV3+ network excels at segmenting diverse graphical elements within product packaging images. Compared to the original DeepLabV3+ network, the intersection over union (IoU) metric shows a remarkable increase of 3.1%, while the mean pixel accuracy (mPA) exhibits an impressive improvement of 6.2%. Additionally, the frames per second (FPS) metric experiences a significant boost of 22.1%. When deployed within CPS, the network successfully accomplishes product packaging image segmentation tasks with enhanced efficiency, while maintaining high levels of segmentation accuracy.
| S-EPMC10403159 | biostudies-literature
Project description:Typically, Cyber-Physical Systems (CPS) involve various interconnected systems, which can monitor and manipulate real objects and processes. They are closely related to Internet of Things (IoT) systems, except that CPS focuses on the interaction between physical, networking and computation processes. Their integration with IoT led to a new CPS aspect, the Internet of Cyber-Physical Things (IoCPT). The fast and significant evolution of CPS affects various aspects in people's way of life and enables a wider range of services and applications including e-Health, smart homes, e-Commerce, etc. However, interconnecting the cyber and physical worlds gives rise to new dangerous security challenges. Consequently, CPS security has attracted the attention of both researchers and industries. This paper surveys the main aspects of CPS and the corresponding applications, technologies, and standards. Moreover, CPS security vulnerabilities, threats and attacks are reviewed, while the key issues and challenges are identified. Additionally, the existing security measures are presented and analyzed while identifying their main limitations. Finally, several suggestions and recommendations are proposed benefiting from the lessons learned throughout this comprehensive review.
| S-EPMC7340599 | biostudies-literature
Project description:We consider the trusted operation of cyber-physical processes based on an assessment of the system's state and operating mode and present a method for detecting anomalies in the behavior of a cyber-physical system (CPS) based on the analysis of the data transmitted by its sensory subsystem. Probability theory and mathematical statistics are used to process and normalize the data in order to determine whether or not the system is in the correct operating mode and control process state. To describe the mode-specific control processes of a CPS, the paradigm of using cyber-physical parameters is taken as a basis, as it is the feature that most clearly reflects the system's interaction with physical processes. In this study, two metrics were taken as a sign of an anomaly: the probability of falling into the sensor values' confidence interval and parameter change monitoring. These two metrics, as well as the current mode evaluation, produce a final probability function for our trust in the CPS's currently executing control process, which is, in turn, determined by the operating mode of the system. Based on the results of this trust assessment, it is possible to draw a conclusion about the processing state in which the system is operating. If the score is higher than 0.6, it means the system is in a trusted state. If the score is equal to 0.6, it means the system is in an uncertain state. If the trust score tends towards zero, then the system can be interpreted as unstable or under stress due to a system failure or deliberate attack. Through a case study using cyber-attack data for an unmanned aerial vehicle (UAV), it was found that the method works well. When we were evaluating the normal flight mode, there were no false positive anomaly estimates. When we were evaluating the UAV's state during an attack, a deviation and an untrusted state were detected. This method can be used to implement software solutions aimed at detecting system faults and cyber-attacks, and thus make decisions about the presence of malfunctions in the operation of a CPS, thereby minimizing the amount of knowledge and initial data about the system.
| S-EPMC9963395 | biostudies-literature
Project description:Cooperative Cyber-Physical Systems (Co-CPSs) can be enabled using wireless communication technologies, which in principle should address reliability and safety challenges. Safety for Co-CPS enabled by wireless communication technologies is a crucial aspect and requires new dedicated design approaches. In this paper, we provide an overview of five Co-CPS use cases, as introduced in our SafeCOP EU project, and analyze their safety design requirements. Next, we provide a comprehensive analysis of the main existing wireless communication technologies giving details about the protocols developed within particular standardization bodies. We also investigate to what extent they address the non-functional requirements in terms of safety, security and real time, in the different application domains of each use case. Finally, we discuss general recommendations about the use of different wireless communication technologies showing their potentials in the selected real-world use cases. The discussion is provided under consideration in the 5G standardization process within 3GPP, whose current efforts are inline to current gaps in wireless communications protocols for Co-CPSs including many future use cases.
| S-EPMC6264001 | biostudies-other
Project description:Drug-induced liver injury (DILI) limits the development and application of many therapeutic compounds and presents major challenges to the pharmaceutical industry and clinical medicine. Acetaminophen-containing compounds are among the most frequently prescribed drugs and are also the most common cause of DILI. Here we describe a pharmacological strategy that targets gap junction communication to prevent amplification of fulminant hepatic failure and acetaminophen-induced hepatotoxicity. We demonstrate that connexin 32 (Cx32), a key hepatic gap junction protein, is an essential mediator of DILI by showing that mice deficient in Cx32 are protected against liver damage, acute inflammation and death caused by liver-toxic drugs. We identify a small-molecule inhibitor of Cx32 that protects against liver failure and death in wild-type mice when co-administered with known hepatotoxic drugs. These findings indicate that gap junction inhibition could provide a pharmaceutical strategy to limit DILI and improve drug safety.
| S-EPMC3609650 | biostudies-literature
Project description:Recent advances in technology have empowered the widespread application of cyber-physical systems in manufacturing and fostered the Industry 4.0 paradigm. In the factories of the future, it is possible that all items, including operators, will be equipped with integrated communication and data processing capabilities. Operators can become part of the smart manufacturing systems, and this fosters a paradigm shift from independent automated and human activities to Vhuman-cyber-physical systems (HCPSs). In this context, a Healthy Operator 4.0 (HO4.0) concept was proposed, based on a systemic view of the Industrial Internet of Things (IIoT) and wearable technology. For the implementation of this relatively new concept, we constructed a unified architecture to support the integration of different enabling technologies. We designed an implementation model to facilitate the practical application of this concept in industry. The main enabling technologies of the model are introduced afterward. In addition, a prototype system was developed, and relevant experiments were conducted to demonstrate the feasibility of the proposed system architecture and the implementation framework, as well as some of the derived benefits.
| S-EPMC7180548 | biostudies-literature
Project description:BackgroundThe detailed analysis of transcriptional regulation is crucially important for understanding biological processes. The gap gene network in Drosophila attracts large interest among researches studying mechanisms of transcriptional regulation. It implements the most upstream regulatory layer of the segmentation gene network. The knowledge of molecular mechanisms involved in gap gene regulation is far less complete than that of genetics of the system. Mathematical modeling goes beyond insights gained by genetics and molecular approaches. It allows us to reconstruct wild-type gene expression patterns in silico, infer underlying regulatory mechanism and prove its sufficiency.ResultsWe developed a new model that provides a dynamical description of gap gene regulatory systems, using detailed DNA-based information, as well as spatial transcription factor concentration data at varying time points. We showed that this model correctly reproduces gap gene expression patterns in wild type embryos and is able to predict gap expression patterns in Kr mutants and four reporter constructs. We used four-fold cross validation test and fitting to random dataset to validate the model and proof its sufficiency in data description. The identifiability analysis showed that most model parameters are well identifiable. We reconstructed the gap gene network topology and studied the impact of individual transcription factor binding sites on the model output. We measured this impact by calculating the site regulatory weight as a normalized difference between the residual sum of squares error for the set of all annotated sites and for the set with the site of interest excluded.ConclusionsThe reconstructed topology of the gap gene network is in agreement with previous modeling results and data from literature. We showed that 1) the regulatory weights of transcription factor binding sites show very weak correlation with their PWM score; 2) sites with low regulatory weight are important for the model output; 3) functional important sites are not exclusively located in cis-regulatory elements, but are rather dispersed through regulatory region. It is of importance that some of the sites with high functional impact in hb, Kr and kni regulatory regions coincide with strong sites annotated and verified in Dnase I footprint assays.
| S-EPMC4303948 | biostudies-literature