Most bounds on the stability region of Aloha give necessary and sufficient conditions for the stability of an arrival rate vector under a specific contention probability (control) vector. But such results do not yield easy-to-check bounds on the overall Aloha stability region because they potentially require checking membership in an uncountably infinite number of sets parameterized by each possible control vector. In this paper we consider an important specific inner bound on Aloha that has this property of difficulty to check membership in the set. We provide ellipsoids (for which membership is easy-to-check) that we conjecture are inner and outer bounds on this set. We also study the set of controls that stabilize a fixed arrival rate vector; this set is shown to be a convex set.
On a Generalized Foster-Lyapunov Type Criterion for the Stability of Multidimensional Markov chains with Applications to the Slotted-Aloha Protocol with Finite Number of Queues
Exponential Backoff: Meta-Stability and Implicit Admission Control
Université Paris-Saclay, CNRS, CentraleSupélec, Laboratoire des signaux et systèmes（巴黎萨克雷大学、法国国家科学研究中心、中央理工-苏佩莱克学院、信号与系统实验室）；Swapcard；Institut Polytechnique de Paris（巴黎理工学院）
