Service composition in stochastic settings

With the growth of the Internet-of-Things and online Web services, more services with more capabilities are available to us. The ability to generate new, more useful services from existing ones has been the focus of much research for over a decade. The goal is, given a specification of the behavior of the target service, to build a controller, known as an orchestrator, that uses existing services to satisfy the requirements of the target service. The model of services and requirements used in most work is that of a finite state machine. This implies that the specification can either be satisfied or not, with no middle ground. This is a major drawback, since often an exact solution cannot be obtained. In this paper we study a simple stochastic model for service composition: we annotate the tar- get service with probabilities describing the likelihood of requesting each action in a state, and rewards for being able to execute actions. We show how to solve the resulting problem by solving a certain Markov Decision Process (MDP) derived from the service and requirement specifications. The solution to this MDP induces an orchestrator that coincides with the exact solution if a composition exists. Otherwise it provides an approximate solution that maximizes the expected sum of values of user requests that can be serviced. The model studied although simple shades light on composition in stochastic settings and indeed we discuss several possible extensions

Smart Finite State Devices: A Modeling Framework for Demand Response Technologies

We introduce and analyze Markov Decision Process (MDP) machines to model individual devices which are expected to participate in future demand-response markets on distribution grids. We differentiate devices into the following four types: (a) optional loads that can be shed, e.g. light dimming; (b) deferrable loads that can be delayed, e.g. dishwashers; (c) controllable loads with inertia, e.g. thermostatically-controlled loads, whose task is to maintain an auxiliary characteristic (temperature) within pre-defined margins; and (d) storage devices that can alternate between charging and generating. Our analysis of the devices seeks to find their optimal price-taking control strategy under a given stochastic model of the distribution market.Comment: 8 pages, 8 figures, submitted IEEE CDC 201

Smart grid interoperability use cases for extending electricity storage modeling within the IEC Common Information Model

Copyright @ 2012 IEEEThe IEC Common Information Model (CIM) is recognized as a core standard, supporting electricity transmission system interoperability. Packages of UML classes make up its domain ontology to enable a standardised abstraction of network topology and proprietary power system models. Since the early days of its design, the CIM has grown to reflect the widening scope and detail of utility information use cases as the desire to interoperate between a greater number of systems has increased. The cyber-physical nature of the smart grid places even greater demand upon the CIM to model future scenarios for power system operation and management that are starting to arise. Recent developments of modern electricity networks have begun to implement electricity storage (ES) technologies to provide ancillary balancing services, useful to grid integration of large-scale renewable energy systems. In response to this we investigate modeling of grid-scale electricity storage, by drawing on information use cases for future smart grid operational scenarios at National Grid, the GB Transmission System Operator. We find current structures within the CIM do not accommodate the informational requirements associated with novel ES systems and propose extensions to address this requirement.This study is supported by the UK National Grid and Brunel Universit