Filetype
The lack of methods to evaluate mechanical function of donated hearts in the context of transplantation imposes large precautionary margins, translating into a low utilization rate of donor organs. This has spawned research into cyber-physical models constituting artificial afterloads (arterial trees), that can serve to evaluate the contractile capacity of the donor heart. The Windkessel model is
The lack of methods to evaluate mechanical function of donated hearts in the context of transplantation imposes large precautionary margins, translating into a low utilization rate of donor organs. This has spawned research into cyber-physical models constituting artificial afterloads (arterial trees), that can serve to evaluate the contractile capacity of the donor heart.The Windkessel model is a
This paper focuses on the computation of the joint spectral radius (JSR), when the involved matrices are sparse. We provide a sparse variant of the procedure proposed by Parrilo and Jadbabaie to compute upper bounds of the JSR by means of sum-of-squares (SOS) programming. Our resulting iterative algorithm, called SparseJSR, is based on the term sparsity SOS (TSSOS) framework developed by Wang, Mag
Class-C operation is leveraged to implement a K-band CMOS VCO where the upconversion of the 1/f noise from the core transistors is robustly contained at a minimal level. Implemented in a bulk 28 nm CMOS technology,the VCO shows a phase noise as low as -108.5 dBc/Hz at 1 MHz offset (-83 dBc/Hz at 100 kHz offset) from the 19.5 GHz carrier,while consuming 14.4 mW and featuring a 12% tuning range.
A Ka-band,32-43 GHz,differential power amplifier (PA) for millimeter wave applications is presented. The PA is a three stage design with a nominal gain of 36 dB. A device periphery ratio of 1:2:4 is adopted for pre-driver,driver and final stage,respectively. To enable use of 2.7 V supply,a cascode topology was employed in all three stages. The input is 80 ω differential and the output load is 50 ω
The 4th generation of district heating systems face a potential problem where lowered water temperatures lead to higher flow rates, which requires higher hydraulic capacity in terms of pipe and pump sizes. This increases the effect of the already existing issue of hydraulic bottlenecks, causing peripheral units (customers) to experience reduced flow rates. A coordinating control strategy is presen
The aim of this work is to investigate different methods to solve the problem of allocating the correct amount of resources (network bandwidth and storage space) to video camera systems. Here we explore the intersection between two research areas: automatic control and game theory. Camera systems are a good example of the emergence of the Internet of Things (IoT) and its impact on our daily lives
Over the last decades, dramatic improvements in combinatorialoptimisation algorithms have significantly impacted artificialintelligence, operations research, and other areas. These advances,however, are achieved through highly sophisticated algorithms that aredifficult to verify and prone to implementation errors that can causeincorrect results. A promising approach to detect wrong results is tous
Cloud computing has emerged as a key technology in the latest decade and continues to be applied to manage the computing needs of new domains. As a result, the requirements on predictable behavior in the cloud increase, thus the hosted applications need to be recognized as both fault-tolerant and responsive even under difficult conditions.In this thesis, new modeling methods and decision-making st
Turbulent breakup in emulsification devices is a dynamic process. Small viscous drops undergo a sequence of oscillations before entering the monotonic deformation phase leading to breakup. The turbulence-interface interactions prior to reaching critical deformation are therefore essential for understanding and modeling breakup. This contribution uses numerical experiments to characterize the critiTurbulent breakup in emulsification devices is a dynamic process. Small viscous drops undergo a sequence of oscillations before entering the monotonic deformation phase leading to breakup. The turbulence-interface interactions prior to reaching critical deformation are therefore essential for understanding and modeling breakup. This contribution uses numerical experiments to characterize the criti
For assembly tasks, the knowledge of both trajectory and forces are usually required. Consequently, we may use kinesthetics or teleoperation for recording human demonstrations. In order to have a more natural interaction, the operator has to be provided with a sense of touch. We propose a bilateral teleoperation system which is customized for this purpose. We introduce different coordinate frames
This paper presents the hardware/software generation backend of a code generation framework. The backend aims at synthesizing complete systems based on RISC-V cores with accelerators from a single-language description. The framework takes the dataflow description of an algorithm as input and generates a combination of hardware (in Chisel) and software (in C) that interacts with the hardware. The h
A central challenge within pharmacometrics is to establish a relation between pharmacological model parameters, such as compartment volumes and diffusion rate constants, and known population covariates, such as age and body mass. There is rich literature dedicated to the learning of functional mappings from the covariates to the model parameters, once a search class of functions has been determine
Grain boundary interaction with second-phase particles having different degrees of coherency is investigated using the phase field crystal (PFC) method. Both the enveloping and pass-through mechanisms are studied with regards to grain boundary pressure, passage time and interface evolution. It is found that coherent particles exert a stronger retardation effect on grain boundaries compared to inco
An approach to resilient planning and control of autonomous vehicles in multi-vehicle traffic scenarios is proposed. The proposed method is based on model predictive control (MPC), where alternative predictions of the surrounding traffic are determined automatically such that they are intentionally adversarial to the ego vehicle. This provides robustness against the inherent uncertainty in traffic
The MeerKAT radio telescope consists of 64 Gregorian-offset antennas located in the Karoo in the Northern Cape in South Africa. The antenna system consists of multiple subsystems working collaboratively to form a cohesive instrument capable of operating in multiple modes for defined science cases. We focus on the channelizing subsystem (F-engine), the correlation subsystem (X-engine), and the beam
Algebraic reasoning has proven to be one of the most effective approaches for verifying gate-level integer mul-tipliers, but it struggles with certain components, necessitating the complementary use of SAT solvers. For this reason validation certificates require proofs in two different formats. Approaches to unify the certificates are not scalable, meaning that the validation results can only be t
The commercial availability of low-cost millimeterwave (mmWave) communication and radar devices is starting to improve the adoption of such technologies in consumer markets, paving the way for large-scale and dense deployments in fifthgeneration (5G)-and-beyond as well as 6G networks. At the same time, pervasive mmWave access will enable device localization and device-free sensing with unprecedent
In this letter, we deal with evolutionary game-theoretic learning processes for population games on networks with dynamically evolving communities. Specifically, we propose a novel mathematical framework in which a deterministic, continuous-time replicator equation on a community network is coupled with a closed dynamic flow process between communities, in turn governed by an environmental feedbac
Dynamic resource management is a difficult problem in modern microservice applications. Many proposed methods rely on the availability of an analytical performance model, often based on queueing theory. Such models can always be hand-crafted, but this takes time and requires expert knowledge. Various methods have been proposed that can automatically extract models from logs or tracing data. Howeve
