Johan Thunberg
YOU?
Author Swipe
View article: Hybrid Precoder Design for Angle-of-Departure Estimation With Limited-Resolution Phase Shifters
Hybrid Precoder Design for Angle-of-Departure Estimation With Limited-Resolution Phase Shifters Open
Hybrid analog-digital beamforming stands out as a key enabler for future communication systems with a massive number of antennas. In this paper, we investigate the hybrid precoder design problem for angle-of-departure (AoD) estimation, whe…
View article: Cooperation for Ethical Autonomous Driving
Cooperation for Ethical Autonomous Driving Open
The success in the adoption of autonomous vehicles is dependent on their ability to solve rarely occurring safety-critical corner cases. Vehicular communications (V2X) aim at improving safety and efficiency of autonomous driving by adding …
View article: Channel Orthogonalization with Reconfigurable Surfaces: General Models, Theoretical Limits, and Effective Configuration
Channel Orthogonalization with Reconfigurable Surfaces: General Models, Theoretical Limits, and Effective Configuration Open
We envision a future in which multi-antenna technology effectively exploits the spatial domain as a set of non-interfering orthogonal resources, allowing for flexible resource allocation and efficient modulation/demodulation. We may refer …
View article: Hybrid Precoder Design for Angle-of-Departure Estimation with Limited-Resolution Phase Shifters
Hybrid Precoder Design for Angle-of-Departure Estimation with Limited-Resolution Phase Shifters Open
Hybrid analog-digital beamforming stands out as a key enabler for future communication systems with a massive number of antennas. In this paper, we investigate the hybrid precoder design problem for angle-of-departure (AoD) estimation, whe…
View article: Cooperative Vehicles versus Non-Cooperative Traffic Light: Safe and Efficient Passing
Cooperative Vehicles versus Non-Cooperative Traffic Light: Safe and Efficient Passing Open
Connected and automated vehicles (CAVs) will be a key component of future cooperative intelligent transportation systems (C-ITS). Since the adoption of C-ITS is not foreseen to happen instantly, not all of its elements are going to be conn…
View article: Towards a Complete Safety Framework for Longitudinal Driving
Towards a Complete Safety Framework for Longitudinal Driving Open
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-vehicula…
View article: Safety of Automatic Emergency Braking in Platooning
Safety of Automatic Emergency Braking in Platooning Open
A platoon comprises a string of consecutive highly automated vehicles traveling together. Platooning allows for increased road utilization and reduced fuel consumption due to short inter-vehicular distances. Safety in terms of guaranteeing…
View article: Sparse Quadratic Optimisation over the Stiefel Manifold with Application\n to Permutation Synchronisation
Sparse Quadratic Optimisation over the Stiefel Manifold with Application\n to Permutation Synchronisation Open
We address the non-convex optimisation problem of finding a sparse matrix on\nthe Stiefel manifold (matrices with mutually orthogonal columns of unit length)\nthat maximises (or minimises) a quadratic objective function. Optimisation\nprob…
View article: Sparse Quadratic Optimisation over the Stiefel Manifold with Application to Permutation Synchronisation
Sparse Quadratic Optimisation over the Stiefel Manifold with Application to Permutation Synchronisation Open
We address the non-convex optimisation problem of finding a sparse matrix on the Stiefel manifold (matrices with mutually orthogonal columns of unit length) that maximises (or minimises) a quadratic objective function. Optimisation problem…
View article: Efficiently Bounding the Probabilities of Vehicle Collision at Intelligent Intersections
Efficiently Bounding the Probabilities of Vehicle Collision at Intelligent Intersections Open
Intelligent intersections have the potential to serve as an integral part of tomorrow’s traffic infrastructure. Wireless communication is key to enabling such technology. We consider a scenario where two flows of vehicles traverse an intel…
View article: Unreliable V2X Communication in Cooperative Driving: Safety Times for Emergency Braking
Unreliable V2X Communication in Cooperative Driving: Safety Times for Emergency Braking Open
Cooperative driving is a promising paradigm to improve traffic efficiency and safety. In congested traffic scenarios, such cooperation allows for safe maneuvering and driving with small inter-vehicle spatial gaps. The vehicles involved coo…
View article: Isometric Multi-Shape Matching
Isometric Multi-Shape Matching Open
Finding correspondences between shapes is a fundamental problem in computer vision and graphics, which is relevant for many applications, including 3D reconstruction, object tracking, and style transfer. The vast majority of correspondence…
View article: Hybrid Systems
Hybrid Systems Open
What if our models are neither continuous nor discrete? In this chapter we cover hybrid automata. Starting from a continuous setting, we introduce discrete events and look at the issues that arise in making such a transition. We analyze th…
View article: Coordinate Transformation (Robot Arm)
Coordinate Transformation (Robot Arm) Open
What do we do if our physical system is not perfectly matched to our coordinate systemCoordinate System ? This chapter takes a closer look at one aspect of modeling physical systems, namely modeling the most basic robot that has rotational…
View article: Game Theory
Game Theory Open
Often we are interested in systems that can reason about the results of their actions, and that act to maximize these results. Game theory allows us to predict how such systems will act. This chapter starts by introducing basic concepts fr…
View article: Control Theory
Control Theory Open
How can we get the output of a system to behave in a certain way if we only have direct control on the input? In this chapter we cover error, feedback (negative and positive), and stability. We look at recognizing these concepts in static …
View article: Communications
Communications Open
At a time when we are surrounded by mobile phones and Internet-based services, communication is a central component of virtually every aspect of our life. At the same time, communication itself is a rich and multifaceted notion. For exampl…
View article: Modeling Physical Systems
Modeling Physical Systems Open
How can we use math to predict the behavior of physical systems? In this chapter we cover principles for modeling physical systems; differential equations, with a focus on Ordinary Differential Equations (ODEs); systems of equations; vecto…
View article: Sensing and Actuation
Sensing and Actuation Open
The terms sensing and actuation are used to refer to getting information about the world and to affecting physical objects, respectively. In cyber-physical systems, an interesting aspect of exploring sensing and actuation is that it provid…
View article: What is a Cyber-Physical System?
What is a Cyber-Physical System? Open
Our starting point is to reflect on our world today and to consider examples and characteristics of what has come to be known as Cyber-Physical Systems (CPSs). We then look at the innovation process and the associated workforce challenge. …
View article: Modeling Computational Systems
Modeling Computational Systems Open
How do we model digital computers operating in a physical context? This chapter looks at the sense-compute-actuate model of implementing controllers. It addresses the physical aspects of implementing computation, both for analog computers …
View article: Sound Over-Approximation of Probabilities
Sound Over-Approximation of Probabilities Open
Safety analysis of high confidence systems requires guaranteed bounds on the probability of events of interest. Establishing the correctness of algorithms that compute such bounds is challenging. We address this problem in three steps. Fir…
View article: Higher-order Projected Power Iterations for Scalable Multi-Matching
Higher-order Projected Power Iterations for Scalable Multi-Matching Open
The matching of multiple objects (e.g. shapes or images) is a fundamental problem in vision and graphics. In order to robustly handle ambiguities, noise and repetitive patterns in challenging real-world settings, it is essential to take ge…
View article: A state-space approach to sparse dynamic network reconstruction
A state-space approach to sparse dynamic network reconstruction Open
Dynamic network reconstruction has been shown to be challenging due to the requirements on sparse network structures and network identifiability. The direct parametric method (e.g., using ARX models) requires a large amount of parameters i…