Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Ender Yuksel; Huibiao  Zhu; Hanne Riis Nielson; Heqing Huang; Flemming Nielson

doi:10.1109/TASE.2012.44

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Ender Yuksel
, Huibiao Zhu
, Hanne Riis Nielson
, Heqing Huang
, Flemming Nielson

East China Normal University
Wuxi SensingNet Industrialization Research Institute

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this paper, we consider a specific Chinese Smart Grid implementation as a case study and address the verification problem for performance and energy consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

Original language	English
Title of host publication	2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE)
Number of pages	8
Publisher	IEEE
Publication date	2012
Pages	25-32
ISBN (Print)	978-1-4673-2353-6
DOIs	https://doi.org/10.1109/TASE.2012.44
Publication status	Published - 2012
Event	6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012) - Beijing, China Duration: 4 Jul 2012 → 6 Jul 2012 http://selab.bjut.edu.cn/tase2012/

Conference

Conference	6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012)
Country/Territory	China
City	Beijing
Period	04/07/2012 → 06/07/2012
Internet address	http://selab.bjut.edu.cn/tase2012/

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

Specification and verification
Stochastic model checking
Smart grid

Access to Document

10.1109/TASE.2012.44

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{7ebb147e459742a4ad8dc3ff96b43282,

title = "Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study",

abstract = "Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this paper, we consider a specific Chinese Smart Grid implementation as a case study and address the verification problem for performance and energy consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.",

keywords = "Specification and verification, Stochastic model checking, Smart grid",

author = "Ender Yuksel and Huibiao Zhu and Nielson, \{Hanne Riis\} and Heqing Huang and Flemming Nielson",

year = "2012",

doi = "10.1109/TASE.2012.44",

language = "English",

isbn = "978-1-4673-2353-6",

pages = "25--32",

booktitle = "2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE)",

publisher = "IEEE",

address = "United States",

note = "6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012) ; Conference date: 04-07-2012 Through 06-07-2012",

url = "http://selab.bjut.edu.cn/tase2012/",

}

Yuksel, E, Zhu, H, Nielson, HR, Huang, H & Nielson, F 2012, Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. in 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, pp. 25-32, 6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012), Beijing, China, 04/07/2012. https://doi.org/10.1109/TASE.2012.44

TY - GEN

T1 - Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

AU - Yuksel, Ender

AU - Zhu, Huibiao

AU - Nielson, Hanne Riis

AU - Huang, Heqing

AU - Nielson, Flemming

PY - 2012

Y1 - 2012

N2 - Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this paper, we consider a specific Chinese Smart Grid implementation as a case study and address the verification problem for performance and energy consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

AB - Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this paper, we consider a specific Chinese Smart Grid implementation as a case study and address the verification problem for performance and energy consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

KW - Specification and verification

KW - Stochastic model checking

KW - Smart grid

U2 - 10.1109/TASE.2012.44

DO - 10.1109/TASE.2012.44

M3 - Article in proceedings

SN - 978-1-4673-2353-6

SP - 25

EP - 32

BT - 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE)

PB - IEEE

T2 - 6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012)

Y2 - 4 July 2012 through 6 July 2012

ER -

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Abstract

Conference

UN SDGs

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this