A multi-period model of interruptible electric power service that includes early notification may be described as a stochastic control problem: whom to notify when. When customer interruption losses are multiplicative or submodular, an optimal priority ordering exists, allowing for a simple notification policy.

In this paper, we present a new approach to synchronization in real-time systems. Existing methods for synchronization in real-time systems are pessimistic, and use blocking to enforce concurrency control. Protocols such as the priority ceiling protocol have been proposed to reduce the priority inversion that occurs when low priority tasks block high priority tasks. However, the priority ceilin...

In this paper, we present an analysis aiming at making task planning interruptible. A task planner represents a testbed for implementing interruption strategies. A control search in the space of partial has the property of representing one partial plan at a time only while being complete when not interrupted. A deenition of the quality of a partial plan is proposed, in addition to the statistic...

From the optimization point of view, an optimum solution of the unit commitment problem with reliability constraints can be achieved when all constraints are simultaneously satisfied rather than sequentially or separately satisfying them. Therefore, the reliability constraints need to be appropriately formulated in terms of the conventional unit commitment variables. In this paper, the reli...

This paper presents the design and pricing of financial contracts for the supply and procurement of interruptible electricity service. While the contract forms and pricing methodology have broader applications, the focus of this work is on electricity market applications, which motivate the contract structures and price process assumptions. In particular, we propose a new contract form that bun...

This paper introduces a novel technique for smooth and efficient zooming and panning based on dynamical systems in hyperbolic space. Unlike the technique of van Wijk and Nuij, the animations produced by our technique are smooth at the endpoints and when interrupted by a change of target. To analyze the results of our technique, we introduce world/screen diagrams, a novel technique for visualizi...