Paper Info
Title
Formal Specification of a Self-sustainable Holonic System for Smart Electrical Micro-grids.
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.
Year
DOI
Venue
2016
10.1007/978-3-319-51100-9_16
Studies in Computational Intelligence
Keywords
DocType
Volume
Holonic system,Smart electrical micro-grid,Self-sustainability
Conference
694
ISSN
Citations 
PageRank 
1860-949X
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
a ferreira101.69
Paulo Leitão243542.70
José Barata Oliveira311.71