scholarly journals Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification

2016 ◽  
pp. 65-76 ◽  
Author(s):  
Fernando Pereira ◽  
Luis Gomes
Keyword(s):  
Petri Nets ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Combining Data ◽  
Data Flows

Extending FAST-CPS for the Analysis of Data Flows in Cyber-Physical Systems

2017 ◽  
pp. 37-49 ◽  
Author(s):  
Laurens Lemaire ◽  
Jan Vossaert ◽  
Bart De Decker ◽  
Vincent Naessens
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Data Flows

scholarly journals Temporal Analysis of Influence of Resource Failures on Cyber-Physical Systems Based on Discrete Timed Petri Nets

2021 ◽  
Vol 11 (14) ◽  
pp. 6469
Author(s):  
Fu-Shiung Hsieh
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Cyber Physical Systems ◽  
Shop Floor ◽  
Real Problem ◽  
Timed Petri Nets ◽  
Physical Systems ◽  
Real Time Information ◽  
The Impact ◽  
Time Information

Advancement of IoT and ICT provide infrastructure to manage, monitor and control Cyber-Physical Systems (CPS) through timely provision of real-time information from the shop floor. Although real-time information in CPS such as resource failures can be detected based on IoT and ICT, improper response to resource failures may cripple CPS and degrade performance. Effective operations of CPS relies on an effective scheme to evaluate the impact of resource failures, support decision making needed and take proper actions to respond to resource failures. This motivates us to develop a methodology to assess the impact of resource failures on operations of CPS and provide the decision support as needed. The goal of this study is to propose solution algorithms to analyze robustness of CPS with respect to resource failures in terms of the impact on temporal properties. Given CPS modeled by a class of discrete timed Petri nets (DTPNs), we develop theory to analyze robustness of CPS by transforming the models to residual spatial-temporal network (RSTN) models in which capacity loss due to resources is reflected. We formulate an optimization problem to determine the influence of resource failures on CPS based on RSTNs and analyze the feasibility to meet the order deadline. To study the feasibility to solve a real problem, we analyze the computational complexity of the proposed algorithms. We illustrate the proposed method by application scenarios. We conduct experiments to study efficiency and verify computational feasibility of the proposed method to solve a real problem.

scholarly journals Modeling Data Flows with Network Calculus in Cyber-Physical Systems: Enabling Feature Analysis for Anomaly Detection Applications

Information ◽  
2021 ◽  
Vol 12 (6) ◽  
pp. 255
Author(s):  
Nicholas Jacobs ◽  
Shamina Hossain-McKenzie ◽  
Adam Summers
Keyword(s):  
Intrusion Detection ◽  
Anomaly Detection ◽  
Communication Networks ◽  
Physical System ◽  
Situational Awareness ◽  
Cyber Physical Systems ◽  
Network Calculus ◽  
Support Functions ◽  
Physical Systems ◽  
Data Flows

The electric grid is becoming increasingly cyber-physical with the addition of smart technologies, new communication interfaces, and automated grid-support functions. Because of this, it is no longer sufficient to only study the physical system dynamics, but the cyber system must also be monitored as well to examine cyber-physical interactions and effects on the overall system. To address this gap for both operational and security needs, cyber-physical situational awareness is needed to monitor the system to detect any faults or malicious activity. Techniques and models to understand the physical system (the power system operation) exist, but methods to study the cyber system are needed, which can assist in understanding how the network traffic and changes to network conditions affect applications such as data analysis, intrusion detection systems (IDS), and anomaly detection. In this paper, we examine and develop models of data flows in communication networks of cyber-physical systems (CPSs) and explore how network calculus can be utilized to develop those models for CPSs, with a focus on anomaly and intrusion detection. This provides a foundation for methods to examine how changes to behavior in the CPS can be modeled and for investigating cyber effects in CPSs in anomaly detection applications.

scholarly journals C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 13510-13522 ◽  
Author(s):  
Remigiusz Wisniewski ◽  
Monika Wisniewska ◽  
Marcin Jarnut
Keyword(s):  
Petri Nets ◽  
Cyber Physical Systems ◽  
Physical Systems

Emerging Cyber-Physical Systems : An Overview

2018 ◽  
pp. 306-316
Author(s):  
Okolie S.O. ◽  
Kuyoro S.O. ◽  
Ohwo O. B
Keyword(s):  
Health Care ◽  
Economic Benefit ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Economic Sectors ◽  
Strategic Research ◽  
Physical Systems ◽  
Security Issues ◽  
Wide Range

Cyber-Physical Systems (CPS) will revolutionize how humans relate with the physical world around us. Many grand challenges await the economically vital domains of transportation, health-care, manufacturing, agriculture, energy, defence, aerospace and buildings. Exploration of these potentialities around space and time would create applications which would affect societal and economic benefit. This paper looks into the concept of emerging Cyber-Physical system, applications and security issues in sustaining development in various economic sectors; outlining a set of strategic Research and Development opportunities that should be accosted, so as to allow upgraded CPS to attain their potential and provide a wide range of societal advantages in the future.

Sign in / Sign up

Export Citation Format

Share Document