Research

Modelling Chinese Smart Grid : A Stochastic Model Checking Case Study

In D T U Compute. Technical Report, 2012

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.

Info

Report, 2012

In D T U Compute. Technical Report, 2012

UN SDG Classification
DK Main Research Area

    Science/Technology

To navigate
Press Enter to select