Dynamic power allocation and routing for satellite and wireless networks with time varying channels

Satellite and wireless networks operate over time varying channels that depend on attenuation conditions, power allocation decisions, and inter-channel interference. In order to reliably integrate these systems into a high speed data network and meet the increasing demand for high throughput and low delay, it is necessary to develop efficient network layer strategies that fully utilize the physical layer capabilities of each network element. In this thesis, we develop the notion of network layer capacity and describe capacity achieving power allocation and routing algorithms for general networks with wireless links and adaptive transmission rates. Fundamental issues of delay, throughput optimality, fairness, implementation complexity, and robustness to time varying channel conditions and changing user demands are discussed. Analysis is performed at the packet level and fully considers the queueing dynamics in systems with arbitrary, potentially bursty, arrival processes. Applications of this research are examined for the specific cases of satellite networks and ad-hoc wireless networks. Indeed, in Chapter 3 we consider a multi-beam satellite downlink and develop a dynamic power allocation algorithm that allocates power to each link in reaction to queue backlog and current channel conditions. The algorithm operates without knowledge of the arriving traffic or channel statistics, and is shown to achieve maximum throughput while maintaining average delay guarantees. At the end of Chapter 4, a crosslinked collection of such satellites is considered and a satellite separation principle is developed, demonstrating that joint optimal control can be implemented with separate algorithms for the downlinks and crosslinks. Ad-hoc wireless networks are given special attention in Chapter 6. A simple cell-partitioned model for a mobile ad-hoc network with N users is constructed, and exact expressions for capacity and delay are derived. End-to-end delay is shown to be O(N), and hence grows large as the size of the network is increased. To reduce delay, a transmission protocol which sends redundant packet information over multiple paths is developed and shown to provide O( N ) delay at the cost of reducing throughput. A fundamental rate-delay tradeoff curve is established, and the given protocols for achieving O(N) and O( N ) delay are shown to operate on distinct boundary points of this curve. In Chapters 4 and 5 we consider optimal control for a general time-varying network. A cross-layer strategy is developed that stabilizes the network whenever possible, and makes fair decisions about which data to serve when inputs exceed capacity. The strategy is decoupled into separate algorithms for dynamic flow control, power allocation, and routing, and allows for each user to make greedy decisions independent of the actions of others. The combined strategy is shown to yield data rates that are arbitrarily close to the optimally fair operating point that is achieved when all network controllers are coordinated and have perfect knowledge of future events. The cost of approaching this fair operating point is an end-to-end delay increase for data that is served by the network. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)

[1]  Fillia Makedon,et al.  Fast approximation algorithms for multicommodity flow problems , 1991, STOC '91.

[2]  Rene L. Cruz,et al.  Optimal routing, link scheduling and power control in multihop wireless networks , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[3]  Stavros Toumpis,et al.  Some Capacity Results for Ad Hoc Networks , 2000 .

[4]  Sheldon M. Ross,et al.  Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.

[5]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.

[6]  Joong Soo Ma,et al.  Mobile Communications , 2003, Lecture Notes in Computer Science.

[7]  Jordi Cortadella,et al.  Algorithm Analysis , 2003 .

[8]  Stephen P. Boyd,et al.  Simultaneous routing and resource allocation for wireless networks , 2001 .

[9]  W. C. Jakes,et al.  Microwave Mobile Communications , 1974 .

[10]  Michael J. Neely,et al.  Queue occupancy in single-server deterministic service time tree networks , 1999 .

[11]  Leandros Tassiulas,et al.  Stability properties of constrained queueing systems and scheduling policies for maximum throughput in multihop radio networks , 1992 .

[12]  Jihwan P. Choi,et al.  Channel prediction and adaptation over satellite channels with weather-induced impairments , 2000 .

[13]  Edmund M. Yeh,et al.  Throughput and delay optimal resource allocation in multiaccess fading channels , 2003, IEEE International Symposium on Information Theory, 2003. Proceedings..

[14]  Daniel C. Lee,et al.  Optimization of call admission control for a statistical multiplexer allocating link bandwidth , 2003, IEEE Trans. Autom. Control..

