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

Thumbnail Image

Files

CIRED 2019 - 2273.pdf (432.07 KB)

Paper number

2273

Working Group Number

Conference name

CIRED 2019

Conference date

3-6 June 2019

Conference location

Madrid, Spain

Peer-reviewed

Yes

Short title

Convener

Authors

Qin, Boya, Shanghai Jiao Tong University, China
Liu, Dong, Shanghai Jiao Tong University, China

Abstract

This 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.

Table of content

Keywords

Publisher

AIM

Date

2019-06-03

Published in

CIRED 2019 Conference

Permanent link to this record

https://cired-repository.org/handle/20.500.12455/780
http://dx.doi.org/10.34890/1002

ISSN

2032-9644

ISBN

978-2-9602415-0-1