Sökresultat

An adaptive resource management system combined with a thermal controller is presented. The aim of the system is to dynamically allocate computing resources to applications competing for the same computing resources in such a way that the system is not overheated. The approach has been implemented on a mobile robot. Experimental results are presented showing the feasibility of the approach.

Cloud computing is an application hosting model providing the illusion of infinite computing power. However, even the largest datacenters have finite computing capacity, thus cloud infrastructures have experienced overload due to overbooking or transient failures. The topic of this paper is the comparison of different control strategies to mitigate overload for datacenters, that assume that the r

The Modelica language, targeted at modeling of complex physical systems, has gained increased attention during the last decade. Modelica is about to establish itself as a de facto standard in the modeling community with strong support both within academia and industry. While there are several tools, both commercial and free, supporting simulation of Modelica models few efforts have been made in th

Turbines operating in wind farms are coupled by the wind flow. This coupling results in limited power production and increased fatigue loads on turbines operating in the wake of other turbines. To operate wind farms cost effectively, it is important to understand and address these effects. In this paper, we derive a stationary model for turbine interaction. The model has a simple intuitive structu

We consider a class of large scale linear-quadratic coordination problems where the information exchange is subject to a time-delay. We show that several previously known properties of the optimal solution to the delay-free problem extend to this case. In particular, the optimal control law comprises a diagonal (decentralized) term complemented by a rank-one coordination term, which can be impleme

The COST2100 channel model is a reference channel model which provides dynamic multiple-input multiple-output channel responses for radio system simulations. In this paper, channels created by the COST2100 model were compared to channel measurements in order to understand behaviours of the model. Model parameters of the COST2100 model were derived by dynamic double-directional channel measurements

A Vernier Gate-Ring-Oscillator (GRO) Time to Digital Converter (TDC) is proposed and implemented in 90-nm CMOS process technology. It utilizes two GRO chains as the delay lines. The time resolution is determined by the difference between two delays, so not limited by the process. Moreover, the quantization noise can be first-order shaped by the gated behavior in the oscillators, which further impr

The increase in demand for high-data rates on the move in the complex urbanenvironment requires either the allocation of new spectrum such as availablecontiguous spectrum in the mm-wave band or the use of novel configurationssuch as the application of massive multiple-input multiple-output (MIMO)technology. To enable the design of efficient wireless networks, an understandingof the propagation phe

This deliverable presents channel measurement results for the scenariosOpen exhibition and Crowded auditiorium. The measurement procedureand equipment are described. Massive MIMO (MaMi) channel characteristicsand key parameters are extracted and used in an extended COST 2100channel model for MaMi. The initial validation performed shows that themodel is capable of reproducing the statistics in term

Temporal logics have proven effective for correct-by-construction synthesis of controllers for a wide range of robotic applications. Receding horizon frameworks mitigate the computational intractability of reactive synthesis for temporal logic, but have thus far been limited by pursuing a single sequence of short horizon problems to the goal. We propose a receding horizon algorithm for reactive sy

Correct-by-construction synthesis of high-level reactive control relies on the use of formal methods to generate controllers with provable guarantees on their behavior. While this approach has been successfully applied to a wide range of systems and environments, it scales poorly. A receding horizon framework mitigates this computational blowup, by decomposing the global control problem into sever

We study the use of the System Optimum (SO) Dynamic Traffic Assignment (DTA) problem to design optimal traffic flow controls for freeway networks as modeled by the Cell Transmission Model, using variable speed limit, ramp metering, and routing. We consider two optimal control problems: the DTA problem, where turning ratios are part of the control inputs, and the Freeway Network Control (FNC), wher

Distributed averaging is one of the simplest and most widely studied network dynamics. Its applications range from cooperative inference in sensor networks, to robot formation, to opinion dynamics. A number of fundamental results and examples scattered through the literature are gathered here and some original approaches and generalizations are presented, emphasizing the deep interplay between the

We study System Optimum Dynamic Traffic Assignment (SO-DTA) for realistic traffic dynamics controlled by variable speed limits, ramp metering, and routing controls. We consider continuous-time cell-based Dynamic Network Loading models that include as special cases the Cell Transmission Model (CTM) with FIFO rule at the diverge junctions as well as non-FIFO diverge rules. While a straightforward co

Many notions of network centrality can be formulated in terms of invariant probability vectors of suitably defined stochastic matrices encoding the network structure. Analogously, invariant probability vectors of stochastic matrices allow one to characterize the asymptotic behavior of many linear network dynamics, e.g., arising in opinion dynamics in social networks as well as in distributed avera