Towards formal verification of smart grid distributed intelligence: FREEDM case

Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce McMillin

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

11 Citations (Scopus)

Abstract

This paper presents a model-checking framework for the purpose of design and implementation of robust smart grid applications based on distributed intelligence. The paper first introduces distributed grid intelligence approach to smart grid automation and related challenges of their verification. We then introduce the case study example and how model-checking can be applied to the presented system implemented in IEC 61499 standard. In the end we present the initial results of our model-checking application to smart grid applications. The paper will conclude with some issues faced during the research and corrective steps to address these issues in future.

Original languageEnglish
Title of host publicationIECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society
PublisherIEEE
Pages3974-3979
Number of pages6
ISBN (Print)9781479917624
DOIs
Publication statusPublished - 25 Jan 2016
MoE publication typeA4 Article in a conference publication
EventAnnual Conference of the IEEE Industrial Electronics Society - Yokohama, Japan
Duration: 9 Nov 201512 Nov 2015
Conference number: 41
http://iecon2015.com/

Conference

ConferenceAnnual Conference of the IEEE Industrial Electronics Society
Abbreviated titleIECON
CountryJapan
CityYokohama
Period09/11/201512/11/2015
Internet address

Keywords

  • automation systems
  • IEC 61499
  • model-checking
  • smart grid

Fingerprint

Dive into the research topics of 'Towards formal verification of smart grid distributed intelligence: FREEDM case'. Together they form a unique fingerprint.

Cite this