Towards Formal Verification of Smart Grid Distributed Intelligence: FREEDM Case
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.
Recommended Citation
S. Patil et al., "Towards Formal Verification of Smart Grid Distributed Intelligence: FREEDM Case," Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society (2015, Yokohama, Japan), pp. 3974 - 3979, Institute of Electrical and Electronics Engineers (IEEE), Nov 2015.
The definitive version is available at https://doi.org/10.1109/IECON.2015.7392719
Meeting Name
41st Annual Conference of the IEEE Industrial Electronics Society, IECON 2015 (2015: Nov. 9-12, Yokohama, Japan)
Department(s)
Computer Science
Keywords and Phrases
Automation Systems; IEC 61499; Model-Checking; Smart Grid
International Standard Book Number (ISBN)
978-1-4799-1762-4
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2015 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Nov 2015
