Abdullah Abu Zaid;Baha Eddine Youcef Belmekki;Mohamed-Slim Alouini
{"title":"Aerial-Terrestrial Heterogeneous Networks for Urban Air Mobility: A Performance Analysis","authors":"Abdullah Abu Zaid;Baha Eddine Youcef Belmekki;Mohamed-Slim Alouini","doi":"10.1109/OJVT.2025.3551209","DOIUrl":null,"url":null,"abstract":"Urban air mobility (UAM) is increasingly capturing the attention of researchers and industry experts, as it holds the promise of providing faster and more economical solutions for urban commuting. Ensuring reliable communication for UAM aircraft is of paramount importance in maintaining operational safety. To that end, we use stochastic geometry tools to analyze the joint uplink-downlink coverage probability of an integrated aerial-terrestrial heterogeneous network (HetNet) for UAM aircraft, specifically electric vertical takeoff and landing (eVTOL) vehicles. We assume eVTOLs travel on predefined air corridors which are modeled as a Poisson line process (PLP). Furthermore, we model the spatial distribution of eVTOLs as a Matern hardcore process (MHCP) with a designated safety distance. We model the aerial base stations (ABSs) as a two-dimensional (2D) binomial point process (BPP), and the terrestrial base stations (TBSs) as a 2D Poisson point process (PPP). We use a suitable air-to-ground channel model to include line-of-sight (LOS) and non-line-of-sight (NLOS) transmissions. In the paper, we derive distance distributions to the closest ABS, LOS TBS, and NLOS TBS to a typical eVTOL, then we provide the association probability of each BS. Furthermore, we characterize the uplink interference and derive Laplace transforms for the PLP-MHCP distributed eVTOLs. Finally, we derive the coverage probability of the overall HetNet and carry out Monte Carlo simulations to validate our expressions.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"6 ","pages":"912-926"},"PeriodicalIF":5.3000,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10925893","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Open Journal of Vehicular Technology","FirstCategoryId":"1085","ListUrlMain":"https://ieeexplore.ieee.org/document/10925893/","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"ENGINEERING, ELECTRICAL & ELECTRONIC","Score":null,"Total":0}
引用次数: 0
Abstract
Urban air mobility (UAM) is increasingly capturing the attention of researchers and industry experts, as it holds the promise of providing faster and more economical solutions for urban commuting. Ensuring reliable communication for UAM aircraft is of paramount importance in maintaining operational safety. To that end, we use stochastic geometry tools to analyze the joint uplink-downlink coverage probability of an integrated aerial-terrestrial heterogeneous network (HetNet) for UAM aircraft, specifically electric vertical takeoff and landing (eVTOL) vehicles. We assume eVTOLs travel on predefined air corridors which are modeled as a Poisson line process (PLP). Furthermore, we model the spatial distribution of eVTOLs as a Matern hardcore process (MHCP) with a designated safety distance. We model the aerial base stations (ABSs) as a two-dimensional (2D) binomial point process (BPP), and the terrestrial base stations (TBSs) as a 2D Poisson point process (PPP). We use a suitable air-to-ground channel model to include line-of-sight (LOS) and non-line-of-sight (NLOS) transmissions. In the paper, we derive distance distributions to the closest ABS, LOS TBS, and NLOS TBS to a typical eVTOL, then we provide the association probability of each BS. Furthermore, we characterize the uplink interference and derive Laplace transforms for the PLP-MHCP distributed eVTOLs. Finally, we derive the coverage probability of the overall HetNet and carry out Monte Carlo simulations to validate our expressions.