Towards Reliable Smart Microgrid Behavior Using Runtime Model Synthesis

The dominant paradigm of centralized power generation, characterized by heavy transmission losses, is being slowly replaced by the smart micro grid, which promises the proliferation of renewable and distributed energy sources. Micro grid reliability is a well established theme as assurance requirements are inherited from the larger smart grid. In this paper we describe how user defined domain-specific micro grid models can be synthesized using runtime model analysis thereby supporting stability in the micro grid plant. This analysis includes model reconciliation which produces a list of model changes that are then interpreted to control the plant via executable control scripts. To demonstrate the efficacy and applicability of our approach, we apply it to a typical scenario in the energy management domain and prove the concept utilizing a smart micro grid prototype test bed.