A blueprint for capturing grid value in a decentralized electricity sector

This study addresses the question of how the electricity grid can best be priced, in the context of disruptive technologies, increasing decentralisation of the power sector and new business models. The emergence of business models can affect the design of tariffs, but at the same time, tariff design can trigger new business models as they can nudge adoption towards certain technologies. Network tariffs have traditionally been established using a cost accounting method. Due to its cost structure, network tariffs are second best constructs, as marginal cost pricing does not lead to cost recovery. Second best solutions, in all probability, will overcompensate some inputs which in turn will be overused (the Averch-Johnson effect). New distributed energy technologies that perform better in these overcompensated inputs will therefore see a higher penetration in the market. Penetration of some technologies over others in a previously monolithic vertically integrated power sector will open up new customer needs and therefore business opportunities. Each resulting business opportunity would make use of the grid differently from which it was originally conceived, and at one extreme, they can bypass it altogether. We provide a framework of analysis that leads to the pricing of the services provided by the electricity grid for each new business opportunity.     

Distributed receding horizon control of large-scale nonlinear systems: Handling communication delays and disturbances

This paper studies the robust distributed receding horizon control (DRHC) problem for large-scale continuous-time nonlinear systems subject to communication delays and external disturbances. A dual-mode robust DRHC strategy is designed to deal with the communication delays and the external disturbances simultaneously. The feasibility of the proposed DRHC and the stability of the closed-loop system are analyzed, and the sufficient conditions for ensuring the feasibility and stability are developed, respectively. We show that: (1) the feasibility is affected by the bounds of external disturbances, the sampling period and the bound of communication delays; (2) the stability is related to the bounds of external disturbances, the sampling period, the bound of communication delays and the minimum eigenvalues of the cooperation matrices; (3) the closed-loop system is stabilized into a robust invariant set under the proposed conditions. A simulation study is conducted to verify the theoretical results.     

Adaptive tracking control of leader–follower systems with unknown dynamics and partial measurements

In this paper, a decentralized adaptive tracking control is developed for a second-order leader–follower system with unknown dynamics and relative position measurements. Linearly parameterized models are used to describe the unknown dynamics of a self-active leader and all followers. A new distributed system is obtained by using the relative position and velocity measurements as the state variables. By only using the relative position measurements, a dynamic output–feedback tracking control together with decentralized adaptive laws is designed for each follower. At the same time, the stability of the tracking error system and the parameter convergence are analyzed with the help of a common Lyapunov function method. Some simulation results are presented to validate the proposed adaptive tracking control.     

Static output feedback control via PDE boundary and ODE measurements in linear cascaded ODE–beam systems

This paper addresses the problem of feedback control design for a class of linear cascaded ordinary differential equation (ODE)–partial differential equation (PDE) systems via a boundary interconnection, where the ODE system is linear time-invariant and the PDE system is described by an Euler–Bernoulli beam (EBB) equation with variable coefficients. The objective of this paper is to design a static output feedback (SOF) controller via EBB boundary and ODE measurements such that the resulting closed-loop cascaded system is exponentially stable. The Lyapunov’s direct method is employed to derive the stabilization condition for the cascaded ODE–beam system, which is provided in terms of a set of bilinear matrix inequalities (BMIs). Furthermore, in order to compute the gain matrices of SOF controllers, a two-step procedure is presented to solve the BMI feasibility problem via the existing linear matrix inequality (LMI) optimization techniques. Finally, the numerical simulation is given to illustrate the effectiveness of the proposed design method.     

Decentralized observers with consensus filters for distributed discrete-time linear systems

This paper presents a decentralized observer with a consensus filter for the state observation of discrete-time linear distributed systems. Each agent in the distributed system has an observer with a model of the plant that utilizes the set of locally available measurements, which may not make the full plant state detectable. This lack of detectability is overcome by utilizing a consensus filter that blends the state estimate of each agent with its neighbors’ estimates. It is proven that the state estimates of the proposed observer exponentially converge to the actual plant states under arbitrarily changing, but connected, communication and pseudo-connected sensing graph topologies. Except these connectivity properties, full knowledge of the sensing and communication graphs is not needed at the design time. As a byproduct, we obtained a result on the location of eigenvalues, i.e., the spectrum, of the Laplacian for a family of graphs with self-loops.     

Robust adaptive control of a thruster assisted position mooring system

