Formal verification of demand response based home energy management systems in smart grids

Adnan Yaqoob Salik, Muhammad Usama Sardar, Osman Hasan, Syed Rafay Hasan, Falah Awwad

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Demand Response Management System (DRMS) is used in a smart grid to reduce the gap between power generation and its demand. The knowledge of the demand of the customers is very important because failing to fulfill this demand can lead to serious issues, like system failures and blackouts. Home Energy Management System (HEMS) is a DRMS that is designed specially for residential customers. Traditionally, HEMS is analyzed using simulation-based techniques but such an analysis lacks completeness and exhaustiveness. In order to overcome these issues and to account for the numerous random and unpredictable factors in HEMS, we propose to use probabilistic model checking for its analysis. Our formal model is generic in nature and can be used to model most of the existing HEMS. Important results related to the efficiency and total household power are also presented in this paper.

Original languageEnglish
Title of host publication2017 IEEE Innovative Smart Grid Technologies - Asia
Subtitle of host publicationSmart Grid for Smart Community, ISGT-Asia 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1-6
Number of pages6
ISBN (Electronic)9781538649503
DOIs
Publication statusPublished - Jun 8 2018
Event7th IEEE Innovative Smart Grid Technologies - Asia, ISGT-Asia 2017 - Auckland, New Zealand
Duration: Dec 4 2017Dec 7 2017

Publication series

Name2017 IEEE Innovative Smart Grid Technologies - Asia: Smart Grid for Smart Community, ISGT-Asia 2017

Other

Other7th IEEE Innovative Smart Grid Technologies - Asia, ISGT-Asia 2017
Country/TerritoryNew Zealand
CityAuckland
Period12/4/1712/7/17

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Energy Engineering and Power Technology
  • Electrical and Electronic Engineering
  • Control and Optimization
  • Safety, Risk, Reliability and Quality

Fingerprint

Dive into the research topics of 'Formal verification of demand response based home energy management systems in smart grids'. Together they form a unique fingerprint.

Cite this