[15]  David Tse,et al.  Multiaccess Fading Channels-Part I: Polymatroid Structure, Optimal Resource Allocation and Throughput Capacities , 1998, IEEE Trans. Inf. Theory.

[16]  Fernando Paganini,et al.  Congestion control for high performance, stability, and fairness in general networks , 2005, IEEE/ACM Transactions on Networking.

[17]  Kumar N. Sivarajan,et al.  Channel assignment algorithms satisfying cochannel and adjacent channel reuse constraints in cellular mobile networks , 2002, IEEE Trans. Veh. Technol..

[18]  Søren Asmussen,et al.  Applied probability and queues, Second Edition , 2003, Applications of mathematics.

[19]  Nabil Kahale,et al.  Dynamic global packet routing in wireless networks , 1997, Proceedings of INFOCOM '97.

[20]  Stephen P. Boyd,et al.  QoS and fairness constrained convex optimization of resource allocation for wireless cellular and ad hoc networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[21]  Elif Uysal-Biyikoglu,et al.  Energy-efficient scheduling of packet transmissions over wireless networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[22]  Jorma T. Virtamo,et al.  The superposition of periodic cell arrival streams in an ATM multiplexer , 1991, IEEE Trans. Commun..

[23]  Dimitri P. Bertsekas,et al.  Data Networks , 1986 .

[24]  Eitan Altman,et al.  Balanced sequences and optimal routing , 2000, JACM.

[25]  Asser N. Tantawi,et al.  Optimal static load balancing in distributed computer systems , 1985, JACM.

[26]  S.M. Elnoubi,et al.  A new frequency channel assignment algorithm in high capacity mobile communication systems , 1982, IEEE Transactions on Vehicular Technology.

[27]  Anthony Ephremides,et al.  Information Theory and Communication Networks: An Unconsummated Union , 1998, IEEE Trans. Inf. Theory.

[28]  R. Aho,et al.  Pruning Duplicate Nodes in Depth-First Search , 1993 .

[29]  Z. Liu,et al.  Optimality of the round-robin routing policy , 1992, Journal of Applied Probability.

[30]  Michael Pinedo,et al.  A note on queues with Bernoulli routing , 1990, 29th IEEE Conference on Decision and Control.

[31]  Cheng-Shang Chang,et al.  A new ordering for stochastic majorization: theory and applications , 1992, Advances in Applied Probability.

[32]  Alain Jean-Marie,et al.  Parallel queues with resequencing , 1993, JACM.

[33]  J. H. van Schuppen,et al.  Distributed routing for load balancing , 1989, Proc. IEEE.

[34]  Zygmunt J. Haas,et al.  The shared wireless infostation model: a new ad hoc networking paradigm (or where there is a whale, there is a way) , 2003, MobiHoc '03.

[35]  Armand M. Makowski,et al.  Convexity Results for Parallel Queues with Bernoulli Routing , 1990 .

[36]  Eytan Modiano,et al.  Power and server allocation in a multi-beam satellite with time varying channels , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[37]  Zygmunt J. Haas,et al.  Multipath routing in the presence of frequent topological changes , 2001, IEEE Commun. Mag..

[38]  Piyush Gupta,et al.  Critical Power for Asymptotic Connectivity in Wireless Networks , 1999 .

[39]  Sلأren Asmussen,et al.  Applied Probability and Queues , 1989 .

[40]  J. V. Mieghem Dynamic Scheduling with Convex Delay Costs: The Generalized CU Rule , 1995 .

[41]  Ronald L. Graham,et al.  Bounds on Multiprocessing Timing Anomalies , 1969, SIAM Journal of Applied Mathematics.

[42]  Peter Marbach,et al.  Priority service and max-min fairness , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[43]  Dimitri P. Bertsekas,et al.  Convex Analysis and Optimization , 2003 .

[44]  Eitan Altman,et al.  Multimodularity, Convexity, and Optimization Properties , 2000, Math. Oper. Res..

[45]  David R. Karger,et al.  A better algorithm for an ancient scheduling problem , 1994, SODA '94.

[46]  Guy Pujolle,et al.  Introduction to queueing networks , 1987 .

[47]  Sheldon M. Ross,et al.  Introduction to probability models , 1975 .

