Poisson Receivers: A Probabilistic Framework for Analyzing Coded Random Access

• Published in: IEEE/ACM transactions on networking Vol. 29; no. 2; pp. 862 - 875
• Main Authors: Yu, Che-Hao, Huang, Lin, Chang, Cheng-Shang, Lee, Duan-Shin
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.04.2021; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: ALOHA; Broadband; Closures; Communications traffic; Encoding; Extreme values; Fading channels; Load modeling; Mobile computing; Multiple access; Network latency; Random access; Receivers; Spatial diversity; Statistical analysis; successive interference cancellation; Throughput; Ultra reliable low latency communication; ultra-reliable low-latency communications
• ISSN: 1063-6692; 1558-2566
• DOI: 10.1109/TNET.2021.3050485

In this article, we develop a probabilistic framework for analyzing coded random access. Our framework is based on a new abstract receiver (decoder), called a Poisson receiver, that is characterized by a success probability function of a tagged packet subject to a Poisson offered load. We show that various coded slotted ALOHA (CSA) systems are Poisson receivers. Moreover, Poisson receivers have two elegant closure properties: (i) Poisson receivers with packet routing are still Poisson receivers, and (ii) Poisson receivers with packet coding are still Poisson receivers. These two closure properties enable us to use smaller Poisson receivers as building blocks for analyzing a larger Poisson receiver. As such, we can analyze complicated systems that are not possible by the classical tree evaluation method. In particular, for CSA systems with both spatial diversity and temporal diversity, we can use the framework of Poisson receivers to compute the exact (asymptotic) throughput. We demonstrate that our framework can be used to provide differentiated services between ultra-reliable low-latency communication (URLLC) traffic and enhanced mobile broadband (eMBB) traffic. By conducting extensive simulations, we also verify that our theoretical results match extremely well with the simulation results.