Abstract
The goal of a Home Energy Management System (HEMS) is that of purposely shaping the cumulative energy consumption curves of domestic appliances by imposing suitable monitoring and control policies. The development of HEMS, like the development of general Cyber-Physical Systems (CPSs), is challenging, as it requires the exploitation of suitable methodological approaches which are able to deal jointly with the continuous and discrete behaviours of a CPS. In this paper, a methodological approach for HEMS is advocated which relies on the use of the Theatre actor system with hybrid actors. As a key feature, Theatre enables the same actor model to be used during the analysis, design, prototyping and implementation phases of the system. For property assessment, a Theatre model is reduced to Uppaal hybrid timed automata for analysis by statistical model checking. As a significant modelling example, a HEMS is proposed which implements an admission control strategy able to maintain the in-home energy consumption under a given threshold. Instead of reacting to an overload condition, the strategy is able to prevent an overload upfront by predicting the effect that the admission of a new load will have on the consumption curve of the whole system.
Highlights
Nowadays, there are many research efforts addressing issues tied to the production, distribution and consumption of electrical energy
The contribution of this work is threefold: (i) the definition of an approach capable of revealing some desired/undesired properties emerging when coupling the cyber with the physical part of a Cyber-Physical Systems (CPSs); (ii) the use of Theatre with hybrid actors in the case what-if scenarios are required to be evaluated and continuous behaviours require to be suspended and resumed; (iii) the exploitation of the approach in a significant modelling example related to the context of home energy management
This paper proposed an approach exploitable for developing Home Energy Management Systems (HEMSs)
Summary
There are many research efforts addressing issues tied to the production, distribution and consumption of electrical energy. Modelling 2021, 2 continuous behaviour (i.e., the modes of the system) of the physical environment in which the CPS operates For these purposes, approaches and methodologies related to hybrid systems need to be used; (ii) assessing functional and timing properties of the system; (iii) adopting a development process that helps to transfer the validity of the analysed properties into the final system implementation; (iv) handling concurrency problems carefully. The contribution of this work is threefold: (i) the definition of an approach capable of revealing some desired/undesired properties emerging when coupling the cyber with the physical part of a CPS; (ii) the use of Theatre with hybrid actors in the case what-if scenarios are required to be evaluated and continuous behaviours require to be suspended and (subsequently) resumed; (iii) the exploitation of the approach in a significant modelling example related to the context of home energy management.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have