Filetype
Formal models for the safety validation of autonomous vehicles have become increasingly important. To this end, we present a safety framework for longitudinal automated driving. This framework allows calculating minimum safe inter-vehicular distances for arbitrary ego vehicle control policies. We use this framework to enhance the Responsibility-Sensitive Safety (RSS) model and models based on it,
This issue marks the start of my term as department editor for the “Requirements” column. I very much look forward to exploring contemporary aspects of requirements and requirements engineering (RE) in the coming years! As an institute researcher with RISE, I primarily work in strictly regulated domains, in which requirements are cornerstones in the development activities. Please check my introduc
Memories may integrate elements experienced in different events. For instance, meeting a woman leaving her house, and later meeting another woman entering the same house, may allow us to infer that the two women live together. Such memory representations are thought to rely on integrative encoding mechanisms, allowing us to make inferences about the world and generalize knowledge to entirely new s
ObjectivesThe formation of episodic memories is critically determined by how we visually sample the world over time via sequences of eye movements. Nonetheless, in the neuroscience of human memory, memory encoding has almost exclusively been studied in experimental paradigms where the study material is presented in a single fixed location on the screen, and where eye movements are treated as artif
Episodic memory enables mental time travel, allowing us to relive specific, personally experienced events tied in time and place. This feat of human memory is considered to be dependent on the reinstatement of the cortical patterns that were active at the time of encoding. A growing body of recent literature has provided support for this idea by showing that retrieval success co-varies with the ne
In this paper, we examine variable node (VN) doping to mitigate the error propagation problem in sliding window decoding (SWD) of spatially coupled LDPC (SC-LDPC) codes from the point of view of the encoding process. More specifically, in order to simplify the process of generating an encoded sequence with some number of doped code bits, we propose to employ systematic encoding and to limit doping
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
Cell-free massive multiple-input multiple-output (MIMO) consists of a large set of distributed access points (APs) serving a number of users. The APs can be far from each other, and they can also have a big number of antennas. Thus, decentralized architectures have to be considered so as to reduce the interconnection bandwidth to a central processing unit (CPU) and make the system scalable. On the
SMIRK is a pedestrian automatic emergency braking system that facilitates research on safety-critical systems embedding machine learning components. As a fully transparent driver-assistance system, SMIRK can support future research on trustworthy AI systems, e.g., verification & validation, requirements engineering, and testing. SMIRK is implemented for the simulator ESI Pro-SiVIC with core co
Robot skills systems are meant to reduce robot setup time for new manufacturing tasks. Yet, for dexterous, contact-rich tasks, it is often difficult to find the right skill parameters. One strategy is to learn these parameters by allowing the robot system to learn directly on the task. For a learning problem, a robot operator can typically specify the type and range of values of the parameters. Ne
We propose a generalisation of a behaviour tree and motiongenerator based robot arm policy representation for learning and solving tasks such as contact-rich tasks like peg insertion or pushing an object. We use planning to generate skill sequences needed to execute these tasks and rely on reinforcement learning to obtain parameters of the policy. We assume gaussian processes as a suitable method
We propose a pipeline to setup up robot systems for new tasks using symbolic planning, reasoning and reinforcement learning. Furthermore, we
We propose a novel multi-pose loss function to train a neural network for 6D pose estimation, using synthetic data and evaluating it on real images. Our loss is inspired by the VSD (Visible Surface Discrepancy) metric and relies on a differentiable renderer and CAD models. This novel multi-pose approach produces multiple weighted pose estimates to avoid getting stuck in local minima. Our method re
Purpose—Ischemic myocardial contracture (IMC) or ‘‘stoneheart’’ is a condition with rapid onset following circulatory death. It inhibits transplantability of hearts donated uponcirculatory death (DCD). We investigate the effectiveness of hemodynamic normalization upon withdrawal of life-sustaining therapy (WLST) in a large-animal controlled DCD model, with the hypothesis that reduction in cardiac
This work analyzes the nonlinear effects in the track and hold circuit applied in high-speed ADCs or RF sampling receiver (RX) front-ends. Non-ideal effects inside the main sampling NMOS switch are studied. Parasitic varactor and sampling on-resistance modulation effects are analyzed through frequency domain Volterra series and the EKV MOS transistor model. Polynomial curve fitting is applied show
In recent years the number of connected devices and the demand for high data-rates have been significantly increased. This enormous growth is more pronounced by the introduction of the Internet of things (IoT) in which several devices are interconnected to exchange data for various applications like smart homes and smart cities. Moreover, new applications such as eHealth, autonomous vehicles, and c
The notion of Cloud RAN is taking a prominent role in narrative for the next generation wireless infrastructure. It is also seen as a mean to industrial communication systems. In order to provide reliable wireless connectivity for industrial deployments, by conventional means, the cloud infrastructure needs to be reliable and incur little latency, which however, is contradictory to the stochastic
We address the problem of insufficient quality of robot simulators to produce precise sensor readings for joint positions, velocities and torques. Realistic simulations of sensor readings are particularly important for real time robot control laws and for data intensive Reinforcement Learning of robot movements in simulation. We systematically construct two architectures based on Long Short-Term M
Small autonomous surface vehicles (ASV) will need both teleoperation support and redundant positioning technology to comply with expected future regulations. When at sea, they are limited by a satellite communication link with low throughput. We have designed and implemented a graphical user interface (GUI) for teleoperation using a communication link with low throughput, and one positioning syste
