Formal verification of protection functions for power distribution networks

Dmitrii Drozdov; Sandeep Patil; Chen-Wei Yang; Gulnara Zhabelova; Valeriy Vyatkin

doi:10.1109/IECON.2018.8592802

Formal verification of protection functions for power distribution networks

Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

2 Citations (Scopus)

Abstract

This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.

Original language	English
Title of host publication	Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018
Publisher	IEEE
Pages	3550-3555
Number of pages	6
ISBN (Electronic)	9781509066841
DOIs	https://doi.org/10.1109/IECON.2018.8592802
Publication status	Published - 26 Dec 2018
MoE publication type	A4 Conference publication
Event	Annual Conference of the IEEE Industrial Electronics Society - Washington, United States Duration: 21 Oct 2018 → 23 Oct 2018 Conference number: 44

Publication series

Name	Proceedings of the Annual Conference of the IEEE Industrial Electronics Society
Publisher	IEEE
ISSN (Print)	1553-572X

Conference

Conference	Annual Conference of the IEEE Industrial Electronics Society
Abbreviated title	IECON
Country/Territory	United States
City	Washington
Period	21/10/2018 → 23/10/2018

Keywords

smart grids
circuit breakers
model checking
substations
synthetic aperture sonar
fault location
current transformers

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/IECON.2018.8592802

Cite this

Drozdov, D., Patil, S., Yang, C.-W., Zhabelova, G., & Vyatkin, V. (2018). Formal verification of protection functions for power distribution networks. In Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018 (pp. 3550-3555). Article 8592802 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society). IEEE. https://doi.org/10.1109/IECON.2018.8592802

@inproceedings{eba85af161574858bae5604dde46df71,

title = "Formal verification of protection functions for power distribution networks",

abstract = "This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.",

keywords = "smart grids, circuit breakers, model checking, substations, synthetic aperture sonar, fault location, current transformers",

author = "Dmitrii Drozdov and Sandeep Patil and Chen-Wei Yang and Gulnara Zhabelova and Valeriy Vyatkin",

year = "2018",

month = dec,

day = "26",

doi = "10.1109/IECON.2018.8592802",

language = "English",

series = "Proceedings of the Annual Conference of the IEEE Industrial Electronics Society",

publisher = "IEEE",

pages = "3550--3555",

booktitle = "Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018",

address = "United States",

note = "Annual Conference of the IEEE Industrial Electronics Society, IECON ; Conference date: 21-10-2018 Through 23-10-2018",

}

Drozdov, D, Patil, S, Yang, C-W, Zhabelova, G & Vyatkin, V 2018, Formal verification of protection functions for power distribution networks. in Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018., 8592802, Proceedings of the Annual Conference of the IEEE Industrial Electronics Society, IEEE, pp. 3550-3555, Annual Conference of the IEEE Industrial Electronics Society, Washington, District of Columbia, United States, 21/10/2018. https://doi.org/10.1109/IECON.2018.8592802

Formal verification of protection functions for power distribution networks. / Drozdov, Dmitrii; Patil, Sandeep; Yang, Chen-Wei et al.
Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018. IEEE, 2018. p. 3550-3555 8592802 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Formal verification of protection functions for power distribution networks

AU - Drozdov, Dmitrii

AU - Patil, Sandeep

AU - Yang, Chen-Wei

AU - Zhabelova, Gulnara

AU - Vyatkin, Valeriy

N1 - Conference code: 44

PY - 2018/12/26

Y1 - 2018/12/26

N2 - This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.

AB - This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.

KW - smart grids

KW - circuit breakers

KW - model checking

KW - substations

KW - synthetic aperture sonar

KW - fault location

KW - current transformers

UR - http://www.scopus.com/inward/record.url?scp=85061554077&partnerID=8YFLogxK

U2 - 10.1109/IECON.2018.8592802

DO - 10.1109/IECON.2018.8592802

M3 - Conference article in proceedings

AN - SCOPUS:85061554077

T3 - Proceedings of the Annual Conference of the IEEE Industrial Electronics Society

SP - 3550

EP - 3555

BT - Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018

PB - IEEE

T2 - Annual Conference of the IEEE Industrial Electronics Society

Y2 - 21 October 2018 through 23 October 2018

ER -

Drozdov D, Patil S, Yang CW, Zhabelova G, Vyatkin V. Formal verification of protection functions for power distribution networks. In Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018. IEEE. 2018. p. 3550-3555. 8592802. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society). doi: 10.1109/IECON.2018.8592802

Formal verification of protection functions for power distribution networks

Abstract

Publication series

Conference

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this