In 2005, two scientists, David Mazières and Eddie Kohler, wrote a paper titled Get me off Your Fucking Mailing List and submitted it to WMSCI 2005 (the 9th World Multiconference on Systemics, Cybernetics and Informatics), a conference then notorious for its spamming and lax standards for paper acceptance, in protest of same. The paper consisted essentially only of the sentence "Get me off your fucking mailing list" repeated many times.

This post is to announce the start of a new mathematics journal, to be called Discrete Analysis. While in most respects it will be just like any other journal, it will be unusual in one important way: it will be purely an arXiv overlay journal. That is, rather than publishing, or even electronically hosting, papers, it will consist of a list of links to arXiv preprints. Other than that, the journal will be entirely conventional: authors will submit links to arXiv preprints, and then the editors of the journal will find referees, using their quick opinions and more detailed reports in the usual way in order to decide which papers will be accepted.

Part of the motivation for starting the journal is, of course, to challenge existing models of academic publishing and to contribute in a small way to creating an alternative and much cheaper system. However, I hope that in due course people will get used to this publication model, at which point the fact that Discrete Analysis is an arXiv overlay journal will no longer seem interesting or novel, and the main interest in the journal will be the mathematics it contains.

The Hague Declaration aims to foster agreement about how to best enable access to facts, data and ideas for knowledge discovery in the Digital Age. By removing barriers to accessing and analysing the wealth of data produced by society, we can find answers to great challenges such as climate change, depleting natural resources and globalisation.

The LOCKSS Program, based at Stanford University Libraries, provides libraries and publishers with award-winning, low-cost, open source digital preservation tools to preserve and provide access to persistent and authoritative digital content.

The deployment of solar-based electricity generation, especially in the form of photovoltaics (PVs), has increased markedly in recent years due to a wide range of factors including concerns over greenhouse gas emissions, supportive government policies, and lower equipment costs. Still, a number of challenges remain for reliable, efficient integration of solar energy. Chief among them will be developing new tools and practices that manage the variability and uncertainty of solar power.

Network protocol design and evaluation requires either full implementation of the considered protocol and evaluation in a real network, or a simulation based on a model. There is also a middle approach in which both simulation and emulation are used to evaluate a protocol. In this article the Partov engine, which provides both simulation and emulation capabilities simultaneously, is presented. Partov benefits from a layered and platform-independent architecture. As a pure simulator, it provides an extensible plugin-based platform that can be configured to perform both real-time and non-real-time discrete-event simulations. It also acts as an emulator, making interaction with real networks possible in real time. Additionally, a declarative XML-based language is used, acting as a glue between simulation and emulation modules and plugins. It supports dynamic network modelling and simulation based on continuous time Markov chains. Partov is compared with other well-known tools such as NS-3 and real processes such as Hping3. It is shown that Partov requires less overhead and is much more scalable than NS-3.

In this paper we address a seemingly simple question: Is there a universal packet scheduling algorithm? More precisely, we analyze (both theoretically and empirically) whether there is a single packet scheduling algorithm that, at a network-wide level, can match the results of any given scheduling algorithm. We find that in general the answer is “no”. However, we show theoretically that the classical Least Slack Time First (LSTF) scheduling algorithm comes closest to being universal and demonstrate empirically that LSTF can closely, though not perfectly, replay a wide range of scheduling algorithms in realistic network settings. We then evaluate whether LSTF can be used in practice to meet various network-wide objectives by looking at three popular performance metrics (mean FCT, tail packet delays, and fairness); we find that LSTF performs comparable to the state-of-the-art for each of them.

ION conference on inertial measurement systems, navigation and localization.

Demand Response (DR) in residential sector is considered to play a key role in the smart grid framework because of its disproportionate amount of peak energy use and massive integration of distributed local renewable energy generation in conjunction with battery storage devices. In this paper, first a quick overview about residential demand response and its optimization model at single home and multi-home level is presented. Then a description of state-of-the-art optimization methods addressing different aspects of residential DR algorithms such as optimization of schedules for local RE based generation dispatch, battery storage utilization and appliances consumption by considering both cost and comfort, parameters uncertainty modeling, physical based dynamic consumption modeling of various appliances power consumption at single home and aggregated homes/community level are presented. The key issues along with their challenges and opportunities for residential demand response implementation and further research directions are highlighted.

