Filetype
A simple form for the optimal H-infinity state feedback of linear time-invariant infinite-dimensional systems is derived. It is applicable to systems with bounded input and output operators and a closed, densely defined, self-adjoint and strictly negative state operator. However, unlike other state-space algorithms, the optimal control is calculated in one step. Furthermore, a closed-form expressi
Time synchronization is crucial for wireless sensor networks (WSNs), where operations often rely on time ordering of events. WSNs are deployed in different scenarios, and therefore their timing requirements are often related to the peculiar characteristics of the specific environment they have to act in. Synchronization is anyway always an issue: transactional applications need monotonicity of the
A linear parameter-varying (LPV) spectral decomposition method, based on least-squares estimation and kernel expansions, is developed. Statistical properties of the estimator are analyzed and verified in simulations. The method is linear in the parameters, applicable to both the analysis and modeling problems and is demonstrated on both simulated signals as well as measurements of the torq
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
We study a linear quadratic control problem for transportation optimization on a directed line graph. We show that the solution to the Riccati equation associated with this problem is highly structured. The feedback law is almost upper triangular, and the synthesis of the feedback law is given by a recursion, making it scalable. The structure of the feedback law also allows for an efficient realiz
Cloud computing provides the illusion of infinite capacity to application developers. However, data center provisioning is complex and it is still necessary to handle the risk of capacity shortages. To handle capacity shortages, graceful degradation techniques sacrifice user experience for predictability. In all these cases, the decision making policy that determines the degradation interferes wit
This paper presents a resistor-less high-precision, sub-1 V all-CMOS voltage reference. A curvature-compensation method is used to cancel the logarithmic temperature dependence regardless of mobility temperature exponent (γ). The circuit is simulated in 65 nm CMOS technology and yields an output voltage of 594 mV, temperature coefficient of 7ppm∘C in the range of −40 to 125 °C, a power supply reje
We give a method for designing a mechanical impedance to suppress the propagation of disturbances along a chain of masses. The key feature of our method is that it is scale free. This means that it can be used to give a single, fixed, design, with provable performance guarantees in mass chains of any length. We illustrate the approach by designing a bidirectional control law in a vehicle platoon i
The notion of warping the rate of time is explored in the context of differentially flat systems to enable time-optimal motion by convex optimisation. Examples are given with systems configured on the special Euclidean groups SE(2) and SE(3), with and without differential constraints. The proposed method complements classical methods of motion planning, may be used in a real-time context with guar
We propose and analyze distributed computation algorithms for finite-horizon optimal control problems in transportation networks. We model traffic flow dynamics by the cell-transmission model and focus on two problems: system-optimum dynamic traffic assignment (where the routing is part of the optimization) and freeway network control (where the routing is exogenous and the optimization is confine
This paper presents a receiver front end with improved blocker handling implemented in a 65-nm CMOS technology. Since close-in blockers are challenging to reject at RF, the receiver features a baseband (BB) notch filter, which effectively sinks close-in blocker current directly from the output of an LNTA and passive mixer structure. The notch-filter frequency can be tuned to match the blocker offs
Air-to-air refueling is a vital technique for extending the range and endurance of manned or unmanned aircraft, with over 1000 refueling procedures flown per day in military operations. The hardware used for air-to-air refueling needs to be tailored to the specific aircraft and airspeeds involved, performing markedly different for permutations of tanker and receiver craft. Extensive flight testing
The recent explosion in size and complexity of datasets and the increased availability of computational resources has led us to what is sometimes called the big data era. In many big data fields, mathematical optimization has over the last decade emerged as a vital tool in extracting information from the data sets and creating predictors for unseen data. The large dimension of these data sets and
Rotational singularities inherent to three different geometric controllers on SE (3) are studied. A new singularity-free method of incrementally generating a reference rotation is proposed, removing a class of singularities without affecting proven stability properties of the closed-loop systems. If satisfying a bound on attitude rate and maximum loop rate in the reference generation, the proposed
