Search results

A general framework for the study of robust synchronisation in large-scale networks is provided. Agents are represented as a common nominal linear time-invariant (LTI) single-input-single-output (SISO) system with simple poles on the imaginary axis, subject to LTI SISO stable multiplicative perturbations. The agents exchange information in order to achieve output-synchronisation, namely steer thei

Although the research on the design of heterogeneous concurrent systems has a long and rich history, a unified design methodology and tool support have not emerged so far. Therefore, the creation of such systems remains a difficult, time-consuming and error-prone process. The absence of principled support for system evaluation and optimization at high level of abstraction makes the quality of the

Production plants need to be set up and reconfigured faster to fulfill increasing market demands. Highly flexible automation systems are needed and a promising approach is Service Oriented Architecture (SOA) which has recently received much attention in both academia and industry. OPC Unified Architecture (OPC UA), the next generation of the de facto standard for interoperability in the automation

Embedded systems are becoming increasingly complex. At the same time, the components that make up the system grow more uncertain in their properties. For example, current developments in CPU design focuses on optimizing for average performance rather than better worst case performance. This, combined with presence of 3rd party software components with unknown properties, makes resource management

Theory for Distributed Model Predictive Control (DMPC) is developed based on dual decomposition of the convex optimization problem that is solved in each time sample. The process to be controlled is an interconnection of several subsystems, where each subsystem corresponds to a node in a graph. We present a stopping criterion for the DMPC scheme that can be locally verified by each node and that g

We approach the simultaneous localization and mapping problem by using an ultrasound sensor and wheel encoders on a mobile robot. The measurements are modeled to yield a conditionally linear model for all the map states. Moreover, we implement a Rao-Blackwellized particle smoother (RBPS) for jointly estimating the position of the robot and the map. The method is applied and successfully verified b

Parallel robots are generally said to be more accurate but to have a smaller workspace compared to serial robots. With the Gantry-Tau robot, a parallel robot with a large, reconfigurable workspace was presented. This article tries to identify the maximum achievable end-effector positioning accuracy of the Gantry-Tau robot. To this end, a couple of new kinematic error models are presented and evalu

A resource management framework for media applications modelled as dataflow streams is described. The framework is aimed at multi-core applications and the main resource managed is the CPU time. The management is implemented using reservation-based scheduling in combination with optimization and feedback. Experiences of applying the framework to media applications are reported. A simulation model

During the recent years, researchers in control engineering have proposed more resource-efficient control strategies than the traditional periodic control paradigm, resulting in two main control approaches: event-based and self-triggered control. Such nonperiodic, state-based control methods, although subject to many open research problems, can provide similar control performance as periodic contr

Using a simulated model of a house consisting of two adjacent rooms, the temperature of the two rooms is controlled with a PI controller and a decoupled PI controller. This is compared to MPC control. In the simulation example here, both the MPC controller and the decoupled PI controller decreased the interaction between the temperature dynamics of the two rooms, as compared to an independent PI c

Cloud computing technology provides the means to share physical resources among multiple users and data center tenants by exposing them as virtual resources. There is a strong industrial drive to use similar technology and concepts to provide timing sensitive services. One such domain is a chain of connected virtual network functions. This allows the capacity of each function to be scaled up and d

Common harmonic oscillator topologies, such as class-B and class-C, are typically unable to meet ultra stringent phase noise requirements, due to the exceedingly large capacitance (and, symmetrically, low inductance) that would be required in the parallel resonator. In this paper, we show that an oscillator making use of series resonators is ideally able to overcome this limitation, with the addit

There is a strong industrial drive to use cloud computing technologies and concepts for providing timing sensitive services in the networking domain since it would provide the means to share the physical resources among multiple users and thus increase the elasticity and reduce the costs. In this work, we develop a mathematical model for user-stateless virtual network functions forming a forwardin

Cloud computing technology provides the means to share physical resources among multiple users and data center ten- ants by exposing them as virtual resources. There is a strong industrial drive to use similar technology and concepts to provide timing sensitive services. One such is virtual net- working services, so called services chains, which consist of several interconnected virtual network fu