Satellite-Aerial Communications With Multi-Aircraft Interference

Satellite-aerial communication (SAC) is envisioned as a fundamental component of the sixth-generation (6G) wireless networks. Motivated by its importance, we investigate a SAC system including a geostationary satellite (S), a target aircraft (TA), and a set of interfering aircraft (IA). Specifically, TA sends signals to S in the presence of IA interference. Considering the trajectory, hierarchy, and safety distance of the aircraft's flight routes, we propose a novel three-dimensional stacked Poisson line hardcore point process. That is, we introduce safety distances to the stacked Poisson line Cox process in order to describe the locations of IA in the sky. We also propose two approximations, namely, the equi-dense model and the discretization model, to maintain the tractability of the analysis. To this end, the uplink coverage probability is studied by using the two proposed mathematical models. Moreover, we investigate the coverage probability of the aviation use case with predefined flight altitudes. Finally, numerical results and Monte Carlo simulations are presented to validate the accuracy of the proposed analysis.