Using Deterministic Theatre for Energy Management in Smart Environments

Cicirelli, Franco; Nigro, Libero

doi:10.1007/978-981-33-4901-8_12

Cited by 3 publications

(5 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• continuing investigation of the approach to real-time cyber-physical systems with deterministic scheduling [12].…”

Section: Discussionmentioning

confidence: 99%

“…Theatre [11] is a particular version of actors designed to fulfil the timing requirements of cyber-physical systems (CPS) [11,12]. The core infrastructure of theatre centres on light-weight actors (not-thread-based) and a customizable reflective control layer which manages a time notion (real time or simulated time) and (transparently) supervises message exchanges and their delivery.…”

Section: An Overview Of Parallel Theatrementioning

confidence: 99%

“…In a case, message delivery can be made deterministic, e.g. [12], thus, enabling the development of predictable CPS. Actors encapsulate a data status and have a message interface.…”

Section: An Overview Of Parallel Theatrementioning

confidence: 99%

“…5) which collects messages and decides about their delivery. Differently from non-deterministic delivery in [11] and similarly to [12], simultaneous messages are deterministically dispatched, according to the sending order. Timed messages are delivered according to their timestamp (assumed to be integral times).…”

Section: A Formal Actor Model Of the Minority Gamementioning

confidence: 99%

See 3 more Smart Citations

Performance Prediction of Scalable Multi-agent Systems Using Parallel Theatre

Nigro

Cicirelli

2021

Intelligent Sustainable Systems

Self Cite

View full text Add to dashboard Cite

This paper proposes an approach to modelling and performance prediction of large multi-agent systems, based on the theatre actor system. The approach rests on Uppaal for formal modelling, graphical reasoning and preliminary property checking, and on Java for enabling large model sizes and execution benefits on a multi-core machine. As a significant case study, the minority game (MG) binary game often used in economics, natural and social sciences is chosen for modelling and analysis. In MG, a population of agents/players compete, without explicit interactions, in the use of a shared and scarce resource. At each step, each player has to decide if to use or not the resource, and by understanding that when the majority of agents decides to exploit the resource, an inevitable congestion would arise. In classic MG, although each player learns from the experience, it is unable to improve its behaviour/performance. A genetic variant of MG is then considered which by using crossover and mutation on local strategies allows a bad-performing player to possibly improve its attitude. The paper shows an MG formal actor model, which is then transformed into Java for parallel execution. Experimental results confirm good execution speedup when the size of the model is scaled to large values, as required by practical applications.

show abstract

“…• continuing investigation of the approach to real-time cyber-physical systems with deterministic scheduling [12].…”

Section: Discussionmentioning

confidence: 99%

Section: An Overview Of Parallel Theatrementioning

confidence: 99%

“…In a case, message delivery can be made deterministic, e.g. [12], thus, enabling the development of predictable CPS. Actors encapsulate a data status and have a message interface.…”

Section: An Overview Of Parallel Theatrementioning

confidence: 99%

Section: A Formal Actor Model Of the Minority Gamementioning

confidence: 99%

See 2 more Smart Citations

Performance Prediction of Scalable Multi-agent Systems Using Parallel Theatre

Nigro

Cicirelli

2021

Intelligent Sustainable Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…With respect to previous authors' works [19,20], this paper proposes a load scheduling strategy for HEMS relying on a prediction-based admission control policy [5]. More in particular, instead of reacting to an overload condition, the strategy prevents an overload upfront by predicting the effects that the admission of a new load will have on the consumption curve of the whole HEMS.…”

Section: Introductionmentioning

confidence: 99%

Admission Control in Home Energy Management Systems Using Theatre and Hybrid Actors

Cicirelli¹,

Nigro

2021

Modelling

Self Cite

View full text Add to dashboard Cite

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.

show abstract