Energy
Cloud Resource Management Using Constraints Acquisition and Planning
Nir, Yannick Le (EISTI) | Devin, Florent (EISTI) | Loubière, Peio (EISTI)
In this paper we present a full architecture to deploy efficiently a grid in a private cloud approach. We first give details about the resources constraints acquisition. We use Rich Internet Application (RIA) to access and/or modify the resources in a very user-friendly interface. Then, using the previous information, we explain how we can compute a dynamic deployment plan, that can be used either to build an optimal grid of computers or to give information to its scheduler. This plan is computed using pddl solver with various logical constraints obtained from the IT users through the RIA.
Energy Outlier Detection in Smart Environments
Chen, Chao (Washington State University) | Cook, Diane J. (Washington State University)
Despite a dramatic growth of power consumption inhouseholds, less attention has been paid to monitoring,analyzing and predicting energy usage. In this paper,we propose a framework to mine raw energy data bytransforming time series energy data into a symbol se-quence, and then extend a suffix tree data structure asan efficient representation to analyze global structuralpatterns. Then, we use a clustering algorithm to detectenergy pattern outliers which are far from their clustercentroids. To validate our approach, we use real powerdata collected from a smart apartment testbed duringtwo months.
Efficiently Eliciting Preferences from a Group of Users
Hines, Greg (University of Waterloo) | Larson, Kate (University of Waterloo)
Learning about users' preferences allows agents to make intelligent decisions on behalf of users. When we are eliciting preferences from a group of users, we can use the preferences of the users we have already processed to increase the efficiency of the elicitation process for the remaining users. However, current methods either require strong prior knowledge about the users' preferences or can be overly cautious and inefficient. Our method, based on standard techniques from non-parametric statistics, allows the controller to choose a balance between prior knowledge and efficiency. This balance is investigated through experimental results.
CollabMap: Augmenting Maps Using the Wisdom of Crowds
Stranders, Ruben (University of Southampton) | Ramchurn, Sarvapali D. (University of Southampton) | Shi, Bing (University of Southampton) | Jennings, Nicholas R. (University of Southampton)
The creation of high fidelity scenarios for disaster simulation is a major challenge for a number of reasons. First, the maps supplied by existing map providers tend to provide only road or building shapes and do not accurately model open spaces which people use to evacuate buildings, homes, or industrial facilities. Secondly, even if some of the data about evacuation routes is available, the real-world connection points between these spaces and roads and buildings is usually not well defined unless data from buildings’ owners can be obtained. Finally, in order to augment current maps with accurate spatial data, it would require either a good set of training data for a computer vision algorithm to define evacuation routes using pictures or a significant amount of manpower to directly survey a vast area. Against this background, we develop a novel model of geospatial data creation, called CollabMap, that relies on human computation. CollabMap is a crowdsourcing tool to get users contracted via Amazon Mechanical Turk or a similar service to perform micro-tasks that involve augmenting existing maps by drawing evacuation routes, using satellite imagery from Google Maps and panoramic views from Google Street-View. We use human computation to complete tasks that are hard for a computer vision algorithm to perform or to generate training data that could be used by a computer vision algorithm to automatically define evacuation routes.
An Intelligent Load Balancing Algorithm Towards Efficient Cloud Computing
Xu, Yang (University of Electronic Science and Technology of China) | Wu, Lei (University of Electronic Science and Technology of China) | Guo, Liying (University of Electronic Science and Technology of China) | Chen, Zheng (University of Electronic Science and Technology of China) | Yang, Lai (Chinese Academy of Sciences) | Shi, Zhongzhi (Chinese Academy of Sciences)
MapReduce provided a novel computing model for complex job decomposition and sub-tasks management to support cloud computing with large distributed data sets. However, its performance is significantly influenced by the working data distributions over those data sets. In this paper, we put forward a novel model to balance data distribution to improve cloud computing performance in data-intensive applications, such as distributed data mining. By extending the classic MapReduce model with an agent-aid layer and abstracting working load requests for data blocks as tokens, the agents can reason from previously received tokens about where to send other tokens in order to balance the working tasks and improve system performance. Our key contribution lies in building an efficient token routing algorithm in spite of agents' unknowing to the global state of data distribution in cloud. We also built a prototype of our system, and the experimental results show that our approach can significantly improve the efficiency of cloud computing.
Load Balancing for Hypertable
Rios, Gordon (University College Cork) | Judd, Doug (Hypertable, Inc.)
In Hypertable ranges of table data are stored and accessed on different nodes and allows for flexible management of the underlying hardware. Overall performance is sensitive to the balance of range load across the cluster. The project developers aim to create a simple interface to allow researchers to design experimental load balancing strategies that incorporate machine learning and optimization. This paper specifies the load balancing problem and introduces it as a challenge problem for AI and machine learning.
Mechanism Design for Aggregated Demand Prediction in the Smart Grid
Rose, Harry Thomas (University of Southampton) | Rogers, Alex (University of Southampton) | Gerding, Enrico H (University of Southampton)
This paper presents a novel scoring rule-based mechanism that encourages agents to produce costly estimates of future events and truthfully report them to a centre when the budget for payments to the agents is itself determined by their reports. This is applied to a model of aggregated demand prediction within a microgrid where, given estimates of future consumptions, an aggregator must optimally purchase electricity for a set of homes, each represented by self-interested, rational home agents. This in turn reduces the need for costly standby generation within the grid. The aggregator has prior information about the amount each home will consume, and determines the amount to pay each agent based on savings resulting from using the agents' reported information, over its own prior information. Agents use sensory information regarding their property and its occupants to generate these estimates, which they transmit to the aggregator using smart grid technology. The proposed mechanism is dominant strategy incentive compatible and empirical evaluation shows that it encourages agents to exert effort in producing precise estimates. We show that the mechanism is ex ante individually rational for the aggregator, and that it outperforms a simpler mechanism whereby savings are distributed evenly.
Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human Computation
Law, Edith (Carnegie Mellon University) | Zhang, Haoqi (Harvard University)
Behind every search query is a high-level mission that the user wants to accomplish. While current search engines can often provide relevant information in response to well-specified queries, they place the heavy burden of making a plan for achieving a mission on the user. We take the alternative approach of tackling users' high-level missions directly by introducing a human computation system that generates simple plans, by decomposing a mission into goals and retrieving search results tailored to each goal. Results show that our system is able to provide users with diverse, actionable search results and useful roadmaps for accomplishing their missions.
Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation
Mady, Alie El-Din (University College Cork) | Provan, Gregory (University College Cork) | Ryan, Conor (University College Cork) | Brown, Kenneth (University College Cork)
The aim of a modern Building Automation System (BAS) is to enhance interactive control strategies for energy efficiency and user comfort. In this context, we develop a novel control algorithm that uses a stochastic building occupancy model to improve mean energy efficiency while minimizing expected discomfort. We compare by simulation our Stochastic Model Predictive Control (SMPC) strategy to the standard heating control method to empirically demonstrate a 4.3% reduction in energy use and 38.3% reduction in expected discomfort.
Belief-Propagation for Weighted b-Matchings on Arbitrary Graphs and its Relation to Linear Programs with Integer Solutions
Bayati, Mohsen, Borgs, Christian, Chayes, Jennifer, Zecchina, Riccardo
We consider the general problem of finding the minimum weight $\bm$-matching on arbitrary graphs. We prove that, whenever the linear programming (LP) relaxation of the problem has no fractional solutions, then the belief propagation (BP) algorithm converges to the correct solution. We also show that when the LP relaxation has a fractional solution then the BP algorithm can be used to solve the LP relaxation. Our proof is based on the notion of graph covers and extends the analysis of (Bayati-Shah-Sharma 2005 and Huang-Jebara 2007}. These results are notable in the following regards: (1) It is one of a very small number of proofs showing correctness of BP without any constraint on the graph structure. (2) Variants of the proof work for both synchronous and asynchronous BP; it is the first proof of convergence and correctness of an asynchronous BP algorithm for a combinatorial optimization problem.