University of Northern Iowa
IEEE 802.11p has become the standard to be used in future vehicular ad hoc networks. However, most studies on its performance are based on simulations. In this paper, the authors present a novel analytical approach based on stochastic geometry. In particular, they extend the Matern hardcore type II process with a discrete and non-uniform distribution, which is used to derive the temporal states of back-off counters. By doing so, concurrent transmissions from nodes within the carrier sensing ranges of each other are taken into account, leading to a more accurate approximation to real network dynamics.