For multi-vehicle complex traffic scenarios in shared spaces such as intelligent intersections, safe coordination and trajectory planning is challenging due to computational complexity. To meet this challenge, we introduce a computationally efficient method for generating collision-free trajectories along predefined vehicle paths. We reformulate a constrained minimum-time trajectory planning problem as a problem in a high-dimensional configuration space, where conflict zones are modeled by high-dimensional polyhedra constructed from two-dimensional rectangles. Still, in such a formulation, as the number of vehicles involved increases, the computational complexity increases significantly. To address this, we propose two algorithms for near-optimal local optimization that significantly reduce the computational complexity by decomposing the high-dimensional problem into a sequence of 2D graph search problems. The resulting trajectories are then incorporated into a Nonlinear Model Predictive Control (NMPC) framework to ensure safe and smooth vehicle motion. We furthermore show in numerical evaluation that this approach significantly outperforms existing MILP-based time-scheduling; both in terms of objective-value and computational time.

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, where we take into account the practical constraint on the limited resolution of phase shifters. Our goal is to design a radio-frequency (RF) precoder and a base-band (BB) precoder to estimate AoD of the user with high accuracy. To this end, we propose a two-step strategy where we first obtain the fully digital precoder that minimizes the angle error bound, and then the resulting digital precoder is decomposed into an RF precoder and a BB precoder, based on the alternating optimization and the alternating direction method of multipliers. Furthermore, we derive the quantization error upper bound and provide convergence conditions for the proposed algorithm. Numerical results demonstrate the superior performance of the proposed method over state-of-the-art baselines.

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 to this paradigm as orthogonal space-division multiplexing (OSDM). On the other hand, reconfigurable intelligent surface (RIS) has emerged as a promising technology which allows shaping the propagation environment for improved performance. This paper studies the ability of three extended types of reconfigurable surface (RS), including the recently proposed beyond diagonal RIS (BD-RIS), to achieve perfectly orthogonal channels in a general multi-user multiple-input multiple-output (MU-MIMO) scenario. We consider practical implementations for the three types of RS consisting of passive components, and obtain the corresponding restrictions on their reconfigurability. We then use these restrictions to derive closed-form conditions and explicit expressions for achieving arbitrary (orthogonal) channels. We also study the problem of exploiting the degrees of freedom (DoFs) from the channel orthogonality constraint to maximize the channel gain while maintaining the passive RS constraints, and we propose some initial methods with satisfying performance. Finally, we provide some channel estimation and RS configuration techniques within this framework, where the computations are assumed to be performed at the BS, and we derive some limits on the amount of overhead required to achieve channel orthogonalization with RSs. The numerical results confirm the theoretical findings, showing that channel orthogonality with passive RSs can be effectively achieved in practical environments as long as the direct channel is not significant with respect to the RS cascaded channel. We thus take some important steps towards realizing OSDM.

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 enables the calculation of minimum safe inter-vehicular distances for arbitrary ego vehicle control policies in a computationally efficient manner. We use this framework to enhance and generalize the Responsibility-Sensitive Safety (RSS) [1] model and models based on it, which fail to cover situations where the ego vehicle has a higher decelerating capacity than its preceding vehicle.

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 the capability of explicit inter-vehicular information exchange. We argue that V2X enables another important function, namely the support of ethical driving decisions. In this article, we explain our envisioned methodology of an ethical cooperative driving interaction protocol design (including what to communicate and how to act based on the received information). Cooperative manoeuvring empowered by the ethical V2X is a new research direction we promote in the autonomous driving research agenda.

