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

Ferreira, Adriano; Leitão, Paulo; Oliveira, José Barata

http://hdl.handle.net/10198/15564

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
6.pdf		428.6 KB	Adobe PDF	Download

Send Feedback

Authors

Ferreira, Adriano

Leitão, Paulo

Oliveira, José Barata

Abstract(s)

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.

Keywords

Holonic system Self-sustainability Smart electrical micro-grid

URI

http://hdl.handle.net/10198/15564

Citation

Ferreira, Adriano; Leitão, Paulo; Oliveira, José Barata (2017). Formal specification of a self-sustainable holonic system for smart electrical micro-grids. In Service Orientation in Holonic and Multi-Agent Manufacturing: Proceedings of SOHOMA. p. 179-190. ISBN 978-3-319-51100-9