Coverage Probability of UAV-Enabled Millimeter Wave Communications in Finite Areas

In UAV-enabled mmWave networks, the locations of UAVs are usually modeled by a Poisson point process or a Poisson cluster process in an infinite area. However, some typical scenarios merely deploy a fixed number of UAVs in a finite area such as hotspot areas and disaster response. To capture these characteristics, we propose a 3D UAV-enabled mmWave network model in a finite area where UAVs follow a Binomial point process (BPP). Under this setup, we derive the expression of the coverage probability for the target user at an arbitrary location rather than the region center, and further provide simplified analysis in three special cases including interference-limited case, noise-limited case and the case with the target user located at the region center. Numerical results show that the location of the target user has a significant impact on coverage probability, and a maximum coverage probability can be obtained by adjusting the height and number of UAVs.