Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

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

    Research output: Book/ReportReport

    295 Downloads (Pure)


    In this document, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.
    Original languageEnglish
    Place of PublicationKgs. Lyngby, Denmark
    PublisherTechnical University of Denmark, DTU Informatics, Building 321
    Number of pages58
    Publication statusPublished - 2012
    SeriesD T U Compute. Technical Report


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

    Cite this