Sökresultat

The welding procedure to seal copper canisters requires variable power input throughout the 45 minute long weld cycle to keep the probe temperature within the process window. By using a cascaded loop that determines the power input requirement, the controller will not be dependent on repeatability in the necessary power input between weld cycles, and the lag time in the probe temperature measureme

The equation-based Modelica language allows the modeller to specify custom functions. The body of a function is an algorithm that contains procedural code to be executed when the function is called. This language feature is useful for many applications; however, the insertion of a function often prevent model optimizations that require the model to be formulated in purely declarative form by equat

We present a decomposition approach to a class of social welfare optimization problems for optimal power flow in multi-region electricity networks. The electricity network is decomposed into multiple regions which decide independently over the amount of power produced within the region and exchanged with neighboring regions. We decompose the overall power flow (or social welfare) optimization into

Control-Based Operating System Design describes the application of system- and control-theoretical methods to the design of computer operating system components. It argues that computer operating system components should not be first “designed" and then “endowed with control", but rather conceived from the outset as controllers, synthesised and assessed in the system-theoretical world of dynamic m

With the advent of massive online encyclopedic corpora such as Wikipedia, it has become possible to apply a systematic analysis to a wide range of documents covering a significant part of human knowledge. Using semantic parsers, it has become possible to extract such knowledge in the form of propositions (predicate―argument structures) and build large proposition databases from these documents. Th

To improve traffic safety it is important to evaluate the safety of roads and intersections. Today this requires a large amount of manual labor so an automated system using cameras would be very beneficial. We focus on the geometric part of the problem, that is, how to get accurate three-dimensional data from images of a road or an intersection. This is essential in order to correctly identify dif

Utilities, such as steam and cooling water, are often shared between several production areas at industrial sites, and the effects of disturbances in utilities could thus be hard to predict. In addition, production areas could be connected because of the product flow at the site. This paper introduces a simple modeling approach for modeling the relation between utility operation and production. Us

The general aim of this thesis was to study how memorial places and objects serve as links and meeting points between the bereaved and their conceptions and memories of the departed. This has been examined in several different ways, from various viewpoints, and placed in different contexts and periods in time. The general result is that there are several and complementary ways through which materi

The paper presents a CPS-oriented course that integrates control theory and embedded computing. The course combines concurrent real-time programming and analysis with discrete-time sampled control theory and real-time networking. The contents of course, including the course projects are described in the paper as well as the experiences with the course.

This paper considers switching output feedback control of linear systems and variable structure systems. Theory for stability analysis and design for a class of observer-based feedback control systems is presented. A circle-criterion approach can be used to design an observer-based state feedback control which yields a closed-loop system with specified robustness characteristics. The approach is r

An algorithm based on embedding phase space signal was developed by the authors in previous works. The algorithm detects the characteristic points of the waves of a multilead electroacardiogram (ECG). In the present work, the parameters of this algorithm are optimized to improve its performance. The algorithm uses 2 configurable parameters to obtain the phase spacethe dimension of the phase space

Classifying images of HEp-2 cells from indirect immunofluorescence has important clinical applications. We have developed an automatic method based on random forests that classifies an HEp-2 cell image into one of six classes. The method is applied to the data set of the ICPR 2012 contest. The previously obtained best accuracy is 79.3% for this data set, whereas we obtain an accuracy of 97.4%. The

Outliers pose a problem in all real structure from motion systems. Due to the use of automatic matching methods one has to expect that a (sometimes very large) portion of the detected correspondences can be incorrect. In this paper we propose a method that estimates the relative translation between two cameras and simultaneously maximizes the number of inlier correspondences. Traditionally, outlie

We investigate methods for detection of rapid workload increases (load spikes) for cloud workloads. Such rapid and unexpected workload spikes are a main cause for poor performance or even crashing applications as the allocated cloud resources become insufficient. To detect the spikes early is fundamental to perform corrective management actions, like allocating additional resources, before the spi

The number of applications in computer vision that model higher-order interactions has exploded over the last few years. The standard technique for solving such problems is to reduce the higher-order objective function to a quadratic pseudo-boolean function, and then use roof duality for obtaining a lower bound. Roof duality works by constructing the tightest possible lower-bounding submodular fun