Filetype
We consider the problem of network formation in a distributed fashion. Network formation is modeled as a strategic-form game, where agents represent nodes that form and sever unidirectional links with other nodes and derive utilities from these links. Furthermore, agents can form links only with a limited set of neighbors. Agents trade off the benefit from links, which is determined by a distance-
A key component in successfully managing software products is to properly, and in a timely manner, identify and secure competitive advantage by innovation via feature differentiation. Although open source software (OSS) is not a new idea, several product development companies that operate in a market-driven context have started to use open source solutions as core software components in their prod
Modern industrial robots are traditionally programmed to follow desired trajectories, with the only feedback coming from the internal position/angle sensors in the joints. The robots are in general very accurate in tracking the desired motion, and they have become indispensable in many applications, such as spot welding and painting in the automotive industry. In more complex tasks, such as physic
This paper presents a mathematical approach and numerical model that simulates beach and dune change in response to cross-shore processes of dune growth by wind and dune erosion by storms, and by gradients in longshore sand transport that will alter shoreline position. Sub-aerial transport processes are represented, whereas sub-aqueous transport is neglected. The system is tightly coupled morpholo
In this paper a controller reduction method which preserves closed loop stability is described. A Lyapunov inequality based sufficient condition is proposed in the search of the reduced controller. The reduced controller leads to a stable closed loop system with guaranteed approximation quality. Furthermore, the proposed problem can be formulated as a matrix approximation problem which can be solv
Wave damping in vegetation in shallow lakes reduces resuspension and thereby improves the light climate and decreases nutrient recycling. In this study, wave transformation in reed (Phragmites australis) was measured in a shallow lake. Theoretical models of wave height decay, based on linear wave theory, and transformation of the probability density function (PDF), using a wave-by-wave approach, w
A widespread and flexible use of robots in rapidly changing working environments could be greatly enhanced by human-robot interaction and collaboration. Humans and robots have complementary skills. The robotic worker can relieve the human from repetitive work, and the human can make robot deployment easier by managing nonstandard or particularly skilful operations. Such a scenario, however, requir
Composition is a practice of key importance in software engineering. When real-time applications are composed, it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface typically contains information about the amount of computing capacity
It has long been recognized that one of the fundamental difficulties in the estimation of two-view epipolar geometry is the capability of handling outliers. In this paper, we develop a fast and tractable algorithm that maximizes the number of inliers under the assumption of a purely translating camera. Compared to classical random sampling methods, our approach is guaranteed to compute the optimal
We consider model predictive control (MPC) problems with linear dynamics, polytopic constraints, and quadratic objective. The resulting optimization problem is solved by applying an accelerated gradient method to the dual problem. The focus of this paper is to provide bounds on the number of iterations needed in the algorithm to guarantee a prespecified accuracy of the dual function value and the
This manuscript proposes a novel viewpoint on computing systems' modelling. The classical approach is to consider fully functional systems and model them, aiming at closing some external loops to optimise their behaviour. On the contrary, we only model strictly physical phenomena, and realise the rest of the system as a set of controllers. Such an approach permits rigorous assessment of the obtain
Adaptive reservation is a real-time scheduling technique in which each application is associated a fraction of the computational resource (a reservation) that can be dynamically adapted to the varying requirements of the application by using appropriate feedback control algorithms. An adaptive reservation is typically implemented by using an aperiodic server (e.g. sporadic server) algorithm with f
A parametrized model in addition to the control and state-space variables depends on time-independent design parameters, which essentially define a family of models. The goal of parametrized model reduction is to approximate this family of models. In this paper, a reduction method for linear time-invariant (LTI) parametrized models is presented, which constitutes the development of a recently prop
Efficient unit propagation for clausal constraints is a core building block of conflict-driven clause learning (CDCL) Boolean satisfiability (SAT) and lazy clause generation constraint programming (CP) solvers. Conflict-driven pseudo-Boolean (PB) solvers extend the CDCL paradigm from clausal constraints to integer linear constraints, also known as (linear) PB constraints. For PB solvers, many diff
Information technology is a vital driver in today’s business environment. Recent developments of IT have facilitated for the relatively easy creation of markets on the Internet, so called B2B-marketplaces. However, judging from the survival rate of B2B-marketplaces (5 to 10 per cent), it seems like B2B-marketplaces are doing something wrong. This paper scrutinises several theoretical frameworks re
In this paper, a low-complexity resistorless high-precision sub-1 V MOSFET-only voltage reference is presented. To obtain an accurate output, a curvature-compensation technique is used, canceling its logarithmic temperature dependence regardless of the value of the mobility temperature exponent (γ). The circuit is realized in 65 nm CMOS technology and yields an output voltage of 574 mV, a temperat
