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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Merabet, G.H., Essaaidi, M., Talei, H., Abid, M.R., Khalil, N., Madkour, M., Benhaddou, D.: Applications of multi-agent systems in smart grids: a survey. In: International Conference on Multimedia Computing and Systems (ICMCS), pp. 1088–1094 (2014)
Katiraei, F., Iravani, M.R., Lehn, P.W.: Micro-grid autonomous operation during and subsequent to islanding process. IEEE Trans. Power Deliv. 20(1), 248–257 (2005)
Leitao, P., Karnouskos, S., Ribeiro, L., Lee, J., Strasser, T., Colombo, A.W.: Smart agents in industrial cyber-physical systems. Proc. IEEE 104(5), 1086–1101 (2016)
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
Zurawski, Zhou, M.: Petri nets and industrial applications: a tutorial. IEEE Trans. Ind. Electron. 41(6), 567–583 (1994)
Dijkstra, E.W.: Solution of a problem in concurrent programming control. Commun. ACM 8(9), 569 (1965)
Mendes, J.M., Bepperling, A., Pinto, J., Leitao, P., Restivo, F., Colombo, A.W.: Software methodologies for the engineering of service-oriented industrial automation: the continuum project. In: 33rd Annual IEEE International Computer Software and Applications Conference, pp. 452–459 (2009)
Valette, R.: Analysis of petri nets by stepwise refinements. J. Comput. Syst. Sci. 18(1), 35–46 (1979)
Bellifemine, F., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Ferreira, A., Leitão, P., Barata Oliveira, J. (2017). Formal Specification of a Self-sustainable Holonic System for Smart Electrical Micro-grids. In: Borangiu, T., Trentesaux, D., Thomas, A., Leitão, P., Oliveira, J. (eds) Service Orientation in Holonic and Multi-Agent Manufacturing . SOHOMA 2016. Studies in Computational Intelligence, vol 694. Springer, Cham. https://doi.org/10.1007/978-3-319-51100-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-51100-9_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51099-6
Online ISBN: 978-3-319-51100-9
eBook Packages: EngineeringEngineering (R0)