the proceedings contain 12 papers. the topics discussed include: probabilistic causal contexts for scalable CRDTs;trees and turtles: modular abstractions for state machine replication protocols;verify, and then trust:...
ISBN:
(纸本)9798400700866
the proceedings contain 12 papers. the topics discussed include: probabilistic causal contexts for scalable CRDTs;trees and turtles: modular abstractions for state machine replication protocols;verify, and then trust: data inconsistency detection in ZooKeeper;generic checkpointing support for stream-based state-machine replication;performance trade-offs in transactional systems;a study of semantics for CRDT-based collaborative spreadsheets;AMC: towards trustworthy and explorable CRDT Applications withthe automerge model checker;towards improved collaborative text editing CRDTs by using natural language processing;for-each operations in collaborative apps;on extend-only directed Posets and derived byzantine-tolerant replicated data types;and data management for mobile applications dependent on geo-located data.
Currently, gas furnaces are common heating systems in Europe. Due to the efforts for decarbonizing the complete energy sector, heat pumps should continuously replace existing gas furnaces. At the same time, the electr...
详细信息
ISBN:
(纸本)9798400702303
Currently, gas furnaces are common heating systems in Europe. Due to the efforts for decarbonizing the complete energy sector, heat pumps should continuously replace existing gas furnaces. At the same time, the electrification of the heating sector represents a significant challenge for the power grids and their operators. thus, new approaches are required to estimate the additional electricity demand to operate heat pumps. the electricity required by a heat pump to produce a given amount of heat depends on the Seasonal Performance Factor (SPF), which is hard to model in theory due to many influencing factors and hard to measure in reality as the heat produced by a heat pump is usually not measured. therefore, we show in this paper that collected smart meter data forms an excellent data basis on building level for modeling heat demand and the SPF. We present a novel methodology to estimate the mean SPF based on an unpaired dataset of heat pump electricity and gas consumption data taken from buildings within the same city by comparing the distributions using the Jensen-Shannon Divergence (JSD). based on a real-world dataset, we evaluate this novel method by predicting the electricity demand required if all gas furnaces in a city were replaced by heat pumps and briefly highlight possible use cases.
Analysis of trajectory data within buildings offers insights for optimizing environmental design and habitability. However, data from indoor location sensors tend to be sparse and noisy. this makes it difficult for co...
详细信息
ISBN:
(纸本)9798400702303
Analysis of trajectory data within buildings offers insights for optimizing environmental design and habitability. However, data from indoor location sensors tend to be sparse and noisy. this makes it difficult for conventional route estimation models to be applied effectively. Our study seeks to derive detailed, temporally, and spatially rich trajectory data from this compromised sensor information. We achieve this by interpreting trajectories as continuous stay points. To facilitate this, we introduce a building corridor network that conceptualizes buildings as a series of points. Routes are inferred using a sequence estimation model applied to this network. this approach employs spring dynamics, which balance the resistance to staying withthe attraction to specific beacons, via mathematical optimization. Notably, our model can deduce a trajectory of 131 points from only 15 beacons with, an accuracy rate of 87%. Our method presents a promising avenue for capturing extensive route data.
Building load forecasting (BLF) is important for many building applications. And we see an increasing number of ML-based BLF models developed. Unfortunately, the existing published models are usually only tested by th...
详细信息
ISBN:
(纸本)9798400702303
Building load forecasting (BLF) is important for many building applications. And we see an increasing number of ML-based BLF models developed. Unfortunately, the existing published models are usually only tested by the overall accuracy, and their in-usage performance is unknown to a target building (with some specified characteristics). therefore, the practitioner may select a model with unacceptable accuracy while deployed in use. We argue that the main problem is that buildings have heterogeneity and there is no effective solution to compare BLF models. In this paper, we propose a new evaluation methodology to evaluate the BLF model and hence can promote model selection for a target building. the challenge is to specify "what to evaluate". We categorize the building types from three perspectives and we propose the corresponding concerns for the perspectives. Our methodology specifies the tests, i.e., for each building type, the in-usage concerns that should be tested. We conduct a small-scale BLF model benchmarking on these concerns. We evaluated our methodology using two case studies.
the proliferation of smart devices, sensors, autonomous robots, drones, and other similar instruments have profoundly changed the way of implementing and deploying systems in industrial and home environments, for dive...
详细信息
Knowing indoor occupancy states is crucial for energy optimization in buildings. While neural networks can effectively be used to detect occupancy based on carbon dioxide measurements, their application is impeded by ...
详细信息
ISBN:
(纸本)9798400702303
Knowing indoor occupancy states is crucial for energy optimization in buildings. While neural networks can effectively be used to detect occupancy based on carbon dioxide measurements, their application is impeded by the need for sufficient labeled training data. In this study, we analyze the prediction performance of three different transfer learning (TL) methods leveraging target room data jointly with data from other rooms. the methods include (1) pretraining and fine-tuning, (2) layer freezing, and (3) domain-adversarial learning. Using data from five real-world rooms and one simulated room, including multiple room types, we provide the most extensive evaluation of TL in the field of occupancy prediction from environmental variables to date. this work's contribution further includes the architecture and hyperparameters of a deep CNN-LSTM model for CO2-based occupancy detection. Our results indicate that TL effectively reduces the required amount of target room data. Moreover, while previous literature was focused on pretraining with related real-world data, we show that similar performance can be achieved by the more practical approach of leveraging simulated data.
Withthe advancement of modern warfare, the battlefield differs from traditional warfare and tends to involve strong system confrontations, involving multiple platforms and systems. the combat process is also more foc...
详细信息
Given its substantial contribution of 40% to global power consumption, the built environment has received increasing attention to serve as a source of flexibility to assist the modern power grid. In that respect, prev...
详细信息
ISBN:
(纸本)9798400702303
Given its substantial contribution of 40% to global power consumption, the built environment has received increasing attention to serve as a source of flexibility to assist the modern power grid. In that respect, previous research mainly focused on energy management of individual buildings. In contrast, in this paper, we focus on aggregated control of a set of residential buildings, to provide grid supporting services, that eventually should include ancillary services. In particular, we present a real-life pilot study that studies the effectiveness of reinforcement-learning (RL) in coordinating the power consumption of 8 residential buildings to jointly track a target power signal. Our RL approach relies solely on observed data from individual households and does not require any explicit building models or simulators, making it practical to implement and easy to scale. We show the feasibility of our proposed RL-based coordination strategy in a real-world setting. In a 4-week case study, we demonstrate a hierarchical control system, relying on an RL-based ranking system to select which households to activate flex assets from, and a real-time PI control-based power dispatch mechanism to control the selected assets. Our results demonstrate satisfactory power tracking, and the effectiveness of the RL-based ranks which are learnt in a purely data-driven manner.
this paper considers the formation control problem of mobile robots over a network with limited communication bandwidth. To deal withthis problem, we proposed an event-triggered and quantized distributed controller b...
详细信息
ISBN:
(纸本)9781665454520
this paper considers the formation control problem of mobile robots over a network with limited communication bandwidth. To deal withthis problem, we proposed an event-triggered and quantized distributed controller based on an encoder-decoder mechanism. In this scheme, each agent can only send finite-bit symbolic data to its neighbors. the proposed event function is novel and modified for the formation problem. the feasibility of the presented scheme is shown by numerical simulation.
this paper presents a novel distributed architecture designed to spawn digital twin solutions to improve energy efficiency in energy-intensive industrial scenarios. By executing user-defined workflows, our platform en...
详细信息
暂无评论