Filtyp
We study a linear quadratic control problem for transportation optimization on a directed line graph. We show that the solution to the Riccati equation associated with this problem is highly structured. The feedback law is almost upper triangular, and the synthesis of the feedback law is given by a recursion, making it scalable. The structure of the feedback law also allows for an efficient realiz
Extreme winter events that damage vegetation are considered an important climatic cause of arctic browning - a reversal of the greening trend of the region - and possibly reduce the carbon uptake of northern ecosystems. Confirmation of a reduction in CO2 uptake due to winter damage, however, remains elusive due to a lack of flux measurements from affected ecosystems. In this study, we report eddy
Modern El Niño-Southern Oscillation (ENSO) events are characterized by their phase locking of variability to the seasonal cycle and tend to peak at the end of calendar year. Here, we show that in an idealized NCAR-CCSM3 simulation of the climate of the last 300,000 years, ENSO seasonal phase locking is shifted periodically following the precessional forcing: ENSO tends to peak in boreal winter whe
Cloud computing provides the illusion of infinite capacity to application developers. However, data center provisioning is complex and it is still necessary to handle the risk of capacity shortages. To handle capacity shortages, graceful degradation techniques sacrifice user experience for predictability. In all these cases, the decision making policy that determines the degradation interferes wit
The VIVE lighthouse system is evaluated for indoor positioning of micro unmanned aerialcvehicles (MUAVs). A detailed mathematical analysis is provided, including a Cramer-Raocbound derivation and performance analysis of the MUAV state estimate. The lighthousecmeasurements are fused with inertial measurements in a multiplicative extended Kalmanfilter (MEKF). We consider two implementations, one wit
Autonomous vehicle functions in safety-critical situations show promise in reducing the risk and saving lives in accidents compared to existing safety systems. Consequently, it is from many perspectives advantageous to be able to quantify the potential benefits of new autonomous systems for vehicle maneuvers at-the-limit of tire friction. Here, to estimate the potential in terms of saved lives and
The eutrophication problems in lakes on the Yangtze Plain of China have attracted global concern. However, a comprehensive assessment of the eutrophication status and its evolution is still lacking for these regional lakes, mostly because of technical difficulties and/or insufficient data to cover the large region. Our study attempts to fill this knowledge gap by using the entire archive of remote
The paper focuses on analysis of macro‐ and micromorphological characteristics of relict slope deposits in Serra da Estrela (Portugal) to understand the significance of different slope processes and paleoenvironmental settings. Micromorphology is a useful sedimentology technique allowing significant advances compared to macroscopic techniques. Results show that different processes are involved in
We present a method for solving the general mixed constrained convex quadratic programming problem using an active set method on the dual problem. The approach is similar to existing active set methods, but we present a new way of solving the linear systems arising in the algorithm. There are two main contributions; we present a new way of factorizing the linear systems, and show how iterative ref
An extended Kalman-Yakubovich-Popov (KYP) Lemma for positive systems is derived. The main difference compared to earlier versions is that non-strict inequalities are treated. Matrix assumptions are also less restrictive. Moreover, a new equivalence is introduced in terms of linear programming rather than semi-definite programming. As a complement to the KYP lemma, it is also proved that a symmetri
As farms are getting bigger with more animals, less manual supervision and attention can be given the animals on both group and individual level. In order not to jeopardize animal welfare, automated supervision is in some way already in use. Function and control of ventilation is already in use in modern pig stables, e.g. by the use of sensors for temperature, relative humidity and malfunction con
This paper describes a knowledge integration framework for robotics, whose goal is to represent, store, adapt, and distribute knowledge across engineering platforms. The architecture abstracts the components as data sources, where data are available in the AutomationML data exchange format. AutomationML is an on-going standard initiative that aims at unifying data representation and APIs used by e
In this paper a distributed version of the Kalman filter is proposed. In particular, the estimation problem is reduced to the optimization of a cost function that depends on the system dynamics and the latest output measurements and state estimates which is distributed among the agents by means of dual decomposition. The techniques presented in the paper are applied to estimate the position of mob
Program parallelization becomes increasingly important when new multi-core architectures provide ways to improve performance. One of the greatest challenges of this development lies in programming parallel applications. Declarative languages, such as constraint programming, can make the transition to parallelism easier by hiding the parallelization details in a framework. Automatic parallelizatio
We consider a class of distributed algorithms for computing arithmetic averages (average consensus) over net- works of agents connected through digital noisy broadcast channels. Our algorithms combine error-correcting codes with the classical linear consensus iterative algorithm, and do not require the agents to have knowledge of the global network structure. We improve the performance by introduc
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
