Formal Modeling and Verification Method of Power Grid Cyber Physical System Based on Coupling of Information and Energy Flow

dc.contributor.affiliationShanghai Jiao Tong University
dc.contributor.affiliationShanghai Jiao Tong University
dc.contributor.authorQin, Boya
dc.contributor.authorLiu, Dong
dc.contributor.countryChina
dc.contributor.countryChina
dc.contributor.detailedauthorQin, Boya, Shanghai Jiao Tong University, China
dc.contributor.detailedauthorLiu, Dong, Shanghai Jiao Tong University, China
dc.date.accessioned2019-07-24T12:50:12Z
dc.date.available2019-07-24T12:50:12Z
dc.date.conferencedate3-6 June 2019
dc.date.issued2019-06-03
dc.description.abstractThis paper focuses on the coupling mechanism between power system information flow and energy flow. Based on the analysis of power grid cyber physical system (GCPS), a formal modeling and verification method is proposed. By decomposing GCPS into power and load subsystems, the behavior and state modes are expressed mathematically, and network structure diagrams are constructed. By analyzing the logical and functional connection between information and physical system objects, we proposed the networking rules to construct the GCPS architecture. Verification tool SPIN is applied in formal verification for key features of GCPS, ensuing the logical correctness of modelling topology. The IEEE 9-Bus system is used as a test case in the simulation of the proposed formal modeling and verification methods.
dc.description.conferencelocationMadrid, Spain
dc.description.conferencenameCIRED 2019
dc.description.openaccessYes
dc.description.peerreviewedYes
dc.description.sessionDSO business environment enabling digitalization and energy transition
dc.description.sessionidSession 6
dc.identifier.isbn978-2-9602415-0-1
dc.identifier.issn2032-9644
dc.identifier.urihttps://cired-repository.org/handle/20.500.12455/780
dc.identifier.urihttp://dx.doi.org/10.34890/1002
dc.language.isoen
dc.publisherAIM
dc.relation.ispartProc. of the 25th International Conference on Electricity Distribution (CIRED 2019)
dc.relation.ispartofseriesCIRED Conference Proceedings
dc.titleFormal Modeling and Verification Method of Power Grid Cyber Physical System Based on Coupling of Information and Energy Flow
dc.title.number2273
dc.typeConference Proceedings
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
CIRED 2019 - 2273.pdf
Size:
432.07 KB
Format:
Adobe Portable Document Format