Filetype
We study the continuous time integer valued process Xt, t ≥ 0, which jumps to each of its two nearest neighbors at the rate of one plus the total time the process has previously spent at that neighbor. We show that the proportion of the time before t which this process spends at integers j converges to positive random variables Vj, which sum to one, and whose joint distribution is explicitly descr
The transition to post-quantum cryptography is well underway. Driven by the recognition that Shor's algorithm would render all widely deployed asymmetric cryptosystems insecure in the presence of a sufficiently capable quantum computer, the cryptographic community has spent the past decade designing, evaluating, and standardizing a new generation of public-key primitives. In 2024, ML-KEM became th
This paper serves as a first identification step in a two-step model-based control synthesis problem of switched linear systems (SLSs). More precisely, we present an algorithm that addresses the realization of the multi-input/multi-output MIMO-SLSs from Markov parameters under mild assumptions on the dwell-times and the submodels. A key point of the proposed approach is the introduction of the for
In this paper, we propose a framework to iden-tify discrete-time, multi-input/multi-output (MIMO), switched-linear systems (SLSs) from input-output data. The key step is an observer-based transformation to a switched auto-regressive with exogenous input (SARX) model. This transformation has a nontrivial kernel complicating identification, but converts the state-space identification problem to SARX
It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the feasibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first s
We introduce a novel approach for energy-efficient scheduling of data-dependent stream programs with packet types on multicore architectures with voltage and frequency scaling. To have the given application meet specific throughput demands while minimizing energy consumption, we enhance the existing crown scheduling by packet-type dependent parameters. Formulation as an integer linear program gene
This is an undeniable fact now that wireless systems pervade all aspects of our lives. These systems are evolving at a rapid clip, connecting more people and devices every single day that goes by. This growth is further fueled by the users’ insatiable appetite for more traffic, be it for online gaming, watching high-fidelity video, downloading huge files, live- streaming and many more uses. With t
We propose and study a weakly convergent variant of the forward-backward algorithm for solving structured monotone inclusion problems. Our algorithm features a per-iteration deviation vector, providing additional degrees of freedom. The only requirement on the deviation vector to guarantee convergence is that its norm is bounded by a quantity that can be computed online. This approach offers great
This thesis delves into integrating control systems into cloud environments, leading to the emergence of what is commonly referred to as cloud control systems (CCSs). These systems represent a paradigm shift, leveraging the cloud’s expansive storage and computing capabilities to optimize industrial operations. However, while promising in terms of efficiency and scalability, this transition introdu
Due to their natural and inherent way of capturing concurrency, dataflow descriptions of stream programs have seen prevalent usage in fields such as video processing, networks and scientific computing. They are often deployed on manycore, heterogeneous and distributed architectures. Despite robust research on the topic, obstacles still exist in evaluating the performance of stream programs accurat
Progenitor cells adapt their behavior in response to tissue demands. However, the molecular mechanisms controlling esophageal progenitor decisions remain largely unknown. Here, we demonstrate the presence of a Troy (Tnfrsf19)-expressing progenitor subpopulation localized to defined regions along the mouse esophageal axis. Lineage tracing and mathematical modeling demonstrate that Troy-positive pro
This thesis delves into the multifaceted challenges of designing analog-to-digital converters (ADCs) tailored for high-speed and medium accuracy applications, particularly in deeply scaled-down CMOS technologies across five comprehensive chapters within its Introduction. Furthermore, it explores the evolution of mobile telephony from the first-generation (1G) to the last commercialized generation
In order to keep up with the constant demand for higher data rates, the fifth generation of mobile communication (5G) introduced the use of mm-wave carrier frequencies from 24 to 71 GHz. Plenty of new frequency spectrum then became available, which has allowed for channel bandwidths of several hundreds of MHz. 6G is projected to continue this trend with even higher carrier frequencies and wider ba
Alpha masked geometry such as foliage has long been one of the trickier things to render efficiently, both for rasterization based approaches and for hardware accelerated ray-tracing. Recently, a new type of primitive was introduced to the Vulkan® and DirectX® ray-tracing APIs that promises to alleviate this issue: Opacity Micromaps, a structure that uses a bit of extra memory as hints to the pipe
Digital Twins are realistic digital representations of the physical world, frequently characterised by a two way link between digital and physical. Originating in manufacturing, they are now expanding to city and national scales. In this paper we explore connections between Geographic Information Science and National Digital Twins. Six different viewpoints and perspectives are presented on the top
We investigate frugal splitting operators for finite sum monotone inclusion problems. These operators utilize exactly one direct or resolvent evaluation of each operator of the sum, and the splitting operator's output is dictated by linear combinations of these evaluations' inputs and outputs. To facilitate analysis, we introduce a novel representation of frugal splitting operators via a generaliz
This thesis presents five papers on minimax adaptive control and estimation. Minimax adaptive estimation is a framework for output prediction and state estimation that provides a priori computable performance bounds for esti- mators. Minimax adaptive controllers ensure that the closed loop has finite gain, maintaining stability and performance under model class uncertainty. The contributions of t
Proof logging in constraint programming is an approach to certifying a conclusion reached by a solver. To allow for this, different propagators must be augmented to produce justifications for any inferences they make, so that an independent proof checker can certify correctness. The Circuit constraint is used to enforce a Hamiltonian cycle on a set of vertices, e.g. for vehicle routing. Maintainin
