Show simple item record

dc.contributor.authorQin, Boya
dc.contributor.authorLiu, Dong
dc.date.accessioned2019-07-24T12:50:12Z
dc.date.available2019-07-24T12:50:12Z
dc.date.issued2019-06-03
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.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.language.isoen
dc.publisherAIM
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.typeConference Proceedings
dc.description.conferencelocationMadrid, Spain
dc.relation.ispartProc. of the 25th International Conference on Electricity Distribution (CIRED 2019)
dc.contributor.detailedauthorQin, Boya, Shanghai Jiao Tong University, China
dc.contributor.detailedauthorLiu, Dong, Shanghai Jiao Tong University, China
dc.date.conferencedate3-6 June 2019
dc.description.peerreviewedYes
dc.title.number2273
dc.description.openaccessYes
dc.contributor.countryChina
dc.contributor.countryChina
dc.description.conferencenameCIRED 2019
dc.contributor.affiliationShanghai Jiao Tong University
dc.contributor.affiliationShanghai Jiao Tong University
dc.description.sessionDSO business environment enabling digitalization and energy transition
dc.description.sessionidSession 6


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record