Coverage Analysis of SAGIN With Sectorized Beam Pattern Under Shadowed-Rician Fading Channels

Space-air-ground integrated networks (SAGIN) have become a research hotspot facing the next generation of communications. The theoretical analysis for non-terrestrial networks (NTN) is significant before applying them in practical scenarios, but the existing works failed to provide a general analysis approach for NTN. Against this background, multiple satellites and civil aircrafts (CAs) are modeled as 3-D binomial point processes (BPPs) in the given finite space in this paper, and we desire to investigate the coverage performance of downlink CA augmented-SAGIN (CAA-SAGIN). Considering the sectorized beam pattern of platforms, we provide a detailed analysis of the different distributions of the serving and interfering platforms and derive the Laplace transform of the interference under shadowed-Rician fading channels. Then, the exact and closed-form expressions are obtained for the general cases with interference and the particular cases without interference via stochastic geometry. The approximations and boundary values are derived by adopting the existing mathematical theories. We analyze the effects of different parameters on the coverage probability of satellite and CA networks, and prove the validity of the derived analytical expressions, approximations, and bounds. Moreover, this work paves the way from the system level to exploit the generic coverage performance of NTN.