Ultra-Reliable Low-Latency Vehicular Networks: Taming the Age of Information Tail

While the notion of age of information (AoI) has recently emerged as an important concept for analyzing ultra-reliable low-latency communications (URLLC), the majority of the existing works have focused on the average AoI measure. However, an average AoI based design falls short in properly characterizing the performance of URLLC systems as it cannot account for extreme events that occur with very low probabilities. In contrast, in this paper, the main objective is to go beyond the traditional notion of average AoI by characterizing and optimizing a URLLC system while capturing the AoI tail distribution. In particular, the problem of vehicles' power minimization while ensuring stringent latency and reliability constraints in terms of probabilistic AoI is studied. To this end, a novel and efficient mapping between both AoI and queue length distributions is proposed. Subsequently, extreme value theory (EVT) and Lyapunov optimization techniques are adopted to formulate and solve the problem. Simulation results shows a nearly two-fold improvement in terms of shortening the tail of the AoI distribution compared to a baseline whose design is based on the maximum queue length among vehicles, when the number of vehicular user equipment (VUE) pairs is 80. The results also show that this performance gain increases significantly as the number of VUE pairs increases.Comment: Accepted in IEEE GLOBECOM 2018 with 7 pages, 6 figure

Modeling and Design of Millimeter-Wave Networks for Highway Vehicular Communication

Connected and autonomous vehicles will play a pivotal role in future Intelligent Transportation Systems (ITSs) and smart cities, in general. High-speed and low-latency wireless communication links will allow municipalities to warn vehicles against safety hazards, as well as support cloud-driving solutions to drastically reduce traffic jams and air pollution. To achieve these goals, vehicles need to be equipped with a wide range of sensors generating and exchanging high rate data streams. Recently, millimeter wave (mmWave) techniques have been introduced as a means of fulfilling such high data rate requirements. In this paper, we model a highway communication network and characterize its fundamental link budget metrics. In particular, we specifically consider a network where vehicles are served by mmWave Base Stations (BSs) deployed alongside the road. To evaluate our highway network, we develop a new theoretical model that accounts for a typical scenario where heavy vehicles (such as buses and lorries) in slow lanes obstruct Line-of-Sight (LOS) paths of vehicles in fast lanes and, hence, act as blockages. Using tools from stochastic geometry, we derive approximations for the Signal-to-Interference-plus-Noise Ratio (SINR) outage probability, as well as the probability that a user achieves a target communication rate (rate coverage probability). Our analysis provides new design insights for mmWave highway communication networks. In considered highway scenarios, we show that reducing the horizontal beamwidth from $90^\circ$ to $30^\circ$ determines a minimal reduction in the SINR outage probability (namely, $4 \cdot 10^{-2}$ at maximum). Also, unlike bi-dimensional mmWave cellular networks, for small BS densities (namely, one BS every $500$ m) it is still possible to achieve an SINR outage probability smaller than $0.2$.Comment: Accepted for publication in IEEE Transactions on Vehicular Technology -- Connected Vehicles Serie

Time- and Frequency-Varying KK-Factor of Non-Stationary Vehicular Channels for Safety Relevant Scenarios

Vehicular communication channels are characterized by a non-stationary time- and frequency-selective fading process due to fast changes in the environment. We characterize the distribution of the envelope of the first delay bin in vehicle-to-vehicle channels by means of its Rician $K$-factor. We analyze the time-frequency variability of this channel parameter using vehicular channel measurements at 5.6 GHz with a bandwidth of 240 MHz for safety-relevant scenarios in intelligent transportation systems (ITS). This data enables a frequency-variability analysis from an IEEE 802.11p system point of view, which uses 10 MHz channels. We show that the small-scale fading of the envelope of the first delay bin is Ricean distributed with a varying $K$-factor. The later delay bins are Rayleigh distributed. We demonstrate that the $K$-factor cannot be assumed to be constant in time and frequency. The causes of these variations are the frequency-varying antenna radiation patterns as well as the time-varying number of active scatterers, and the effects of vegetation. We also present a simple but accurate bi-modal Gaussian mixture model, that allows to capture the $K$-factor variability in time for safety-relevant ITS scenarios.Comment: 26 pages, 12 figures, submitted to IEEE Transactions on Intelligent Transportation Systems for possible publicatio

The Dynamics of Vehicular Networks in Urban Environments

Vehicular Ad hoc NETworks (VANETs) have emerged as a platform to support intelligent inter-vehicle communication and improve traffic safety and performance. The road-constrained, high mobility of vehicles, their unbounded power source, and the emergence of roadside wireless infrastructures make VANETs a challenging research topic. A key to the development of protocols for inter-vehicle communication and services lies in the knowledge of the topological characteristics of the VANET communication graph. This paper explores the dynamics of VANETs in urban environments and investigates the impact of these findings in the design of VANET routing protocols. Using both real and realistic mobility traces, we study the networking shape of VANETs under different transmission and market penetration ranges. Given that a number of RSUs have to be deployed for disseminating information to vehicles in an urban area, we also study their impact on vehicular connectivity. Through extensive simulations we investigate the performance of VANET routing protocols by exploiting the knowledge of VANET graphs analysis.Comment: Revised our testbed with even more realistic mobility traces. Used the location of real Wi-Fi hotspots to simulate RSUs in our study. Used a larger, real mobility trace set, from taxis in Shanghai. Examine the implications of our findings in the design of VANET routing protocols by implementing in ns-3 two routing protocols (GPCR & VADD). Updated the bibliography section with new research work

Satellite Navigation for the Age of Autonomy

Global Navigation Satellite Systems (GNSS) brought navigation to the masses. Coupled with smartphones, the blue dot in the palm of our hands has forever changed the way we interact with the world. Looking forward, cyber-physical systems such as self-driving cars and aerial mobility are pushing the limits of what localization technologies including GNSS can provide. This autonomous revolution requires a solution that supports safety-critical operation, centimeter positioning, and cyber-security for millions of users. To meet these demands, we propose a navigation service from Low Earth Orbiting (LEO) satellites which deliver precision in-part through faster motion, higher power signals for added robustness to interference, constellation autonomous integrity monitoring for integrity, and encryption / authentication for resistance to spoofing attacks. This paradigm is enabled by the 'New Space' movement, where highly capable satellites and components are now built on assembly lines and launch costs have decreased by more than tenfold. Such a ubiquitous positioning service enables a consistent and secure standard where trustworthy information can be validated and shared, extending the electronic horizon from sensor line of sight to an entire city. This enables the situational awareness needed for true safe operation to support autonomy at scale.Comment: 11 pages, 8 figures, 2020 IEEE/ION Position, Location and Navigation Symposium (PLANS

An Assessment on the Use of Stationary Vehicles as a Support to Cooperative Positioning

In this paper, we consider the use of stationary vehicles as tools to enhance the localisation capabilities of moving vehicles in a VANET. We examine the idea in terms of its potential benefits, technical requirements, algorithmic design and experimental evaluation. Simulation results are given to illustrate the efficacy of the technique.Comment: This version of the paper is an updated version of the initial submission, where some initial comments of reviewers have been taken into accoun