Recommender systems for sensor-based ambient control in academic facilities

Pajuelo-Holguera, Francisco; Gómez–Pulido, Juan A.; Ortega, Fernando

doi:10.1016/j.engappai.2020.103993

Cited by 4 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have used four different datasets for this empirical evaluation, namely: Smart-Politech [Pajuelo-Holguera et al, 2020], Tomsk Heating [Zorin and Stukach, 2020], Orange4Home [Cumin et al, 2017] and Context [Kaupp et al, 2021]. All datasets are related to smart buildings except for Context that is about Industry 4.0.…”

Section: Datasets and Network Failuresmentioning

confidence: 99%

Decentralized Stream Runtime Verification for Timed Asynchronous Networks

Danielsson¹,

Sánchez²

2023

Preprint

View full text Add to dashboard Cite

We study the problem of monitoring distributed systems where computers communicate using message passing and share an almost synchronized clock. This is a realistic scenario for networks where the speed of the monitoring is sufficiently slow (at the human scale) to permit efficient clock synchronization, where the clock deviations is small compared to the monitoring cycles. This is the case when monitoring human systems in wide area networks, the Internet or including large deployments. More concretely, we study how to monitor decentralized systems where monitors are expressed as stream runtime verification specifications, under a timed asynchronous network. Our monitors communicate using the network, where messages can take arbitrarily long but cannot be duplicated or lost. This communication setting is common in many cyberphysical systems like smart buildings and ambient living. Previous approaches to decentralized monitoring were limited to synchronous networks, which are not easily implemented in practice because of network failures. Even when networks failures are unusual, they can require several monitoring cycles to be repaired. In this work we propose a solution to the timed asynchronous monitoring problem and show that this problem generalizes the synchronous case. We study the specifications and conditions on the network behavior that allow the monitoring to take place with bounded resources, independently of the trace length. Finally, we report the results of an empirical evaluation of an implementation and verify the theoretical results in terms of effectiveness and efficiency.

show abstract

Section: Datasets and Network Failuresmentioning

confidence: 99%