This paper presents an experimental evaluation of different line extraction algorithms on 2D laser scans for indoor environment. Six popular algorithms in mobile robotics and computer vision are selected and tested. Experiments are performed on 100 real data scans collected in an office environment with a map size of 80m × 50m. Several comparison criteria are proposed and discussed to highlight the advantages and drawbacks of each algorithm, including speed, complexity, correctness and precision. The results of the algorithms are compared with the ground truth using standard statistical methods.

by Truong X. Nghiem, Rahul Mangharam

Peak power consumption is a universal problem across energy control systems in electrical grids, buildings, and industrial automation where the uncoordinated operation of multiple controllers result in temporally correlated electricity demand surges (or peaks). While there exist several different approaches to balance power consumption by load shifting and load shedding, they operate on coarse grained time scales and do not help in de-correlating energy sinks. The Energy System Scheduling Problem is particularly hard due to its binary control variables. Its complexity grows exponentially with the scale of the system, making it impossible to handle systems with more than a few variables.

We developed a scalable approach for fine-grained scheduling of energy control systems that novelly combines techniques from control theory and computer science. The original system with binary control variables are approximated by an averaged system whose inputs are the utilization values of the binary inputs within a given period. The error between the two systems can be bounded, which allows us to derive a safety constraint for the averaged system so that the original system's safety is guaranteed. To further reduce the complexity of the scheduling problem, we abstract the averaged system by a simple single-state single-input dynamical system whose control input is the upper-bound of the total demand of the system. This model abstraction is achieved by extending the concept of simulation relations between transition systems to allow for input constraints between the systems. We developed conditions to test for simulation relations as well as algorithms to compute such a model abstraction. As a consequence, we only need to solve a small linear program to compute an optimal bound of the total demand. The total demand is then broken down, by solving a linear program much smaller than the original program, to individual utilization values of the subsystems, whose actual schedule is then obtained by a low-level scheduling algorithm. Numerical simulations in Matlab show the effectiveness and scalability of our approach.

The need for fast response demand side participation (DSP) has never been greater due to increased wind power penetration. White domestic goods suppliers are currently developing a ‘smart’ chip for a range of domestic appliances (e.g. refrigeration units, tumble dryers and storage heaters) to support the home as a DSP unit in future power systems. This paper presents an aggregated population-based model of a single compressor fridge-freezer. Two scenarios (i.e. energy efficiency class and size) for valley filling and peak shaving are examined to quantify and value DSP savings in 2020. The analysis shows potential peak reductions of 40 MW to 55 MW are achievable in the Single wholesale Electricity Market of Ireland (i.e. the test system), and valley demand increases of up to 30 MW. The study also shows the importance of the control strategy start time and the staggering of the devices to obtain the desired filling or shaving effect.

Plug-loads are often neglected in commercial demand response (DR) despite being a major contributor to building energy consumption. Improvements in technology like smart power strips are prompting the incorporation of plug-loads as a DR resource alongside building HVAC and lighting. Office scale battery storage (OSBS) systems are also candidates as a DR resource due to their ability to run on battery power. In this work, we present a model predictive control (MPC) framework for optimal load-shedding of plug-loads and OSBS.We begin with discussion of the context of this work, and present two models of OSBS systems. A model predictive controller for OSBS and plug-load load-shed scheduling is presented. We discuss casting the MPC as a dynamic program, and an algorithm to solve the dynamic program. Simulation results show the efficacy and utility of dynamic programming, and quantify the performance of OSBS systems.

The performance, reliability, cost, size and energy usage of computing systems can be improved by one or more orders of magnitude by the systematic use of modern control and optimization methods. Computing systems rely on the use of feedback algorithms to schedule tasks, data and resources, but the models that are used to design these algorithms are validated using open-loop metrics. By using closed-loop metrics instead, such as the gap metric developed in the control community, it should be possible to develop improved scheduling algorithms and computing systems that have not been over-engineered. Furthermore, scheduling problems are most naturally formulated as constraint satisfaction or mathematical optimization problems, but these are seldom implemented using state of the art numerical methods, nor do they explicitly take into account the fact that the scheduling problem itself takes time to solve. This paper makes the case that recent results in real-time model predictive control, where optimization problems are solved in order to control a process that evolves in time, are likely to form the basis of scheduling algorithms of the future. We therefore outline some of the research problems and opportunities that could arise by explicitly considering feedback and time when designing optimal scheduling algorithms for computing systems.

