Sökresultat

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

A distillation unit has been designed for a capacity of 73 t/h of condensate and for at least 90% recovery of the contaminating organics. This unit consists of three columns: a primary stripper to remove volatile organics and two upgrading columns to purify the methanol and furfural byproducts. Three different energy-saving alternatives for satisfying the energy requirements have been studied: ut

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

Background Ximelagatran is a novel, oral direct thrombin inhibitor under investigation as an alternative to warfarin for prevention of thromboembolism in patients with nonvalvular atrial fibrillation (AF). Two long-term studies in patients with AF and at least one additional risk factor for stroke are underway to compare the safety and efficacy of fixed-dose ximelagatran (36 mg bid) without coagu

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

In this paper, we consider robust stability analysis of large-scale sparsely interconnected uncertain systems. By modeling the interconnections among the subsystems with integral quadratic constraints, we show that robust stability analysis of such systems can be performed by solving a set of sparse linear matrix inequalities. We also show that a sparse formulation of the analysis problem is equiv

In embedded systems, the computing resources are often scarce and several control tasks may have to share the same computer. In this brief, we assume that a set of feedback controllers should be implemented on a single-CPU platform. We study the problem of optimal sampling period assignment, where the goal is to assign sampling rates to the controllers so that the overall control performance is ma

Recent papers have proposed to design scheduling algorithms entirely as discrete-time controllers, i.e., to refrain from preserving the already installed scheduler, and replace it completely. At the cost of some system re-design impact, this new approach has been proved to yield significant advantages in terms of code size and simplicity, and above all to open the way to a system-theoretical analy

Mobile robots and robotic manipulators have traditionally been used separately performing different types of tasks. For example, industrial robots have typically been programmed to follow trajectories using position sensors. If combining the two types of robots and adding sensors new possibilities emerge. This enables new applications, but it also raises the question of how to combine the sensors

In this paper we propose an autotuning method that combines a setup for decentralized relay autotuning of two-input two-output systems with an identification method that uses short experiments to estimate up to second-ordertime-delayed systems. A small modification of the experiment gives better low-frequency excitation and improved models. The method is successfully demonstrated in simulations an