Search results

Many cyber-physical systems comprise several control applications sharing communication and computation resources. The design of such systems requires special attention due to the complex timing behavior that can lead to poor control quality or even instability. The two main requirements of control applications are: (1) robustness and, in particular, stability and (2) high control quality. Althoug

Semantic segmentation and object detection are nowadays dominated by methods operating on regions obtained as a result of a bottom-up grouping process (segmentation) but use feature extractors developed for recognition on fixed-form (e.g. rectangular) patches, with full images as a special case. This is most likely suboptimal. In this paper we focus on feature extraction and description over free-

Many embedded systems comprise several controllers sharing available resources. It is well known that such resource sharing leads to complex timing behavior that degrades the quality of control, and more importantly, can jeopardize stability in the worst-case, if not properly taken into account during design. Although stability of the control applications is absolutely essential, a design flow dri

We consider the problem of trajectory generation for time-optimal path tracking for the class of pseudo-omnidirectional mobile robots. An Euler-Lagrange model of the robot dynamics is derived, and by writing it on special form a convex reformulation of the path-tracking problem can be utilized. This enables the use and regeneration of time-optimal trajectories during runtime. The proposed approach

We consider robust output feedback distributed model predictive control (DMPC). The proposed controller is based on the results in [8] in which nominal stability and feasibility was proven for a DMPC-formulation without terminal constraint set or terminal cost in the optimization. We extend these results to show robust stability under state feedback as well as output feedback when dynamics and mea

Current market trends for industrial automation are the need for customizable production, shorter time to market, and powerful global competitive pressure. Based on these trends two challenges have been identified: 1) flexible production systems and 2) integration and utilization of devices and software. Applications from both process automation, manufacturing, and robotics have been considered.

An approach for merging statically schedulable subr egions in dataflow models is pr esented. The approach combines abstr act int erpr etation, loop analysis, and static scheduling of cyclo-static dataflow networ ks. The approach has been implemented in a Java-based tool that per forms automatic classification of dataflow act or s, generat ion of stat ic schedules using constr aint programming, and

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 this paper we consider the problem of outlier removal for large scale multiview reconstruction problems. An efficient and very popular method for this task is RANSAC. However, as RANSAC only works on a subset of the images, mismatches in longer point tracks may go ndetected. To deal with this problem we would like to have, as a post processing step to RANSAC, a method that works on the entire (

This thesis explores methods for solving the structure-and-motion problem in computer vision, the recovery of three-dimensional data from a series of two-dimensional image projections. The first paper investigates an alternative state space parametrization for use with the Kalman filter approach to simultaneous localization and mapping, and shows it has superior convergence properties compared wit

Climate warming is expected to alter hydropower generation in California through affecting the annual stream-flow regimes and reducing snowpack. On the other hand, increased temperatures are expected to increase hydropower demand for cooling in warm periods while decreasing demand for heating in winter, subsequently altering the annual hydropower pricing patterns. The resulting variations in hydro

Embedded systems often operate in so variable con- ditions that design can only be carried out for some worst-case scenario. This leads to over-provisioned resources, and undue power consumption. Feedback control is an effective (and not yet fully explored) way to tailor resource usage online, thereby making the system behave and consume as if it was optimized for each specific utilization case. A

This report addresses the related problems of trajectory generation and time-optimal path tracking with online obstacle avoidance. We consider the class of four-wheeled vehicles with independent steering and driving on each wheel, also referred to as pseudo-omnidirectional vehicles. Appropriate approximations of the dynamic model enable a convex reformulation of the path-tracking problem. Using th

A novel integrated approach to high-accuracy machining with industrial robots is presented in this paper. By combining a conventional industrial robot with an external compensation mechanism, a significantly higher bandwidth of the control of the relative position between the tool and the workpiece can be achieved. A model-based feedback controller for the compensation mechanism, as well as a mid-