We argue that an information exchange between vehicles via the vehicular communications is the foundation for ethical driving. In other words – autonomous vehicles must be cooperative to be able to resolve ethical dilemmas in a multi-vehicle scenario. We show this by exploring the minimal setting of a longitudinal driving in a formation of three vehicles.

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 methods aim to find a solution between pairs of shapes, even if multiple instances of the same class are available. While isometries are often studied in shape correspondence problems, they have not been considered explicitly in the multi-matching setting. This paper closes this gap by proposing a novel optimisation formulation for isometric multi-shape matching. We present a suitable optimisation algorithm for solving our formulation and provide a convergence and complexity analysis. Our algorithm obtains multi-matchings that are by construction provably cycle-consistent. We demonstrate the superior performance of our method on various datasets and set the new state-of-the-art in isometric multi-shape matching.

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 problems on the Stiefel manifold occur for example in spectral relaxations of various combinatorial problems, such as graph matching, clustering, or permutation synchronisation. Although sparsity is a desirable property in such settings, it is mostly neglected in spectral formulations since existing solvers, e.g. based on eigenvalue decomposition, are unable to account for sparsity while at the same time maintaining global optimality guarantees. We fill this gap and propose a simple yet effective sparsity-promoting modification of the Orthogonal Iteration algorithm for finding the dominant eigenspace of a matrix. By doing so, we can guarantee that our method finds a Stiefel matrix that is globally optimal with respect to the quadratic objective function, while in addition being sparse. As a motivating application we consider the task of permutation synchronisation, which can be understood as a constrained clustering problem that has particular relevance for matching multiple images or 3D shapes in computer vision, computer graphics, and beyond. We demonstrate that the proposed approach outperforms previous methods in this domain.

A platoon consists of a string of vehicles traveling close together. Such tight formation allows for increased road throughput and reduced fuel consumption due to decreased air resistance. Furthermore, sensors and control algorithms can be used to provide a high level of automation. In this context, safety - in terms of no rear-end collisions - is a key property that needs to be assured. We investigate how vehicle-to-vehicle communication can be used to reduce inter-vehicle distances while guaranteeing safety in emergency braking scenarios. An optimization-based modeling scheme is presented that, under certain restrictions, provides an analytical calculation of inter-vehicle distances for safe braking. In contrast to earlier simulation-based approaches, the framework allows for computationally efficient solutions with explicit guarantees. Two approaches for computing braking strategies in emergency scenarios are proposed. The first assumes centralized coordination by the leading vehicle and exploits necessary optimal conditions of a constrained optimization problem, whereas the second - the more conservative solution - assumes only local information and is distributed in nature. We illustrate the usefulness of the approaches through several computational simulations.

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 geometric consistency between points into account. Computationally, the multi-matching problem is difficult. It can be phrased as simultaneously solving multiple (NP-hard) quadratic assignment problems (QAPs) that are coupled via cycle-consistency constraints. The main limitations of existing multi-matching methods are that they either ignore geometric consistency and thus have limited robustness, or they are restricted to small-scale problems due to their (relatively) high computational cost. We address these shortcomings by introducing a Higher-order Projected Power Iteration method, which is (i) efficient and scales to tens of thousands of points, (ii) straightforward to implement, (iii) able to incorporate geometric consistency, (iv) guarantees cycle-consistent multi-matchings, and (iv) comes with theoretical convergence guarantees. Experimentally we show that our approach is superior to existing methods.

We propose a combinatorial solution for the problem of non-rigidly matching a 3D shape to 3D image data. To this end, we model the shape as a triangular mesh and allow each triangle of this mesh to be rigidly transformed to achieve a suitable matching to the image. By penalising the distance and the relative rotation between neighbouring triangles our matching compromises between the image and the shape information. In this paper, we resolve two major challenges: Firstly, we address the resulting large and NP-hard combinatorial problem with a suitable graph-theoretic approach. Secondly, we propose an efficient discretisation of the unbounded 6-dimensional Lie group SE(3). To our knowledge this is the first combinatorial formulation for non-rigid 3D shape-to-image matching. In contrast to existing local (gradient descent) optimisation methods, we obtain solutions that do not require a good initialisation and that are within a bound of the optimal solution. We evaluate the proposed combinatorial method on the two problems of non-rigid 3D shape-to-shape and non-rigid 3D shape-to-image registration and demonstrate that it provides promising results.