[48]  Bennett Fox,et al.  Discrete Optimization Via Marginal Analysis , 1966 .

[49]  Matthew Andrews,et al.  Providing quality of service over a shared wireless link , 2001, IEEE Commun. Mag..

[50]  Samuel P. Morgan,et al.  Input Versus Output Queueing on a Space-Division Packet Switch , 1987, IEEE Trans. Commun..

[51]  Wayne L. Winston OPTIMALITY OF THE SHORTEST LINE DISCIPLINE , 1977 .

[52]  Frank Kelly,et al.  Reversibility and Stochastic Networks , 1979 .

[53]  Frank Kelly,et al.  Charging and rate control for elastic traffic , 1997, Eur. Trans. Telecommun..

[54]  Jeffrey P. Cunard,et al.  CHAPTER I – SUMMARY , 1986 .

[55]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[56]  Radha Poovendran,et al.  Maximizing static network lifetime of wireless broadcast ad hoc networks , 2003, IEEE International Conference on Communications, 2003. ICC '03..

[57]  Jeffrey P. Buzen,et al.  Optimal Load Balancing in Memory Hierarchies , 1974, IFIP Congress.

[58]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks-the single node case , 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.

[59]  Ashish Goel,et al.  Oblivious AQM and Nash equilibria , 2002, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[60]  Frank Kelly,et al.  Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..

[61]  Edith Cohen,et al.  Replication strategies in unstructured peer-to-peer networks , 2002, SIGCOMM.

[62]  J. Ben Atkinson,et al.  An Introduction to Queueing Networks , 1988 .

[63]  Eytan Modiano,et al.  Improving Delay in Ad-Hoc Mobile Networks Via Redundant Packet Transfers , 2003 .

[64]  François Baccelli,et al.  Elements Of Queueing Theory , 1994 .

[65]  Andrea J. Goldsmith,et al.  Capacity and optimal power allocation for fading broadcast channels with minimum rates , 2003, IEEE Trans. Inf. Theory.

[66]  J. Allnutt,et al.  A new prediction method for tropospheric scintillation on Earth-space paths , 1988 .

[67]  David Tse,et al.  Power control and capacity of spread spectrum wireless networks , 1999, Autom..

[68]  David Tse,et al.  Multiaccess Fading Channels-Part II: Delay-Limited Capacities , 1998, IEEE Trans. Inf. Theory.

[69]  Eitan Altman,et al.  Admission control in stochastic event graphs , 2000, IEEE Trans. Autom. Control..

[70]  Kathleen J. Mullen,et al.  Agricultural Policies in India , 2018, OECD Food and Agricultural Reviews.

[71]  R. Johari,et al.  Network resource allocation and a congestion game: the single link case , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[72]  Michael J. Neely,et al.  Equivalent Models and Analysis for Multi-Stage Tree Networks of Deterministic Service Time Queues , 2000 .

[73]  Tamer A. ElBatt,et al.  Joint scheduling and power control for wireless ad hoc networks , 2002, IEEE Transactions on Wireless Communications.

[74]  Alexander L. Stolyar,et al.  Convexity properties of loss and overflow functions , 2003, Oper. Res. Lett..

[75]  Marco Ajmone Marsan,et al.  Bounds on average delays and queue size averages and variances in input-queued cell-based switches , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[76]  Ward Whitt,et al.  Comparison methods for queues and other stochastic models , 1986 .

[77]  Sean P. Meyn,et al.  Stability of queueing networks and scheduling policies , 1995, IEEE Trans. Autom. Control..

[78]  Rene L. Cruz,et al.  A calculus for network delay, Part II: Network analysis , 1991, IEEE Trans. Inf. Theory.

[79]  Amos Fiat,et al.  New algorithms for an ancient scheduling problem , 1992, STOC '92.

[80]  Jan A. Van Mieghem,et al.  Dynamic Control of Brownian Networks: State Space Collapse and Equivalent Workload Formulations , 1997 .

[81]  N. L. Lawrie,et al.  Comparison Methods for Queues and Other Stochastic Models , 1984 .

[82]  S. Fischer Selfish Routing , 2002 .

