TY - RPRT
T1 - Modelling Chinese Smart Grid
T2 - A Stochastic Model Checking Case Study
AU - Yuksel, Ender
AU - Nielson, Hanne Riis
AU - Nielson, Flemming
AU - Zhu, Huibiao
AU - Huang, Heqing
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
M3 - Report
T3 - D T U Compute. Technical Report
BT - Modelling Chinese Smart Grid
PB - Technical University of Denmark, DTU Informatics, Building 321
CY - Kgs. Lyngby, Denmark
ER -
