@inproceedings{7c081b9720c14b3ba2371825c05055ea,
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 = "smart grid, specification and Verification, stochastic model checking",
author = "Ender Y{\"u}ksel and Huibiao Zhu and Nielson, \{Hanne Riis\} and Heqing Huang and Flemming Nielson",
year = "2012",
doi = "10.1109/TASE.2012.44",
language = "英语",
isbn = "9780769547510",
series = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",
pages = "25--32",
booktitle = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",
note = "IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 ; Conference date: 04-07-2012 Through 06-07-2012",
}
