TY - GEN
T1 - Formal verification of demand response based home energy management systems in smart grids
AU - Salik, Adnan Yaqoob
AU - Sardar, Muhammad Usama
AU - Hasan, Osman
AU - Hasan, Syed Rafay
AU - Awwad, Falah
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2018/6/8
Y1 - 2018/6/8
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85049993621&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85049993621&partnerID=8YFLogxK
U2 - 10.1109/ISGT-Asia.2017.8378447
DO - 10.1109/ISGT-Asia.2017.8378447
M3 - Conference contribution
AN - SCOPUS:85049993621
T3 - 2017 IEEE Innovative Smart Grid Technologies - Asia: Smart Grid for Smart Community, ISGT-Asia 2017
SP - 1
EP - 6
BT - 2017 IEEE Innovative Smart Grid Technologies - Asia
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 7th IEEE Innovative Smart Grid Technologies - Asia, ISGT-Asia 2017
Y2 - 4 December 2017 through 7 December 2017
ER -