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 language | English |
---|---|
Title of host publication | IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society |
Publisher | IEEE |
Pages | 3974-3979 |
Number of pages | 6 |
ISBN (Print) | 9781479917624 |
DOIs | |
Publication status | Published - 25 Jan 2016 |
MoE publication type | A4 Conference publication |
Event | Annual Conference of the IEEE Industrial Electronics Society - Yokohama, Japan Duration: 9 Nov 2015 → 12 Nov 2015 Conference number: 41 http://iecon2015.com/ |
Conference
Conference | Annual Conference of the IEEE Industrial Electronics Society |
---|---|
Abbreviated title | IECON |
Country/Territory | Japan |
City | Yokohama |
Period | 09/11/2015 → 12/11/2015 |
Internet address |
Keywords
- automation systems
- IEC 61499
- model-checking
- smart grid