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

    Cite this

    Yuksel, E., Zhu, H., Nielson, H. R., 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) (pp. 25-32). IEEE. https://doi.org/10.1109/TASE.2012.44
    Yuksel, Ender ; Zhu, Huibiao ; Nielson, Hanne Riis ; Huang, Heqing ; Nielson, Flemming. / Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. pp. 25-32
    @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",

    }

    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

    Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. / Yuksel, Ender; Zhu, Huibiao ; Nielson, Hanne Riis; Huang, Heqing; Nielson, Flemming.

    2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. p. 25-32.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    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

    ER -

    Yuksel E, Zhu H, Nielson HR, Huang H, Nielson F. 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. 2012. p. 25-32 https://doi.org/10.1109/TASE.2012.44