Formal specification of a self-sustainable holonic system for smart electrical micro-grids

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Abstract

Stand-alone micro-grids have emerged within the smart grids field, facing important challenges related to their proper and efficient operation. An example is the self-sustainability when the micro-grid is disconnected from the main utility, e.g., due to a failure in the main utility or due to geographical situations, which requires the efficient control of energy demand and production. This paper describes the formal specification of a holonic system architecture that is able to perform the automation control functions in electrical stand-alone micro-grids, particularly aiming to improve their self-sustainability. The system aims at optimizing the power flow among the different electrical players, both producers and consumers, to keep the micro-grid operating even under adverse situations. The behaviour of each individual holon and their coordination patterns were modelled, analysed and validated using the Petri net formalism, allowing the complete verification of the system correctness during the design phase.

Original languageEnglish
Title of host publicationStudies in Computational Intelligence
PublisherSpringer Verlag
Pages179-190
Number of pages12
Volume694
DOIs
Publication statusPublished - 2017

Publication series

NameStudies in Computational Intelligence
Volume694
ISSN (Print)1860-949X

    Fingerprint

Keywords

  • Holonic system
  • Self-sustainability
  • Smart electrical micro-grid

Cite this

Ferreira, A., Leitão, P., & Oliveira, J. B. (2017). Formal specification of a self-sustainable holonic system for smart electrical micro-grids. In Studies in Computational Intelligence (Vol. 694, pp. 179-190). (Studies in Computational Intelligence; Vol. 694). Springer Verlag. https://doi.org/10.1007/978-3-319-51100-9_16