Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

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

    Research output: Book/ReportReportResearch

    275 Downloads (Pure)

    Abstract

    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
    Number2012-02
    ISSN1601-2321

    Cite this

    Yuksel, E., Nielson, H. R., Nielson, F., Zhu, H., & Huang, H. (2012). Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study. Technical University of Denmark, DTU Informatics, Building 321. D T U Compute. Technical Report, No. 2012-02