Towards reliable smart microgrid behavior using runtime model synthesis Conference

Allison, M, Morris, KA, Yang, Z et al. (2012). Towards reliable smart microgrid behavior using runtime model synthesis . 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 185-192. 10.1109/HASE.2012.37

cited authors

  • Allison, M; Morris, KA; Yang, Z; Clarke, PJ; Costa, FM

authors

abstract

  • 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. © 2012 IEEE.

publication date

  • December 1, 2012

published in

Digital Object Identifier (DOI)

start page

  • 185

end page

  • 192