Search results

We consider an optimization problem of joint link rate assignment and transmission scheduling in wireless mesh networks. We assume that each radio link uses (when active) one selected link-dependent modulation and coding scheme. For finding an exact optimum, the problem requires a complicated branch-and-price algorithm that becomes excessively time consuming for networks of practical size. Therefo

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

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

Context: The authors wanted to assess whether the quality of published human-centric software engineering experiments was improving. This required a reliable means of assessing the quality of such experiments. Aims: The aims of the study were to confirm the usability of a quality evaluation checklist, determine how many reviewers were needed per paper that reports an experiment, and specify an ap

Execution trace graph analysis of dataflow programs has been demonstrated to be an effective way for exploring and optimizing the design space of many core applications. In this work a novel transformation from the execution trace graph to an event driven linear system is proposed. It is also illustrated how the trace space of can be effectively reduced and well known system control techniques can

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 highlights the issues of detecting Java concurrency bugs using static code analysis tools. Concurrency bugs are often hard to find because of interleaving threads and there is need to use static analysis tools to detect the concurrency bugs. In the literature review, we established that there are number of static analysis tools such as FindBugs, JLint and Chord, used in experiments to d

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

This paper presents the hardware implementation of a wavelet based event detector for cardiac pacemakers. A high level energy estimation flow was applied to evaluate energy efficiency of standard-cell based designs, over several CMOS technology generations, from 180 to 65 nm, operated in the sub-threshold domain. The simulation results indicate a 65 nm low-leakage high-threshold (LL-HVT) CMOS tech

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