Power and server allocation in a multi-beam satellite with time varying channels

We consider power and server allocation in a multi-beam satellite downlink which transmits data to N different ground locations over N time-varying channels. Packets destined for each ground location are stored in separate queues, and the server rate for each queue i depends on the power p_i(t) allocated to that server and the channel state c_i(t) according to a concave rate-power curve μ_i(p_i, c_i). We establish the capacity region of all arrival rate vectors which admit a stabilizable system. For the case when channel states and arrivals are iid from timeslot to timeslot, we develop a particular power allocation policy which stabilizes the system whenever the rate vector lies within the capacity region. Such stability is guaranteed even if the channel model and the specific arrival rates are unknown. As a special case, this analysis verifies the stability of the "choose-the-K-largest-connected-queues" policy when channels can be in one of two states (ON or OFF) and K servers are allocated at every timestep (K\n\n\t\t