Model Checking the Reliability of Smart Grid



Zheng, K
(2019) Model Checking the Reliability of Smart Grid. Master of Philosophy thesis, University of Liverpool.

[img] Text
201113445_Feb2019.pdf - Unspecified

Download (12MB)

Abstract

In recent years, air pollution in China become more serious than before. Thermal power generation is one of the main pollution sources, so the Chinese government wants to develop distributed energy systems (DESs) to solve the problem. However, the monitoring and control of the DESs become a challenge. In order to solve the problem, the concept of smart microgrid is introduced. Smart microgrid can monitor and optimize the running of DESs in an intelligent way. Smart microgrid systems usually include the following components: DESs, converters, inverters, sensors, gateways, and servers. The control algorithms are imported into the inverters and converters to realize the optimal control of DESs. The internet of things (IoT) network in a smart microgrid is used for monitoring the operation of the DESs. However, the reliability of smart microgrid is still a challenge. In recent years, some of the researchers also focus on the reliability of smart microgrid[53]. But the research about the reliability of the smart microgrid is still not enough. Most of the researchers focus on the power quality reliability of the microgrid. However, few research concentrates on optimizing the structure design of smart microgrid. In this project, we will optimize the architecture design of smart microgrid. Continuous- time Markov chain (CTMC) models will be used to evaluate the reliability of smart micro- grid. The architectures of the IoT system and DC microgrid will be evaluated respectively. Then the analysis results will show our optimized architecture is better. The optimized design of smart microgrid in this project will help the designer to improve the architecture design of smart microgrid in real cases. In this project, Monte Carlo method, reliability block diagram (RBD) method and case study system are used as benchmarks.

Item Type: Thesis (Master of Philosophy)
Uncontrolled Keywords: model checking, smart grid, reliability
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 29 Apr 2019 13:58
Last Modified: 19 Jan 2023 00:56
DOI: 10.17638/03034610
Supervisors:
  • Huang, Xin
URI: https://livrepository.liverpool.ac.uk/id/eprint/3034610