In this paper, robust adaptive control is developed for a thruster assisted position mooring system in the transverse direction. To provide an accurate and concise representation for the dynamic behavior of the mooring system, the flexible mooring lines are modeled as a distributed parameter system of partial differential equations (PDEs). The proposed control is applied at the top boundary of the mooring lines for station keeping via Lyapunov’s direct method. Adaptive control is designed to handle the system parametric uncertainties. With the proposed robust adaptive control, uniform boundedness of the system under the ocean current disturbance is achieved. The proposed control is implementable with actual instrumentations since all the signals in the control can be measured by sensors or calculated by using a backward difference algorithm. The effectiveness of the proposed control is verified by numerical simulations.     

Adaptive output-feedback stabilization of non-local hyperbolic PDEs

We address the problem of adaptive output-feedback stabilization of general first-order hyperbolic partial integro-differential equations (PIDE). Such systems are also referred to as PDEs with non-local (in space) terms. We apply control at one boundary, take measurements on the other boundary, and allow the system’s functional coefficients to be unknown. To deal with the absence of both full-state measurement and parameter knowledge, we introduce a pre-transformation (which happens to be based on backstepping) of the system into an observer canonical form. In that form, the problem of adaptive observer design becomes tractable. Both the parameter estimator and the control law employ only the input and output signals (and their histories over one unit of time). Prior to presenting the adaptive design, we present the non-adaptive/baseline controller, which is novel in its own right and facilitates the understanding of the more complex, adaptive system. The parameter estimator is of the gradient type, based on a parametric model in the form of an integral equation relating delayed values of the input and output. For the closed-loop system we establish boundedness of all signals, pointwise in space and time, and convergence of the PDE state to zero pointwise in space. We illustrate our result with a simulation.     

A strengthened analysis of a local algorithm for the minimum dominating set problem in planar graphs

In recent years growing interest in local distributed algorithms has widely been observed. This results from their high resistance to errors and damage, as well as from their good performance, which is independent of the size of the network. A local deterministic distributed algorithm finding an approximation of a Minimum Dominating Set in planar graphs has been presented by Lenzen et al., and they proved that the algorithm returns a 130-approximation of the Minimum Dominating Set. In this article we will show that the algorithm is two times more effective than was previously assumed, and we prove that the algorithm by Lenzen et al. outputs a 52-approximation to a Minimum Dominating Set. Therefore the gap between the lower bound and the approximation ratio of the best yet local deterministic distributed algorithm is reduced by half.     

Detecting stable locality-aware predicates

In a large-scale locality-driven network such as in modular robotics and wireless sensor networks, knowing the state of a local area is sometimes necessary due to either interactions being local and driven by neighborhood proximity or the users being interested in the state of a certain region. We define locality-aware predicates (LAP) that aim at detecting a predicate within a specified area. We model the area of interest as the set of processes that are within a breadth-first search tree (BFST) of height k$k$ rooted at the initiator process. Although a locality-aware predicate specifies a predicate only within a local area, observing the area consistently requires considering the entire system in a consistent manner. This raises the challenge of making the complexities of the corresponding predicate detection algorithms scale-free, i.e., independent of the size of the system. Since all existing algorithms for getting a consistent view of the system require either a global snapshot of the entire system or vector clocks of the size of the system, a new solution is needed. We focus on stable LAP, which are those LAP that remain true once they become true. We propose a scale-free algorithm to detect stable LAP within a k$k$-height BFST. Our algorithm can detect both stable conjunctive LAP and stable relational LAP. In the process of designing our algorithm, we also propose the first distributed algorithm for building a BFST within an area of interest in a graph, and the first distributed algorithm for recording a consistent sub-cut within the area of interest. This paper demonstrates that LAPs are a natural fit for detecting distributed properties in large-scale distributed systems, and stable LAPs can be practically detected at low cost.     

A uniform approach for programming distributed heterogeneous computing systems

Large-scale compute clusters of heterogeneous nodes equipped with multi-core CPUs and GPUs are getting increasingly popular in the scientific community. However, such systems require a combination of different programming paradigms making application development very challenging.In this article we introduce libWater, a library-based extension of the OpenCL programming model that simplifies the development of heterogeneous distributed applications. libWater consists of a simple interface, which is a transparent abstraction of the underlying distributed architecture, offering advanced features such as inter-context and inter-node device synchronization. It provides a runtime system which tracks dependency information enforced by event synchronization to dynamically build a DAG of commands, on which we automatically apply two optimizations: collective communication pattern detection and device-host-device copy removal.We assess libWater’s performance in three compute clusters available from the Vienna Scientific Cluster, the Barcelona Supercomputing Center and the University of Innsbruck, demonstrating improved performance and scaling with different test applications and configurations.