Dynamic Pricing, Advanced Metering, and Demand Response in Electricity Markets

Presents an overview and analysis of the possible approaches to bringing an active demand side into electricity markets. Part of a series of research reports that examines energy issues facing California

Market-based Options for Security of Energy Supply

Energy market liberalization and international economic interdependence have affected governments’ ability to react to security of supply challenges. On the other side, whereas in the past security of supply was largely seen as a national responsibility, the frame of reference has increasingly become the EU in which liberation increases security of supply mainly by increasing the number of markets participants and improving the flexibility of energy systems. In this logic, security of supply becomes a risk management strategy with a strong inclination towards cost effectiveness, involving both the supply and the demand side. Security of supply has two major components that interrelate: cost and risk. This paper focus the attention on costs in the attempt to develop a market compatible approach geared towards security of supply.Energy supply, Market-based options

Multiparty motion coordination: from choreographies to robotics programs

We present a programming model and typing discipline for complex multi-robot coordination programming. Our model encompasses both synchronisation through message passing and continuous-time dynamic motion primitives in physical space. We specify continuous-time motion primitives in an assume-guarantee logic that ensures compatibility of motion primitives as well as collision freedom. We specify global behaviour of programs in a choreographic type system that extends multiparty session types with jointly executed motion primitives, predicated refinements, as well as a separating conjunction that allows reasoning about subsets of interacting robots. We describe a notion of well-formedness for global types that ensures motion and communication can be correctly synchronised and provide algorithms for checking well-formedness, projecting a type, and local type checking. A well-typed program is communication safe, motion compatible, and collision free. Our type system provides a compositional approach to ensuring these properties. We have implemented our model on top of the ROS framework. This allows us to program multi-robot coordination scenarios on top of commercial and custom robotics hardware platforms. We show through case studies that we can model and statically verify quite complex manoeuvres involving multiple manipulators and mobile robots---such examples are beyond the scope of previous approaches

Interface and execution models in the fluke kernel

technical reportWe have defined and implemented a new kernel API that makes every exported operation either fully interruptible and restartable, thereby appearing atomic to the user. To achieve interruptibility, all possible states in which a thread may become blocked for a "long" time are completely representable as valid kernel API calls, without needing to retain any kerncl internal state

Saving energy : 2022 : how electric and natural gas utilities in South Carolina are using demand-side management

This report is intended to summarize DSM activities deployed by South Carolina’s electric and natural gas utilities - investor-owned utilities, Santee Cooper, electric cooperatives, and municipalities - as reported in 2022

Preemptive Software Transactional Memory

In state-of-the-art Software Transactional Memory (STM) systems, threads carry out the execution of transactions as non-interruptible tasks. Hence, a thread can react to the injection of a higher priority transactional task and take care of its processing only at the end of the currently executed transaction. In this article we pursue a paradigm shift where the execution of an in-memory transaction is carried out as a preemptable task, so that a thread can start processing a higher priority transactional task before finalizing its current transaction. We achieve this goal in an application-transparent manner, by only relying on Operating System facilities we include in our preemptive STM architecture. With our approach we are able to re-evaluate CPU assignment across transactions along a same thread every few tens of microseconds. This is mandatory for an effective priority-aware architecture given the typically finer-grain nature of in-memory transactions compared to their counterpart in database systems. We integrated our preemptive STM architecture with the TinySTM package, and released it as open source. We also provide the results of an experimental assessment of our proposal based on running a port of the TPC-C benchmark to the STM environment

Deregulation of the Energy Industry

43 p. ; 28 cmhttps://scholar.law.colorado.edu/books_reports_studies/1058/thumbnail.jp

Incentive Design of Conservation Voltage Reduction Planning for Industrial Loads in Ontario

In this thesis, a novel framework for planning and investment studies pertaining to the implementation of system-wide conservation voltage reduction (CVR) is presented. In the CVR paradigm, optimal voltage profiles at the load buses are determined so as to yield load reductions and hence energy conservation. The system modifications required for CVR is known to be capital intensive; therefore, the proposed model determines the system savings and the appropriate price incentives to offer industries such that a minimum acceptable rate-of-return (MARR) is accrued. In this model, the industrial facilities are represented by a combination of constant impedance, constant current, and constant power loads. A detailed case study for Ontario, Canada, is carried out considering that industrial loads are investing in CVR implementation to reduce their energy costs. The optimal incentives that need be offered by the system planner, over a long-term horizon and across various zones of Ontario, are determined using the presented mathematical model. Furthermore, a comprehensive risk analysis, comprising sensitivity studies and Monte Carlo simulations, is carried out considering the variations in the most uncertain model parameters. In this work, it is shown that savings from CVR are enough so that incentives are not required in Ontario. Sensitivity analysis shows that electricity price and project cost have the highest impact on the incentives, and that electricity price and industrial demand have the most effect on system savings. Monte Carlo simulations show that the expected energy cost savings result in expected incentive rates to be relatively low compared to the average electricity price in Ontario. CVR is shown in this thesis to be a low cost Demand Side Management program to implement from the perspective of the power system planner, and a worthwhile investment for the industrial load