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 proceedingConference contributionScientificpeer-review

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 languageEnglish
Title of host publicationProceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018
PublisherIEEE
Pages3550-3555
Number of pages6
ISBN (Electronic)9781509066841
DOIs
Publication statusPublished - 26 Dec 2018
MoE publication typeA4 Article in a conference publication
EventAnnual Conference of the IEEE Industrial Electronics Society - Washington, United States
Duration: 21 Oct 201823 Oct 2018
Conference number: 44

Publication series

NameProceedings of the Annual Conference of the IEEE Industrial Electronics Society
PublisherIEEE
ISSN (Print)1553-572X

Conference

ConferenceAnnual Conference of the IEEE Industrial Electronics Society
Abbreviated titleIECON
CountryUnited States
CityWashington
Period21/10/201823/10/2018

Keywords

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

Fingerprint Dive into the research topics of 'Formal verification of protection functions for power distribution networks'. Together they form a unique fingerprint.

  • 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). [8592802] (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society). IEEE. https://doi.org/10.1109/IECON.2018.8592802