Research

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Abstract

Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this paper, we consider a specific Chinese Smart Grid implementation as a case study and address the verification problem for performance and energy consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

Info

Conference Paper, 2012

UN SDG Classification
DK Main Research Area

    Science/Technology

To navigate
Press Enter to select