Filetype
Recent findings indicate a strong correlation between the risk of future heart disease and the volume of adipose tissue inside of the pericardium. So far, large-scale studies have been hindered by the fact that manual delineation of the pericardium is extremely time-consuming and that existing methods for automatic delineation lack accuracy. An efficient and fully automatic approach to pericardium
Control theory is one of the key intellectual underpinnings that allows us to analyze the interaction of software with the physical world. However, control theory abstracts software actions as actions that take no time to execute. In reality, software execution takes time – and this execution time can be affected by a number of platform issues, including the speed of the processor, the scheduler u
We introduce a scalable observer architecture to estimate the states of a discrete-time linear-time-invariant (LTI) system whose sensors can be manipulated by an attacker. Given the maximum number of attacked sensors, we build on previous results on necessary and sufficient conditions for state estimation, and propose a novel multi-modal Luenberger (MML) observer based on efficient Satisfiability
In this paper two architectures for tunable duplexersare presented. The tuning is accomplished through variablecapacitance and resistance. The architectures are based on athree element series-parallel resonator, with one pass and onestop frequency. Both architectures rely on filtering as well ascancellation for good Tx to Rx isolation while maintaining lowinsertion loss. The first architecture, the
One of the most widely used strategies for visual object detection is based on exhaustive spatial hypothesis search. While methods like sliding windows have been successful and effective for many years, they are still brute-force, independent of the image content and the visual category being searched. In this paper we present principled sequential models that accumulate evidence collected at a sm
The emergence of modern, affordable and accurate RGB-D sensors increases the need for single view approaches to estimate 3-dimensional motion, also known as scene flow. In this paper we propose a coarse-to-fine, dense, correspondence-based scene flow formulation that relies on explicit geometric reasoning to account for the effects of large displacements and to model occlusion. Our methodology enf
Many standard optimization methods for segmentation and reconstruction compute ML model estimates for ap- pearance or geometry of segments, e.g. Zhu-Yuille [23], Torr [20], Chan-Vese [6], GrabCut [18], Delong et al. [8]. We observe that the standard likelihood term in these formu- lations corresponds to a generalized probabilistic K-means energy. In learning it is well known that this energy has a
We formulate two simple benchmark problems for event-based control, where the optimal solutions in the continuous-time setting turn out to be ordinary PI and PID controllers. The benchmarks can be used to compare the performance of continuous-time, discrete-time, and various event-based controllers with regard to for instance disturbance attenuation, control effort, and average sampling or actuati
We consider a type of optimal switching problems with non-uniform execution delays and ramping. Such problems frequently occur in the operation of economical and engineering systems. We first provide a solution to the problem by applying a probabilistic method. The main contribution is, however, a scheme for approximating the optimal control by limiting the information in the state-feedback. In a
In the day-to-day operation of a power system, the system operator repeatedly solves short-term generation planning problems. When formulating these problems the operators have to weigh the risk of costly failures against increased production costs. The resulting problems are often high-dimensional and various approximations have been suggested in the literature. In this article we formulate the
Perturbation problems for operators with embedded eigenvalues are generally challenging since the embedded eigenvalues cannot be separated from the rest of the spectrum. In this paper, we study a perturbation problem for embedded eigenvalues for a magnetic Schrödinger operator, when the underlying domain is a cylinder. The magnetic potential is C2 with an algebraic decay rate as the unbounded vari
A method for interpolation of multicomponent streamer data based on using the local directionality structure is presented. The derivative components are used to estimate a vector field that locally describes the direction with the least variability. Given this vector field, the interpolation can be phrased in terms of the solution of a partial differential equation that describes how energy is tra
Future manufacturing systems need to be more flexible, to embrace tougher and constantly changing market demands. They also need to make better use of plant data, ideally utilizing all data from the entire plant. Low-level data should be refined to real-time information for decision making, to facilitate competitiveness through informed and timely decisions. The Line Information System Architectur
The Integral Quadratic Constraint (IQC) framework developed by Professor Yakubovich and his co-workers, see Yakubovich et.al. (2004), is one of few available constructive tools for establishing robust stability of nonlinear systems. An explicit format of stability conditions, procedures for computing a Lyapunov function and developed libraries IQCs for common nonlinearities in dynamics, all togeth
An extended Kalman-Yakubovich-Popov Lemma for positive systems is proved, which generalizes earlier versions in several respects: Non-strict inequalities are treated. Matrix assumptions are less restrictive. Moreover, a new equivalence is introduced in terms of linear programming rather than semi-definite programming. As a complement, we also prove that a symmetric Metzler matrix with rn non-zero
Control applications contain both logic, sequencing, and control algorithms. A holistic view of this is seldom presented in teaching and papers. One reason is the separation of communities -- automation groups typically come from the Programmable Logic Controller (PLC) world while control engineers primarily come from the Distributed Control System (DCS) world. Both logic, sequencing, and control
A robotic assembly task is usually implemented as a sequence of simple motions, and the transitions between the motions are made when some events occur. These events can usually be detected with thresholds on some signal, but faster response is possible by detecting the transient on that signal. This paper considers the problem of detecting these transients. A force-controlled assembly task is use
The vehicle-estimation problem is approached by fusing measurements from wheel encoders, an inertial measurement unit, and (optionally) a global positioning system in a Rao-Blackwellized particle filter. In total 14 states are estimated, including key variables in active safety systems, such as longitudinal velocity, roll angle, and wheel slip for all four wheels. The method only relies on kinemat
Embedded real-time systems must meet timing constraints while minimizing energy consumption. To this end, many energy optimizations are introduced for specific platforms or specific applications. These solutions are not portable, however, and when the application or the platform change, these solutions must be redesigned. Portable techniques are hard to develop due to the varying tradeoffs experie
