Filetype
We study the problem of obtaining lower bounds for polynomial calculus (PC) and polynomial calculus resolution (PCR) on proof degree, and hence by [Impagliazzo et al.'99] also on proof size. [Alekhnovich and Razborov'03] established that if the clause-variable incidence graph of a conjunctive normal form (CNF) formula F is a good enough expander, then proving that F is unsatisfiable requires high
We study the notion of (additive) separability of a function of several variables with respect to a hypergraph (H-graph). We prove the existence of a unique minimal H-graph with respect to which a function is separable and show that the corresponding minimal decomposition of the function can be obtained through a recursive algorithm. We then focus on (strategic form) games and propose a concept of
Navigating complex environments requires Unmanned Aerial Vehicles (UAVs) and autonomous systems to perform trajectory tracking and obstacle avoidance in realtime. While many control strategies have effectively utilized linear approximations, addressing the non-linear dynamics of UAV, especially in obstacle-dense environments, remains a key challenge that requires further research. This paper intro
In this paper, we unify two already published results on state feedback H-infinity optimality. Previously, optimality has been shown for a particular controller structure in the case that the open-loop state matrix is symmetric, as well as in the case that the closed-loop system is internally positive. By contrast, the main result of the present paper gives optimality based on neither of these two
Balcinrenone (AZD9977) is a selective mineralocorticoid receptor modulator in development in combination with dapagliflozin for treatment of heart failure with impaired kidney function and chronic kidney disease. A prespecified concentration–QT analysis was performed based on data from a phase I single ascending dose study prospectively designed as a thorough QT study substitute. Oral single doses
Exceptional are the instances where explicit solutions to optimal control problems are obtainable. Of particular interest are the explicit solutions derived for minimax problems, as they provide a framework for addressing challenges involving adversarial conditions and uncertainties. This thesis presents explicit solutions to a novel class of minimax optimal control problems for positive linear sy
When it comes to innovation, economic growth, affluence and international attractiveness, there are currently few places in the world that can compare with the San Francisco Bay Area. However, new megatrends such as Sustainability, can challenge its attractiveness. Scholars talk about the “Nordic approach”.In the geographical area of Southern Scandinavia, ‘The Strait Area’, the focus is on Sustain
We study an information design problem to reduce congestion in transportation networks. In presence of an uncertain network state, the central planner may sends private signals to the users, with the goal of steering the user equilibrium towards the system optimum flow. We consider private signals and provide sufficient conditions under which optimality may be achieved by information provision in
We deal with a control problem for a complex social network in which each agent has an action and an opinion, evolving according to a coevolutionary model. In particular, we consider a scenario in which a committed minority - a set of stubborn nodes - aims to steer a population, initially at a consensus, to a different consensus state. Our study focuses on determining the conditions under which su
We present a new, scalable alternative to the structured singular value, which we call ν, provide a convex upper bound, study their properties and compare them to ℓ1 robust control. The analysis relies on a novel result on the relationship between robust control of dynamical systems and non-negative constant matrices.
Control systems can show robustness to many events, like disturbances and model inaccuracies. It is natural to speculate that they are also robust to sporadic deadline misses when implemented as digital tasks on an embedded platform. This paper proposes a comprehensive stability analysis for control systems subject to deadline misses, leveraging a new formulation to describe the patterns experienc
The policy used to implement a control algorithm in a real-time system can significantly affect the quality of control. In this paper, we present a method to adapt the controller implementation, with the objective to improve the system’s performance under real-time faults. Our method compensates for missing state updates by adapting the controller parameters according to the number of consecutivel
A wideband compact series-fed patch subarray is proposed for 79 GHz multiple-input multiple-output (MIMO) radar. The proposed subarray is, for the first time, loaded with stacked micro-vias (SMVs). Two sets of patches in the subarray are fed 180-degrees out-of-phase. A low-cost, high-resolution multilayer PCB technology, called “Any-Layer PCB”, is used to implement the SMVs, which cannot be done b
This letter proposes a co-designed millimeter-wave (mm-wave) and sub-6GHz antenna system. The antenna system consists of four 28GHz mm-wave arrays with reconfigurable radiation patterns and two sub-6GHz antennas fed with two corner capacitive coupling elements (CCEs). Each corner CCE is formed by the connected ground planes of two mm-wave arrays in the shared-aperture configuration. The two CCEs a
Contact-rich manipulation tasks remain a hard problem in robotics that requires interaction with unstructured environments. Reinforcement Learning (RL) is one potential solution to such problems, as it has been successfully demonstrated on complex continuous control tasks. Nevertheless, current state-of-the-art methods require policy training in simulation to prevent undesired behavior and later d
This study aimed to disentangle the influence of information status and referential form on the distribution of gestures in sustained discourse. Previous research shows that new/less accessible rather than old/more accessible information, expressed by rich rather than lean referential forms, is more likely to be accompanied by gestures. However, earlier studies have drawn on correlational results.
This paper shows how a channel sounder can be built with National Instruments (NI) Universal Software Radio Peripheral (USRP) equipment, featuring onboard FPGA processing and utilizing open-source tools. Compared to other USPR-based channel sounders, our design eases the requirements on the data link between the USRP and the host, limits the measurement data size, and increases the signal-to-noise
This thesis studies two families of methods for finding zeros of finite sums of monotone operators, the first being variance-reduced stochastic gradient (VRSG) methods. This is a large family of algorithms that use random sampling to improve the convergence rate compared to more traditional approaches. We examine the optimal sampling distributions and their interaction with the epoch length. Speci
