Filtyp
This thesis presents models and methods for feedback-based resource management for cyber-physical systems. Common for the scenarios considered are severe resource constraints, uncertain and time-varying conditions and the goal of enabling flexibility in systems design rather than restricting it. A brief survey on reservation-based scheduling, an important enabling technology for this thesis, is pr
This paper explores a formally grounded ap- proach to solve the problem of dynamic binding in service- oriented software architecture. Dynamic binding is a widely adopted mean to automatically bind exposed software interfaces to actual implementations. The execution of an operation on one or another implementation, though providing the same result, could turn out in different quality of service, e
Based on previous results on linear predictors and Kalman filter, this paper will formulate multi-step-ahead multi-variate predictors for application in multi-step-ahead predictive control.
In embedded real-time systems, task priorities are often assigned to meet deadlines. However, in control tasks, a late completion of a task has no catastrophic consequence. Rather, it has a quantifiable impact in the control performance achieved by the task. In this paper, we address the problem of determining the optimal assignment of priorities and periods of sampled-data control tasks that run
Autonomic computing systems are capable of adapting their behavior and resources thousands of times a second to automatically decide the best way to accomplish a given goal despite changing environmental conditions and demands. Different decision mechanisms are considered in the literature, but in the vast majority of the cases a single technique is applied to a given instance of the problem. This
While good physiological models of the glucose metabolism in type 1 diabetic patients are well known, their parameterisation is difficult. The high intra-patient variability observed is a further major obstacle. This holds for data-based models too, so that no good patient-specific models are available. Against this background, this paper proposes the use of interval models to cover the different
This paper addresses the out-of-sequence measurement (OOSM) problem for mixed linear/nonlinear state-space models, which is a class of nonlinear models with a tractable, conditionally linear substructure. We develop two novel algorithms that utilize the linear substructure. The first algorithm effectively employs the Rao-Blackwellized particle filtering framework for updating with the OOSMs, and i
We consider the problem of reliable communication over multiple-access channels (MAC) where the channel is driven by an independent and identically distributed state process and the encoders and the decoder are provided with various degrees of asymmetric (noisy or partial) channel state information (CSI). Namely, we provide a single letter characterization for the capacity region when the encoders
Stability of Wardrop equilibria is analyzed for dynamical transportation networks in which the drivers' route choices are influenced by information at multiple temporal and spatial scales. The considered model involves a continuum of nonatomic indistinguishable drivers commuting between a common origin-destination pair in an acyclic transportation network. The drivers' route choices are affected b
Lately, much work in the area of voltage stability assessment has been focused on finding post-contingency corrective controls. In this article a contribution to this area will be presented where we investigate the surface of maximal loadability while allowing for post-contingency corrective controls. This objective is different from the usual, where the aim is to include the post-contingency cont
In this paper we consider the classical problem of finding a low rank approximation of a given matrix. In a least squares sense a closed form solution is available via factorization. However, with additional constraints, or in the presence of missing data, the problem becomes much more difficult. In this paper we show how to efficiently compute the convex envelopes of a class of rank minimization
This paper discusses the significance of physical models in engineering education. Obvious assets, drawbacks and the educational role of such models are discussed, and the idea of 'open physical models' is introduced. A couple of sophisticated open physical models (an unmanned rotorcraft and an inverted pendulum robot), used in control engineering courses, are presented. Basic ideas and concepts,
We propose a structure and motion estimation scheme based on a dynamic systems approach, where states and parameters in a perspective system are estimated. An online method for structure and motion estimation in densely sampled image sequences is presented. The proposed method is based on an extended Kalman filter and a novel parametrization. We derive a dynamic system describing the motion of the
A process industrial site may consist of several production areas, some producing intermediate products for further refinement in other areas, and some producing end products. The areas may share the same utilities, such as steam and cooling water, which means that the areas could be connected both by the flow of products through the site and by the use of the same utilities. Management of utility
This paper presents a novel control architecture for enhanced operator awareness and improved safety in telesurgical systems. We introduce an intermediate layer between the master and slave sides which allows us to modify the slave motion for safety and the force feedback for operator awareness. The intermediate layer is then designed with a performance objective for the specific task at hand. The
Classical control theory does not scale well for large systems such as power networks, traffic networks and chemical reaction networks. However, many such applications in science and engineering can be efficiently modeled using the concept of positive systems and the nonlinear counterpart monotone systems. It is therefore of great interest to see how such models can be used for control. This paper
The traditional way of controlling an industrial robot is to program it to follow desired trajectories. This approach is sufficient as long as the accuracy of the robot and the calibration of the workcell is good enough. In robotic assembly these conditions are usually not fulfilled, because of uncertainties, e.g., variability in involved parts and objects not gripped accurately. Using force contr
A mathematical model of spit growth and barrier elongation adjacent to an inlet (of arbitrary width), supplied by sediment coming from longshore sediment transport, was developed based on the spit growth model proposed by Kraus (1999). The fundamental governing equation is the conservation equation for sand, where the width of the spit is assumed constant during growth. The portion of the longshor