Representing 3D shape deformations by high-dimensional linear models has many applications in computer vision and medical imaging. Commonly, using Principal Components Analysis a low-dimensional subspace of the high-dimensional shape space is determined. However, the resulting factors (the most dominant eigenvectors of the covariance matrix) have global support, i.e. changing the coefficient of a single factor deforms the entire shape. Based on matrix factorisation with sparsity and graph-based regularisation terms, we present a method to obtain deformation factors with local support. The benefits include better flexibility and interpretability as well as the possibility of interactively deforming shapes locally. We demonstrate that for brain shapes our method outperforms the state of the art in local support models with respect to generalisation and sparse reconstruction, whereas for body shapes our method gives more realistic deformations.

The alignment of a set of objects by means of transformations plays an important role in computer vision. Whilst the case for only two objects can be solved globally, when multiple objects are considered usually iterative methods are used. In practice the iterative methods perform well if the relative transformations between any pair of objects are free of noise. However, if only noisy relative transformations are available (e.g. due to missing data or wrong correspondences) the iterative methods may fail. Based on the observation that the underlying noise-free transformations can be retrieved from the null space of a matrix that can directly be obtained from pairwise alignments, this paper presents a novel method for the synchronisation of pairwise transformations such that they are transitively consistent. Simulations demonstrate that for noisy transformations, a large proportion of missing data and even for wrong correspondence assignments the method delivers encouraging results.

In this paper, we give a distributed solution to the problem of making a team of nonholonomic robots reach consensus about their orientations using monocular cameras. We consider a scheme where the motions of the robots are decided using nearest-neighbor rules. Each robot is equipped with a camera and can only exchange visual information with a subset of the other robots. The main contribution of this paper is a new controller that uses the epipoles that are computed from the images provided by neighboring robots, eventually reaching consensus in their orientations without the necessity of directly observing each other. In addition, the controller only requires a partial knowledge of the calibration of the cameras in order to achieve the desired configuration. We also demonstrate that the controller is robust to changes in the topology of the network and we use this robustness to propose strategies to reduce the computational load of the robots. Finally, we test our controller in simulations using a virtual environment and with real robots moving in indoor and outdoor scenarios.

In this paper, the multi pursuer version of the pursuit evasion problem in polygonal environments is addressed. This problem is NP-hard, and therefore we seek good enough, but not optimal solutions. By modeling the problem as a Boolean Control Network, we can efficiently keep track of which regions are cleared, and which are not, while the input nodes of the network are used to represent the motion of the pursuers. The environment is partitioned into a set of convex regions, where each region correspond to a set of nodes in the network. The method is implemented in ANSI C, and efficiently solves complex environments containing multiple loops and requiring so-called recontamination. The provided examples demonstrate the effectiveness of the method in terms of computational time.

In this paper, we address the multi pursuer version of the pursuit evasion problem in polygonal environments. It is well known that this problem is NP-hard, and therefore we seek efficient, but not optimal, solutions by relaxing the problem and applying the tools of Mixed Integer Linear Programming (MILP) and Receding Horizon Control (RHC). Approaches using MILP and RHC are known to produce efficient algorithms in other path planning domains, such as obstacle avoidance. Here we show how the MILP formalism can be used in a pursuit evasion setting to capture the motion of the pursuers as well as the partitioning of the pursuit search region into a cleared and a contaminated part. RHC is furthermore a well known way of balancing performance and computation requirements by iteratively solving path planning problems over a receding planning horizon, and adapt the length of that horizon to the computational resources available. The proposed approach is implemented in Matlab/Cplex and illustrated by a number of solved examples.

Unmanned ground vehicles (UGVs) equipped with surveillance cameras present a flexible complement to the numerous stationary sensors being used in security applications today. However, to take full advantage of the flexibility and speed offered by a group of UGV platforms, a fast way to compute desired camera locations that cover or surround a set of buildings e.g., in response to an alarm, is needed. In this paper we focus on two problems. The first is how to create a line-of-sight perimeter around a given set of buildings with a minimal number of UGVs. The second problem is how to find UGV positions such that a given set of walls are covered by the cameras while taking constraints in terms of zoom, range, resolution and field of view into account. For the first problem we propose a polynomial time algorithm and for the second problem we extend our previous work to include zoom cameras and furthermore provide a theoretical analysis of the approach itself. A number of examples are presented to illustrate the two algorithms.