Developing stochastic hybrid models for smart microgrid systems
Supervisor
Suitable for
Abstract
Smart microgrids are small-scale versions of centralized electricity systems, which locally generate, distribute, and regulate the flow of electricity to consumers. Among other advantages, microgrids have shown positive effects over the reliability of distribution networks. Modeling of a microgrid requires special attention due to the existence of continuous and discrete variables. The existence of components with stochastic behaviour points out the use of stochastic hybrid systems as a model of such microgrids. This framework provides the opportunity of employing formal methods to verify properties of the microgrid. The goal of the project is to model the evolution of electrical and physical variables of the microgrid by stochastic hybrid systems.
Prerequisites: Familiarity with stochastic processes and formal verification, whereas no specific knowledge of smart grids is needed.