Filetype
This article addresses the problem of basis correction in the context of linear switched-system (LSS) identification from input–output data. It is often the case that identification algorithms for the LSSs from input–output data operate locally. The local submodel estimates, identified individually by subspace algorithms from the input-output data, reside in different-state bases, which mandates p
The harmonic oscillator is a truly irreplaceable as well as ubiquitous analog integrated circuit. Starting from the basics of its CMOS implementation, we will discuss the phase noise of the harmonic oscillator in some detail, where the intrinsic large-signal operation mandates a time-variant analysis. This will be followed by a survey of the most popular design techniques enabling a low phase nois
This special section of the IEEE OPEN JOURNAL OF CIRCUITS AND SYSTEMS (OJCAS) is dedicated to highlight the state-of-the-art research progress on circuits, systems, and algorithms associated with the design of beyond 5G (B5G) and 6G wireless systems.
The European Open Science Cloud is a pan-European initiative that aims at developing a federated infrastructure that supports scientific research and Open Science. Having the FAIR principles at the core of Open Science practices, the Environmental Research Infrastructures (ENVRIs) that operate in Europe collaborate at cluster level (the ENVRI cluster) continuously improving the FAIRness of their s
This paper discusses methods to test the performance of the adaptation layer in a self-adaptive system. The problem is notoriously hard, due to the high degree of uncertainty and variability inherent in an adaptive software application. In particular, providing any type of formal guarantee for this problem is extremely difficult. In this paper we propose the use of a rigorous probabilistic approac
Distributed camera surveillance systems typically consist of multiple cameras that need to store some fraction of their video streams in a central storage node. The disk space of this node as well as the network between the cameras and this central node constitute shared resources. In the paper the disk space allocation as well as the network bandwidth reservation are solved using techniques norma
Testing of autonomous vehicles involves enormous challenges for the automotive industry. The number of real-world driving scenarios is extremely large, and choosing effective test scenarios is essential, as well as combining simulated and real world testing. We present an industrial workbench of tools and workflows to generate efficient and effective test scenarios for active safety and autonomous
DevOps represent the tight connection between development and operations. To address challenges that arise on the bor- derline between development and operations, we conducted a study in collaboration with a Swedish company responsible for ticket management and sales in public transportation. The aim of our study was to explore and describe the existing DevOps environment, as well as to identify h
Internal positivity offers a computationally cheap certificate for external (inputoutput) positivity of a linear time-invariant system. However, the drawback with this certificate lies in its realization dependency. First, computing such a realization requires finding a polyhedral cone with a potentially high number of extremal generators that lifts the dimension of the state-space representation,
Time-triggered real-time systems achieve deterministic behavior using schedules that are constructed offline, based on scheduling constraints. Their deterministic behavior makes time-triggered systems suitable for usage in safety-critical environments, like avionics. However, this determinism also allows attackers to fine-tune attacks that can be carried out after studying the behavior of the syst
Model Predictive Control (MPC) is an efficient point-to-point trajectory-generation method for robots that can be used in situations that occur under time constraints. The motion plan can be recalculated online to increase the accuracy of the trajectory when getting close to the goal position. We have implemented this strategy in a Franka Emika Panda robot, a redundant collaborative robot, by exte
Semialgebraic proof systems have been studied extensively in proof complexity since the late 1990s to understand the power of Gröbner basis computations, linear and semidefinite programming hierarchies, and other methods. Such proof systems are defined alternately with only the original variables of the problem and with special formal variables for positive and negative literals, but there seems t
Large intelligent surface (LIS) is a technology that extends massive MIMO by considering an even greater number of antennas distributed throughout vast areas. In order to be able to implement this technology, it is crucial to consider decentralized architectures so as to make the whole system scalable. We consider a LIS divided into several LIS panels of smaller size, which can be located far away
While Bayesian Optimization (BO) is a very popular method for optimizing expensive black-box functions, it fails to leverage the experience of domain experts. This causes BO to waste function evaluations on bad design choices (e.g., machine learning hyperparameters) that the expert already knows to work poorly. To address this issue, we introduce Bayesian Optimization with a Prior for the Optimum
Resource management in cloud computing is a difficult problem, as one is often tasked with balancing between adequate service to clients and cost minimization in dynamic environments of many interconnected components. To make correct decisions in these environments, good performance models are necessary. A common modeling methodology is to use networks of queues, but as these are prohibitively exp
Security for outsourced control applications can be provided if the physical plant is enabled with a mechanism to verify the control signal received from the cloud. Recent developments in modern cryptography claim the applicability of verifiable computation techniques. Such techniques allow a client to check the correctness of a remote execution. This article delivers a proof of concept for applic
Static checker frameworks support software developers by automatically discovering bugs that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for such patterns and allow developers to add custom detectors for their own projects. However, existing frameworks generally encode detectors in imperative specifications, with extensive details of not only what to detect b
This thesis deals with the general problem of controlling rigid-body systems through space, with a special focus on unmanned aerial vehicles (UAVs). Several promising UAV control algorithms have been developed over the past decades, enabling truly astounding feats of agility when combined with modern sensing technologies. However, these control algorithms typically come without global stability gu
Order-batching is an important methodology in warehouse material handling. This paper addresses three identified shortcomings in the current literature on order-batching optimization. The first concerns the overly large dependence on conventional warehouse layouts. The second is a lack of proposed optimization methods capable of producing approximate solutions in minimal computational time. The th
