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)

    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

    Fingerprint

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

    Cite this