• No results found

Petri net modeling of cyber-physical attacks on smart grid

N/A
N/A
Protected

Academic year: 2019

Share "Petri net modeling of cyber-physical attacks on smart grid"

Copied!
11
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Fig. 1.Transition example
Fig. 2.Petri net model for hypothetical attacks in blackout example
Fig. 5.Low level Petri net model for physical attacks
Fig. 8.High level Petri net model

References

Related documents

Vohral´ık, A posteriori error estimation in the conforming finite element method based on its local conservativity and using local minimization, C.. Vohral´ık, Guaranteed and

This requires strong command support and the professional training provided by the Navy’s Ombudsman Training program and continuing training offered locally by the Fleet and

Results: Chemical difference was found between traditional and dispensing granule decoctions, and albiflorin, paeoniflorin, gallic acid, amygdalin, and hydroxysafflor yellow A

CIDI is a data intelligence team in the Office of the Deputy Mayor for Health and Human Services that focuses on interagency research by using data and information

In this work, we propose a hybrid metaheuristic approach processing two general steps: a first step of global exploration using a genetic algorithm to find promising areas in the

Cardoso ( 1980 , p. 12 & 18–37) collects daily wages available to Mexican immi- grants (1900-10) from miscellaneous sources and argues that the US-Mexico wage gap was the

Furthermore, since KatX2 contains several cysteine residues, we analyzed the oxidation of this protein under control conditions and dur- ing hydrogen peroxide provoked