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.
|Place of Publication||Kgs. Lyngby, Denmark|
|Publisher||Technical University of Denmark, DTU Informatics, Building 321|
|Number of pages||58|
|Publication status||Published - 2012|
|Series||D T U Compute. Technical Report|
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