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

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
    Title of host publication2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE)
    Number of pages8
    PublisherIEEE
    Publication date2012
    Pages25-32
    ISBN (Print)978-1-4673-2353-6
    DOIs
    Publication statusPublished - 2012
    Event6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012) - Beijing, China
    Duration: 4 Jul 20126 Jul 2012
    http://selab.bjut.edu.cn/tase2012/

    Conference

    Conference6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012)
    CountryChina
    CityBeijing
    Period04/07/201206/07/2012
    Internet address

    Keywords

    • Specification and verification
    • Stochastic model checking
    • Smart grid

    Fingerprint Dive into the research topics of 'Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study'. Together they form a unique fingerprint.

    Cite this