Modelling and evaluation of the security of cyber‐physical systems using stochastic Petri nets

Orojloo, Hamed; Azgomi, Mohammad Abdollahi

doi:10.1049/iet-cps.2018.0008

Cited by 25 publications

(7 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri nets use tokens to represent the state of systems or their components, and links to represent the influence between systems or components and simulate the interdependence relationships through the network token flow. 10 A behavioural Petri net model of the research object is constructed on the bases of some advanced Petri nets, such as stochastic Petri net, 11 coloured Petri net, 12 and fuzzy Petri net, 13 and the difference between the output of the object model and actual output is analyzed. By combining the actual attributes of the system, the process of failure propagation is studied and the failure root is found.…”

Section: Analysis Of Failure Propagation Based On Petri Netmentioning

confidence: 99%

Application of hypergraph theory in the analysis of the failure propagation and diffusion behaviour of machining centre

Zhang

Zhou

2021

Quality & Reliability Eng

View full text Add to dashboard Cite

To improve the rationality of failure diagnosis, this research uses hypergraph theory as basis in proposing a method of analysing failure propagation behaviour to study the failure propagation mechanism from the system perspective. A hierarchical structure model is constructed by failure correlation analysis, matrix transformation and decomposition. The probability of failure is determined by considering the influence of multiple truncation data. On this basis, hypergraph theory is used to calculate the one-step and cumulative coefficient of failure propagation and diffusion. The influence degree of failure is calculated by integrating the edge betweenness. Using the influence degree of failure as an indicator, failure propagation and diffusion behaviour are analysed, and critical failure nodes and paths are identified. Lastly, a machining centre is used as an example for specific application. The results are compared with the ranking results of critical failure propagation paths determined by other methods, and the effectiveness of the proposed method is verified.

show abstract

Section: Analysis Of Failure Propagation Based On Petri Netmentioning

confidence: 99%

Application of hypergraph theory in the analysis of the failure propagation and diffusion behaviour of machining centre

Zhang

Zhou

2021

Quality & Reliability Eng

View full text Add to dashboard Cite

show abstract

“…Rule‐C . Multi‐updating rule [26, 27]: Given any two versions of the model,

V_{1}

and

V_{2}

, then the updating process from

V_{1}

V_{2}

⋃_{i = 0}^{V_{2} - V} Ver (V_{1} + i)

\cup_{i = 0}^{V_{2} - V_{1}} normalVer ()(, V_{1} + i) = {mm}_{u}^{V_{1}} \cup {mm}_{u}^{V_{1} + 1} \cup \dots \cup {mm}_{u}^{V_{2}}

Rule‐D . Elimination rule : In the ith update

{mm}_{u}^{i}

of a model, a certain object o is added.…”

Section: Formal Definitions and Rulesmentioning

confidence: 99%

“…Vers V returns the corresponding mm u i , meaning the model version is V after the update of mm u i . Rule-C. Multi-updating rule [26,27]: Given any two versions of the model, V 1 and V 2 , then the updating process from…”

Section: Formal Definitions and Rulesmentioning

confidence: 99%

Formal verification of ontology transformation for distribution network information model based on meta‐model theory

Qin

Dong

2020

IET cyber-phys. syst.

View full text Add to dashboard Cite

This study presents a formal description and verification method of the ontology transformation process of the distribution network information model based on the meta-model theory. By defining the dynamic change structures and model mapping constraints of the ontology transformation process of distribution network, a formalised specification for describing the key attributes of model updating and model mapping processes was constructed. The model updating and model mapping instances were specified using model checking verification tool SPIN. The method fundamentally guarantees the standardisation and reliability of the model ontology transformation process achieved by the meta-model.

show abstract

“…The vulnerability of smart grids and other CPSs to attackers prompted the need to safeguard, defend and repel such attacks. A stochastic Petri net (SPN) is proposed as model based on the behavioral characteristics of an attacker and defender to analyze the safety and security of CPSs [16]. Established on the backbone of a semi-Markov model, the system's security (attacks factors and mitigation measures) was quantitatively analyzed based on the mean-time-to-fail (MTTF) and availability.…”

Section: Introductionmentioning

confidence: 99%

A Mathematical Modelling and Behaviour Simulation of a Smart Grid Cyber-Physical System

Tamakloe,

Griffith,

Kommey

2024

join

View full text Add to dashboard Cite

The significant contributions of information and communication technology (ICT) and other operational technologies (OTs) or cyber networks have had a tremendous impact on the real-time monitoring, management, and control of the power or energy system facilities. Thus, the integration of these technologies into the energy grid system created a smart, complex, and interdependent system. This system is established and referred to as a smart grid cyber physical power system (SGCPPS). The performances of cyber physical systems are achieved via computation and communication and are imperatively based on a real-time feedback mechanism. In reference to the energy system, monitoring and control of the grid systems is extremely essential in ensuring efficient power supply, quality, reliability, stability and resilience among other determinants. However, their interdependence and integrated nature exposes the grid to disturbances subsequently leading to faults in the grid. Hence, failure to know the grid conditions at a particular period subjugates it to complete system collapse. This paper focused on the development of a mathematical model for a smart gird cyber physical system. Additionally, simulations were performed to study the behaviour of the Smart grid cyber-physical power system (SGCPPS) with regards to monitoring and controlling the physical systems using MATLAB Simulink tool to facilitate system awareness.

show abstract

Modelling and evaluation of the security of cyber‐physical systems using stochastic Petri nets

Cited by 25 publications

References 26 publications

Application of hypergraph theory in the analysis of the failure propagation and diffusion behaviour of machining centre

Application of hypergraph theory in the analysis of the failure propagation and diffusion behaviour of machining centre

Formal verification of ontology transformation for distribution network information model based on meta‐model theory

A Mathematical Modelling and Behaviour Simulation of a Smart Grid Cyber-Physical System

Contact Info

Product

Resources

About