Towards Formal Verification of Smart Grid Distributed Intelligence: FREEDM Case
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.
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
41st Annual Conference of the IEEE Industrial Electronics Society, IECON 2015 (2015: Nov. 9-12, Yokohama, Japan)
Keywords and Phrases
Automation Systems; IEC 61499; Model-Checking; Smart Grid
International Standard Book Number (ISBN)
Article - Conference proceedings
© 2015 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.