[83]  Randall A. Berry Power and delay optimal transmission scheduling small delay asymptotics , 2003, IEEE International Symposium on Information Theory, 2003. Proceedings..

[84]  Fernando Paganini,et al.  FAST TCP: from theory to experiments , 2005, IEEE Netw..

[85]  Morton J. M. Posner,et al.  A level-crossing approach to the solution of the shortest-queue problem , 1997, Oper. Res. Lett..

[86]  Eytan Modiano,et al.  Power allocation and routing in multibeam satellites with time-varying channels , 2003, TNET.

[87]  Robert G. Gallager,et al.  A Minimum Delay Routing Algorithm Using Distributed Computation , 1977, IEEE Trans. Commun..

[88]  Anthony Ephremides,et al.  Extension of the optimality of the threshold policy in heterogeneous multiserver queueing systems , 1988 .

[89]  Rayadurgam Srikant,et al.  Pathwise optimality and state space collapse for the exponential rule , 2002, Proceedings IEEE International Symposium on Information Theory,.

[90]  Leandros Tassiulas,et al.  Scheduling and performance limits of networks with constantly changing topology , 1997, IEEE Trans. Inf. Theory.

[91]  Zhen Liu,et al.  Optimal Load Balancing on Distributed Homogeneous Unreliable Processors , 1998, Oper. Res..

[92]  P. Caines,et al.  Individual and mass behaviour in large population stochastic wireless power control problems: centralized and Nash equilibrium solutions , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[93]  Eytan Modiano,et al.  Optimal energy allocation for delay-constrained data transmission over a time-varying channel , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[94]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[95]  B. Hajek Optimal control of two interacting service stations , 1982, 1982 21st IEEE Conference on Decision and Control.

[96]  M.J. Neely,et al.  Logarithmic delay for N/spl times/N packet switches , 2004, 2004 Workshop on High Performance Switching and Routing, 2004. HPSR..

[97]  Mohamed-Slim Alouini,et al.  Channel characterization and modeling for Ka-band very small aperture terminals , 1997 .

[98]  Dimitri P. Bertsekas,et al.  Nonlinear Programming , 1997 .

[99]  C. Shannon,et al.  Communication In The Presence Of Noise , 1998, Proceedings of the IEEE.

[100]  Ness B. Shroff,et al.  Downlink power allocation for multi-class CDMA wireless networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[101]  Elif Uysal-Biyikoglu,et al.  Energy-efficient packet transmission over a wireless link , 2002, TNET.

[102]  Panganamala Ramana Kumar,et al.  RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN , 2001 .

[103]  Roy D. Yates,et al.  Exploiting data diversity and multiuser diversity in noncooperative mobile infostation networks , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[104]  Anthony Ephremides,et al.  A simple dynamic routing problem , 1980 .

[105]  R. Weber On the optimal assignment of customers to parallel servers , 1978, Journal of Applied Probability.

[106]  Leandros Tassiulas,et al.  Exploiting wireless channel State information for throughput maximization , 2004, IEEE Transactions on Information Theory.

[107]  Onno J. Boxma,et al.  Optimization of Static Traffic Allocation Policies , 1994, Theor. Comput. Sci..

[108]  R. K. Crane,et al.  Ka-band scintillations: measurements and model predictions , 1997, Proc. IEEE.

[109]  Eytan Modiano,et al.  Capacity and delay tradeoffs for ad hoc mobile networks , 2004, IEEE Transactions on Information Theory.

[110]  David P. Williamson,et al.  Scheduling parallel machines on-line , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[111]  C.E. Shannon,et al.  Communication in the Presence of Noise , 1949, Proceedings of the IRE.

[112]  Bruce Hajek,et al.  Scheduling with asynchronous service opportunities with applications to multiple satellite systems , 1993, IEEE Trans. Autom. Control..

[113]  Hans Daduna,et al.  Queueing Networks with Discrete Time Scale , 2001, Lecture Notes in Computer Science.

[114]  Zhen Liu,et al.  Capacity, delay and mobility in wireless ad-hoc networks , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[115]  Martin Vetterli,et al.  Locating nodes with EASE: last encounter routing in ad hoc networks through mobility diffusion , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[116]  Moshe Shaked,et al.  Stochastic orders and their applications , 1994 .