Use the measrdroid app

• to collect interesting usage statistics.
• to access raw data from your mobile device.

Measured data will be used for a research project in computer science. They claim that all uploaded data samples are strictly kept private according to their privacy agreement. They do not collect social data.

Demand response on the residential market is becoming a solution to adapt customer consumption to the offer available and therefore lower the electricity peak prices. Tariff incentives and direct load control of residential air-conditioners and electric heaters are flexible solutions to reduce the peak demand. To include residential demand response resources in planning operators, quantifying the demand reduction is becoming a major issue for all electrical stakeholders. Current methods are based on day or weather matching, regressions and control group approaches. In general, methods using available data from a control group give more accurate results. With the introduction of smart meters, the electric utilities generate a large amount of quality data, available almost in real time. In this paper, we suggest using these available residential load curves to select a control group based on individual load curves. One of the advantages of our method is that the selected control group could adapt at anytime to the number of individuals belonging to the demand reduction program, as this number evolves with customers entering and leaving the program. Constrained regression methods and an algorithm are developed and evaluated on real data, providing a reliable solution for an operational use.

This paper presents the modeling and control for a novel Compressed Air Energy Storage (CAES) system for wind turbines. The system captures excess power prior to electricity generation so that electrical components can be downsized for demand instead of supply. Energy is stored in a high pressure dual chamber liquid-compressed air storage vessel. It takes advantage of the power density of hydraulics and the energy density of pneumatics in the “open accumulator” architecture. A liquid piston air compressor/expander is utilized to achieve near-isothermal compression/expansion for efficient operation. A cycle-average approach is used to model the dynamics of each component in the combined wind turbine and storage system. Standard torque control is used to capture the maximum power from wind through a hydraulic pump attached to the turbine rotor in the nacelle. To achieve both accumulator pressure regulation and generator power tracking, a nonlinear controller is designed based on an energy based Lyapunov function. The nonlinear controller is then modified to distribute the control effort between the hydraulic and pneumatic elements based on their bandwidth capabilities. As a result, liquid piston air compressor/expander will loosely maintain the accumulator pressure ratio, while the down-tower hydraulic pump/motor precisely tracks the desired generator power. This control scheme also allows the accumulator to function as a damper for the storage system by absorbing power disturbances from the hydraulic path generated by the wind gusts. A set of simulation case studies demonstrate the operation of the combined system when the nonlinear controller is utilized and illustrates how this system can be used for load leveling, downsizing electrical system and maximizing revenues.

This paper is concerned with maximum efficiency or power tracking for pneumatically-driven electric generator of a stand-alone small scale compressed air energy storage system (CAES). In this system, an air motor is used to drive a permanent magnet DC generator, whose output power is controlled by a buck converter supplying a resistive load. The output power of the buck converter is controlled power such that the air motor operates at a speed corresponding to either maximum power or maximum efficiency. The maximum point tracking controller uses a linearised model of the air motor together with integral control action. The analysis and design of the controller is based on a small injected-absorbed current signal-model of the buck converter. The controller was implemented experimentally using a dSPACE system. Test results are presented to validate the design and demonstrate its capabilities.

In this paper a new concept for control and performance assessment of compressed air energy storage (CAES) systems in a hybrid energy system is introduced. The proposed criterion, based on the concept of energy harvest index (HEI), measures the capability of a storage system to capture renewable energy. The overall efficiency of the CAES system and optimum control and design from the technical and economic point of view is presented. A possible application of this idea is an isolated community with significant wind energy resource. A case study reveals the usefulness of the proposed criterion in design, control and implementation of a small CAES system in a hybrid power system (HPM) for an isolated community. Energy harvested index and its effectiveness in increasing the wind penetration rate in the total energy production is discussed.