Filetype
This article considers state estimation of rigid-body dynamics where the positions q are available to measurement but where the angular velocities ̇or accelerations are not available to measurement. Using a stability-oriented approach to model-based design of state estimation for Euler–Lagrange systems and rigid-body dynamics, state estimation based on position measurement is shown to guarantee se
After the COVID-19 pandemic, during which teachers developed a lot of online course material, teachers worldwide are challenged with how to combine online teaching with classroom teaching in an efficient way. This paper presents Discussion seminars, a teaching activity that structures discussions clearly, making it easy for students and teachers to follow the discussion. The paper puts Discussion
Effective preprocessing of electroencephalography (EEG) data is fundamental for deriving meaningful insights. Independent component analysis (ICA) serves as an important step in this process by aiming to eliminate undesirable artifacts from EEG data. However, the decision on which and how many components to be removed remains somewhat arbitrary, despite the availability of both automatic and manua
The wide spread of on-line social networks poses new challenges in information environment and cybersecurity. A key issue is detecting stubborn behaviors to identify leaders and influencers for marketing purposes, or extremists and automatic bots as potential threats. Existing literature typically relies on known network topology and extensive centrality measures computation. However, the size of
In this thesis, we provide a number of novel algebraic means of certifying stability and performance for linear systems constrained in various ways by cones. The purpose is mainly threefold: to provide mathematical statements with applicative potential, to unify seemingly dissimilar results in the literature and thereby increase understanding, and to advance the state of the art on dynamical syste
The analysis of interconnected systems is a large and growing field, with successful applications in a wide range of natural and synthesized systems. Biomolecular networks, power grids and human social dynamics have all been the subject of study through the lens of network dynamics, with impressive results. The work presented in this thesis takes the form of four research papers all focusing in di
LU-PZE is an interactive tool for illustrating fundamental concepts related to control theory, covering the relation between transfer functions, pole-zero plots, step responses, Bode plots, and Nyquist diagram. The tool gamifies education with dynamic assignments and quizzes. The tool is straightforward to use since it is web-based. https://lu-pze.github.io
The enhancement and protection of coastal ecosystems that sequester carbon for climate change mitigation have developed over the last 15 years, and today are part of climate governance. After an initially challenging start in terms of policy interest, Blue Carbon is now included in some countries’ national inventories, and as such, enters the global sums of emissions and sinks, and becomes relevan
This thesis discusses novel results in the area of code-based cryptography, ranging from cryptanalyses on several code-based cryptographic constructions to proposing a code-based authentication scheme based on a novel Syndrome Decoding variant.To address the looming threat of large-scale quantum computers that wouldbreak many widely-used public-key cryptosystems, the National Institute of Stan-dar
This thesis investigates scalable control design for networked dynamical systems, which are of great importance due to their wide range of practical applications, including large-scale formation control. A central challenge in such systems is enabling agents to coordinate effectively based only on local and relative information, particularly as the system size increases. To address this, the thesi
The Restricted Syndrome Decoding Problem (RSDP) is a variant of the well-known syndrome decoding problem. It has been recently turned into a post-quantum signature scheme named CROSS by Baldi et al.. It is a scheme highlighted for being computationally friendly and providing a compact signature and public key size. This paper investigates an Oracle-based definition of the RSDP that has already pro
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
Computational methods to understand interactions in bio-complex systems are however limited to time-scales typically much shorter than in Nature. For example, on the nanoscale level, interactions between nanoparticles (NPs)/molecules/peptides and membranes are central in complex biomolecular processes such as membrane-coated NPs or cellular uptake. This can be remedied by the application of e.g. J
The contributions from anions and cations from salt are inseparable in their perturbation of molecular systems by experimental and computational methods, rendering it difficult to dissect the effects exerted by the anions and cations individually. Here we investigate the solvation of a small molecule, caffeine, and its perturbation by monovalent salts from various parts of the Hofmeister series. U
In this paper, characteristic mode analysis is used to gain insight into the operation of millimeter-wave series patch array. It is shown that the series patch array (broadside) mode has lower modal bandwidth and higher resonant frequency than the corresponding mode of a constituting patch element, whereas the other dominant orthogonal (broadside) mode is identical between the array and the single