[117]  Michael L. Honig,et al.  Design and analysis of downlink utility-based schedulers , 2002 .

[118]  E. Gilbert Capacity of a burst-noise channel , 1960 .

[119]  Theodore S. Rappaport,et al.  Wireless communications - principles and practice , 1996 .

[120]  Nick McKeown,et al.  A practical scheduling algorithm to achieve 100% throughput in input-queued switches , 1998, Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98.

[121]  Harish Viswanathan,et al.  Rate scheduling in multiple antenna downlink wireless systems , 2005, IEEE Transactions on Communications.

[122]  Peter Marbach,et al.  Downlink resource allocation and pricing for wireless networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[123]  Leandros Tassiulas,et al.  Energy conserving routing in wireless ad-hoc networks , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[124]  Eytan Modiano,et al.  Convexity and optimal load distributions in work conserving */*/1 queues , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[125]  D. Tang,et al.  A General Multibeam Satellite Switching Algorithm , 1981, IEEE Trans. Commun..

[126]  Richard L. Tweedie,et al.  Markov Chains and Stochastic Stability , 1993, Communications and Control Engineering Series.

[127]  David Tse,et al.  Mobility increases the capacity of ad hoc wireless networks , 2002, TNET.

[128]  Edward G. Coffman,et al.  An Application of Bin-Packing to Multiprocessor Scheduling , 1978, SIAM J. Comput..

[129]  E. O. Elliott Estimates of error rates for codes on burst-noise channels , 1963 .

[130]  Michael Pinedo,et al.  Monotonicity results for queues with doubly stochastic Poisson arrivals: Ross's conjecture , 1991, Advances in Applied Probability.

[131]  Eytan Modiano,et al.  Tradeoffs in Delay Guarantees and Computation Complexity for Packet Switches NN , 2002 .

[132]  Anurag Kumar,et al.  Adaptive Optimal Load Balancing in a Nonhomogeneous Multiserver System with a Central Job Scheduler , 1990, IEEE Trans. Computers.

[133]  Jean C. Walrand,et al.  Achieving 100% throughput in an input-queued switch , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[134]  Vincent W. S. Chan,et al.  Predicting and adapting satellite channels with weather-induced impairments , 2002 .

[135]  Leandros Tassiulas,et al.  Dynamic server allocation to parallel queues with randomly varying connectivity , 1993, IEEE Trans. Inf. Theory.

[136]  Onno Boxma,et al.  Static optimization of queueing systems , 1995 .

[137]  Eytan Modiano,et al.  Dynamic power allocation and routing for time varying wireless networks , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[138]  Rick S. Blum,et al.  Delay limited capacity of ad hoc networks: asymptotically optimal transmission and relaying strategy , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[139]  Steven H. Low,et al.  A duality model of TCP and queue management algorithms , 2003, TNET.

[140]  Bruce E. Hajek,et al.  Extremal Splittings of Point Processes , 1985, Math. Oper. Res..

[141]  Shlomo Shamai,et al.  Fading Channels: Information-Theoretic and Communication Aspects , 1998, IEEE Trans. Inf. Theory.

[142]  Stefan Friedrich,et al.  Topology , 2019, Arch. Formal Proofs.

[143]  Robert G. Gallager,et al.  Discrete Stochastic Processes , 1995 .

[144]  Harish Viswanathan,et al.  Dynamic load balancing through coordinated scheduling in packet data systems , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[145]  Michel Mandjes,et al.  The Buffer-Bandwidth Trade-off Curve is Convex , 2001, Queueing Syst. Theory Appl..

[146]  Tim Roughgarden,et al.  Selfish Routing , 2002 .

[147]  Christos G. Cassandras,et al.  Optimal routing and buffer allocation for a class of finite capacity queueing systems , 1992 .

[148]  Ger Koole,et al.  On the Pathwise Optimal Bernoulli Routing Policy for Homogeneous Parallel Servers , 1996, Math. Oper. Res..

[149]  John N. Tsitsiklis,et al.  Network resource allocation and a congestion game: the single link case , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).