- Research Article
- Open Access
An Active Constraint Method for Distributed Routing, and Power Control in Wireless Networks
© Alban Ferizi et al. 2009
- Received: 17 April 2009
- Accepted: 15 December 2009
- Published: 8 February 2010
Efficiently transmitting data in wireless networks requires joint optimization of routing, scheduling, and power control. As opposed to the universal dual decomposition we present a method that solves this optimization problem by fully exploiting our knowledge of active constraints. The method still maintains main requirements such as optimality, distributed implementation, multiple path routing and per-hop error performance. To reduce the complexity of the whole problem, we separate scheduling from routing and power control, including it instead in the constraint set of the joint optimization problem. Apart from the mathematical framework we introduce a routing and power control decomposition algorithm that uses the active constraint method, and we give further details on its distributed application. For verification, we apply the distributed RPCD algorithm to examples of wireless mesh backhaul networks with fixed nodes. Impressive convergence results indicate that the distributed RPCD algorithm calculates the optimum solution in one decomposition step only.
- Time Slot
- Source Node
- Power Control
- Wireless Mesh Network
- Subgradient Method
Nowadays, there is an increased interest in communication via wireless mesh networks such as ad-hoc, sensor, or wireless mesh backhauling networks [1, 2]. In wireless networks the link capacities are variable quantities and can be adjusted by the resource allocation such as scheduling, and power allocation to fully exploit network performance. Hence, for efficient data transmission an integrated routing, time scheduling and power control optimization strategy are required. This strategy has to take different transmission constraints into account, for example, maximum available power level or limited buffer size at nodes. The inherent decentralized nature of wireless mesh networks mandates that distributed algorithms should be developed to implement the joint routing, scheduling, and power control optimization. The first step towards a distributed implementation is to break up this problem into manageable subproblems and solve these subproblems by iterative algorithms. Cruz and Santhanam  have addressed the problem of finding an optimal link scheduling and power control policy while minimizing total average power consumption. Their algorithm is designed for single-path routing only, does not consider buffer limitations and has a worst case exponential complexity. In , Li and Ephremedis solve at first power control and scheduling jointly. They use the obtained power values to calculate a routing distance that in turn is used by Bellman-Ford routing. However, the proposed separation is performed by not considering the combinational structure of the entire routing, scheduling and power control problem. Although less computationally intensive, the algorithm ends up in a suboptimal solution. It further fully neglects multiple path routing as well as buffer restrictions. Xiao et al. proposed in  the dual decomposition as a promising decomposition approach. By dual decomposition the overall problem is split into two subproblems while the master dual problem coordinates them. In this paper we consider joint routing, time-scheduling, and power control for single frequency wireless mesh networks. The wireless transmissions are arranged in time-slots. However, we take into account that simultaneously active transmissions suffer from multiple access interference. Dual decomposition is a universal approach to solve such optimization problems [5, 6], but it does not consider the specific combinational structures of optimization problems. By contrast, we propose a novel method that explicitly exploits the combinational structure of a joint routing, time-scheduling, and power control problem by means of an active constraint method. The formulation of the optimization problem is yet generally valid, so that the method proposed here is applicable to a plurality of wireless networks. The proposed approach meets the following requirements: ( ) less iterations to an optimum solution, ( ) distributed implementation, ( ) multiple path routing, and ( ) per hop error performance. In particular, the approach is as follows. We separate scheduling from routing and power allocation by including it in the constraint set of a S imultaneous R outing and P ower C ontrol (SRPC) problem. For scheduling, several well known approximations such as Greedy-based approaches exist [7, Section ], that we can leverage on. The constraints we use in the SRPC problem are induced by a precalculated colored graph of the network that, in turn, reflects the scheduling decisions of any arbitrary scheduler. Consequently, the main contribution is to introduce a R outing and P ower C ontrol D ecomposition (RPCD) method to solve the simultaneous routing and power control problem while meeting the above-mentioned requirements. The clever bits of the RPCD are manifold. ( ) We rewrite the SRPC problem to an equivalent problem by applying the active constraint method. ( ) We decouple the equivalent problem by solving a (convex) network and a (convex) power assignment problem separately. ( ) Iterations are performed by switching between the two subproblems for which network and power variables act as interchanging variables. Apart from the mathematical framework we introduce the RPCD algorithm and prove its convergence to a KKT-point of the joint routing and power control problem. We compare the RPCD algorithm with dual decomposition as state-of-art approach with respect to the number of iterations needed to calculate the KKT-point. This verification is performed by applying both algorithms to a wireless cellular mesh backhauling network [1, 2]. The backhauling network describes a "regular" cellular network. This models the situation where, in order to save infrastructure expenses of laying cable or fiber to each node (base station), we try to extend the range of a given source node with wired backhaul connection by using several other nodes. These intermediate nodes have no wired connection and can only communicate with the backhaul via the source node by wireless mesh communications. The simulation set-up correctly models mobile radio channel characteristics such as path-loss and slow fading. The comparison indicates that the RPCD approach requires only one decomposition step to calculate the optimum solution as opposed to dual decomposition. This paper is organized as follows. In Section 2 we describe the network model used for the wireless data network. In Section 3 we formulate the optimization problem and define the standard interference function. The RPCD algorithm for solving the joint routing and power control problem is presented in Section 4. We extend the RPCD algorithm in Section 5 by introducing distributed algorithms for solving the routing and power assignment problem. Finally, in Section 6 we apply the algorithm to a wireless backhaul network and present the simulation results. We conclude the paper in Section 7.
with as an additive noise power of edge . If we only assume thermal noise to be the same for all edges, we have with noise spectral density . For the optimization problems to be introduced later we have the following design variables. As network flow variables we have as the part of the message sent along edge in time slot (in bits), and as the part of the message stored in a buffer at node directly before the start of time slot (in bits). Communication variable is the transmit power allocated to edge at time slot to transmit the total traffic on edge (in Watt). If we stack the different variables to vectors we obtain , , and . We further use the following parameters. Let be the size of message (in bits) and be the maximum total buffer size at node (in bits). Power constraints are as the maximum transmission power of a node (in Watt) assumed to be the same for all nodes and as the maximum transmission power per edge (in Watt).
3.1. Problem Description
Let us consider an operation of a wireless data network with the objective to minimize a convex cost function (or to maximize a concave utility function). The design variables , , and are subject to some constraints. For instance, with we require the power constraints
forming the polyhedral set
Since we isolated coloring from the joint routing and power control, we have to take the precalculated colored network graph in the flow constraints into account. Similar to power constraints, we require that flow constraints form a polyhedral set . For example, if we assume that given source nodes have to transmit messages of sizes to destinations in a given time , the polyhedral set is defined by the equalities and inequalities
Equations (7) and (8) avoid buffer overload while (9) and (10) initialize buffer values. To account for delay constraints (11) and (12) ensure that messages reach their destinations completely at at last. Coloring is ensured by (13) and (14) is a modified Kirchhoff's Law . The SRPC problem under consideration is now as follows
By the last constraints, we assume that at any time each node can map all part of messages onto a single link for transmission . Furthermore, we assume that the amount of information (in bits) we can transmit on a single wireless link at time slot is bounded from above by a maximum mutual information bound that itself depends on the power setting. The last constraints of (15) are the only constraints coupling network flow variables with communication variables . Thus, we call them coupling constraints , and they represent the most challenging constraints of the SRPC problem. All the other constraints are either constraints for the network flow variables or for the communication variables only. Assuming time-invariant channel conditions within the duration of a single time slot , function describes the amount of information of edge and can be expressed with (1) by the well-known Shannon formula
A comprehensive overview on commonly used cost functions for wireless data networks is given in .
3.2. Standard Interference Function
If we insert (1) into (16) and solve the coupling constraints in (15) for power values, we obtain rewritten coupling constraints as
The positivity property ensures positive power values of the joint routing and power control problem (15). If any transmit power level is decreased, the monotonicity guarantees the decrease of the interference on the other links in the network, ensuring the maintenance of the same or even the achievement of a lower interference level for all links. The scalability property implies that if then for .
Interestingly, (20) represents a Quality-of-Service (QoS) constraint, that is, a lower bound on the (implicitly defined) SINR. By reusing the coupling constraints again (15) and solving (16) for SINR we require
SINR is the main indicator for the transmission quality. Hence, given a modulation and coding scheme a specific per-hop error performance implies a respective . In turn, by varying we vary the transmission quality.
This power iteration represents a standard power control algorithm as introduced in . The power iteration used herein to solve (15) will be described in detail in Section 5.1. With coupling constraints (20) of problem (15) we can make use of the properties of the standard interference function , arriving at the following theorem.
Suppose there exists a feasible point of this optimization problem, then there exists a feasible point with the same or better objective function value for which all the constraints (20) are active, that is, equality holds in all of them. Especially, for every optimum objective function value there exists an optimum variable setting such that all constraints in (20) are active. If is strictly monotone in , then all constraints (20) are active at each optimal solution of this problem.
See Appendix A.
Theorem 1 is an extension of the results found in . In contrast to  we do not assume that is just a sum of powers, instead it can be an arbitrary function being monotone in power values. Moreover, the objective as well as the coupling constraints depend on the flow variables and buffers , a case not considered in .
In this section we present the RPCD-Algorithm for solving the SRPC problem (15). In contrast to universal approaches, like the dual decomposition method, we fully exploit our knowledge of active constraints of the joint optimization problem.
Based on Theorem 1 we can formulate an equivalent optimization problem but we avoid the extension of the utility function as usually done by applying dual or penalty approaches. We further keep the constraints and we only have to exchange the common network and power variables.
Let us consider again problem (15). Due to Theorem 1 we know that all coupling constraints (20) of the SRPC problem are active at least at one optimum solution. By means of this observation, we can rewrite the SRPC problem to an equivalent problem as follows. Activity (equality) means that
We now substitute (24) into the objective of the SRPC problem (15) and obtain an equivalent problem with the rewritten cost function as
In the following we use (25) and decompose the SRPC problem into two convex subproblems.
In particular, by assuming feasible power variables, a routing problem with fixed link capacities is formulated and the optimum flow variables for the routing problem are calculated. Equivalently, we can assume fixed routing variables and formulate a power control problem to calculate optimum power values .
The two subproblems are as follows.
4.1.1. Network Flow (Routing) Subproblem
We have the following lemma.
See Appendix B
4.1.2. Power Control Subproblem
We have the following lemma.
problem (27) has a unique solution,
See Appendix C
4.2. RPCD Algorithm
As a consequence of the discussion above, we can replace the SRPC problem (15) by two simple subproblems, coupled to each other via fixed variables (power and network variables). The algorithmic scheme used is exemplified as RPCD algorithm and described in Algorithm 1.
Algorithm 1: RPCD
Input: All parameters for problem (15).
Convergence of the RPCD algorithm is given by the following theorem.
Let us consider Lemmas 1 and 2. Under these assumptions and under the assumption that (15) is convex, the RPCD algorithm is well defined and provides a sequence of iterates such that each subsequence of this sequence converges to an optimal point of (15). Moreover, there exists at least one converging subsequence. Additionally, the sequence converges monotonically decreasing.
See Appendix D
Note that both subproblems, (26) and (27), are convex and represent standard problems for which many efficient (distributed) algorithms exist. Particularly, we have to solve a flow problem with fixed capacities (fixed power values)  while computing optimum power values can be done by means of standard power control algorithms .
Generally, we can apply centralized as well as distributed implementation for the RPCD algorithm. In this paper we concentrate on distributed algorithm exclusively. For the interested reader, a detailed survey about the centralized and distributed algorithms and their advantages and disadvantages can be found in .
Herein, for the distributed approach locally available information is required and we restrict the internode communication between neighbor nodes only.
In the following, as introduced in Section 4.1, we consider again the two subproblems, routing (26) and power control (27), and present distributed algorithms for solving them.
5.1. Distributed Power Control
Let us consider again the power control subproblem (27), which is part of the RPCD algorithm.
Assume given network variables and that the standard interference function is feasible, that is, if the power vector satisfies the coupling constraints (20), then we can use the following fixed point iteration to compute the optimum power settings
It has been proven in  that is a standard interference function fulfilling Definition 1.
To include the constraint on the output power of a node, we define
This projection allows us to consider only feasible power values during the course of the iteration.
The power iteration (33) we call distributed power control algorithm.
Obviously, (33) is defined in terms of (32), (31), and (19). Due to (19), the information required to update the power values at starting node for a link is the interference caused by the interfering transmissions measured at the end node for a link . Moreover, the projections introduced to consider the power constraints are local only. Hence, (33) represents a distributed power control algorithm .
Due to Theorems 1 and 2, this unique fixed point of (34) is a solution of the SRPC problem (15). If the SRPC problem is (strictly) convex, the fixed point is the global (unique) solution for the power setting of the joint routing and power control problem.
5.2. Distributed Routing
The key to a distributed algorithm is to apply a decomposition method by means of formulating the dual problem of the optimization problem (26). Therefore we exploit the separable structure of the routing problem (26) via the dual decomposition method (see, e.g., [5, 13]). For solving the dual problem, we propose to apply the common approach of using the subgradient method .
To form the dual routing problem we rewrite the original routing problem (26) using the Lagrange function . We introduce the Lagrange multipliers for the most involving constraints, which are the coupling constraints of the SRPC problem (15)
and the flow conservation constraints, that is, modified Kirchhoff's Law (14)
This results in the partial Lagrangian of (26) given as
The Lagrangian dual function is
Given the Lagrange dual function we can formulate the dual problem by 
We need to solve the dual problem (40) in order to obtain the best lower bound on from the Lagrange dual function (39). Since the Lagrangian dual function is convex, the dual problem is a convex optimization problem . Moreover, Slater's condition (see, e.g., [6, 13]) holds and thus, strong duality holds. This means, the optimal value of the original routing problem (26) and the dual optimal value from (39) are equal and we can solve the primal problem (26) by its dual (40).
The algorithm to solve (39) and (40) is a two stage optimization algorithm. It solves (39) and (40) separately by using the subgradient method [6, 14] and toggling between the two subproblems until a convergence criterion is met.
For the computation of the dual function (39) we use the projected subgradient method [6, 14], which is an algorithm for minimizing a nondifferentiable convex function with the main feature of enabling distributed implementation.
As one can see by considering (33), (41), (42), (45), (39), (46), and (41) two types of information are necessary. First, that the information required for the computation to take place at each and every node is the interference caused by the interfering transmissions measured at the receiving node. Second, by (42) Lagrange multipliers from neighbor nodes, for example, and are required.
The distributed routing algorithm tries to achieve an optimum coordination between the network variables and on the one hand and the dual variables and on the other hand. For the considered wireless network, this means that the distributed routing algorithm tries to achieve an optimum coordination between node buffers and capacities allocated to the links, subject to the network constraints as defined in (26).
Each intermediate node can transmit to and receive along multiple links from nodes, neither multicast nor broadcast is considered. The network is a single frequency network. For the sake of simplicity, we assume that the scheduler does not take in-band signaling users into account, rather we might interpret in-band users as additive noise. We further require in the simulations that simultaneously active links do not interfere. Hence, the SRPC problem under consideration is convex, therefore, the optimum solution is global. This means, we assume orthogonal transmission between links, possibly performed by Space Division Multiple Access (SDMA) schemes such as sending/receiving beamforming [15, 16]. Due to the setup of the wireless backhaul links, the nodes we consider are cellular base stations with high processing capability. Without loss of generality, the objective function we assume is to minimize total transmitted power with .
The scenario shown in Figure 4 is denoted as [ , 3, 5, 1] scenario. So, we have 10 nodes forming a wireless mesh backhauling network with 23 edges. The simulation parameter set up is as follows. The wireless network has to transmit data of = 10 Mbit size from the source node to the destination, but due to the delay constraint the transmission has to be completed within a maximum number of time slots, that is, . The bandwidth per link is = 5 MHz, the length of an time-slot is ms and the radius per hexagonal cell is m. We assume an exponential path-loss model with factor 3, but no shadow-fading. The thermal spectral noise density is dBm/Hz. The buffer size per node is restricted to Mbit. To account for power constraints we upper bound the power per node by Watt, whereas for each specific link we assume no explicit power restriction. Regarding the distributed RPCD algorithm, we use a stopping criterion based on the variables to check for convergence. We proceed with the iteration as long as the maximum norm of two consecutive iteration steps is greater than . To show convergence, we apply the algorithm for a huge number of different starting points as well as for several networks, that is, [ , 3, 1], [ , 3, 5, 1], [ , 3, 5, 7, 1].
We observe the following result.
Since the algorithm converges globally the zero vector is always a feasible starting point.
In this paper we have considered the joint routing, time scheduling and power control problem for single frequency, time-slotted wireless mesh networks. We presented an approach for optimally solving this crosslayer optimization problem while meeting the requirements, such as distributed implementation, multiple path routing, and per-hop error performance. The main contribution is the distributed Routing and Power Control Decomposition (RPCD) Algorithm, which is based on the idea of decoupling the SRPC problem into two subproblems, power control and routing, and including scheduling in the constraint set of the SRPC problem. Moreover, we presented distributed algorithms for solving both, the power control and the routing subproblem. For illustration purpose we applied the distributed RPCD algorithm to a wireless mesh backhaul network. The observed convergence results are impressive: only one decomposition step is needed to achieve the optimal solution.
A. Proof of Theorem 1
Choosing feasible variables ( ) for the problem above, we immediately see that the interference function defined by (29) is a standard interference function. Therefore, the power iteration (29) started from, say, converges to a point with (22). Clearly, for this point the constraints (20) are active. Moreover, in  it was shown that has the smallest objective function value for all possible choices of the variables ( ) with prespecified and fixed variables ( ). Therefore, the constraints (20) have to be active in all solutions of the optimization problem above.
B. Proof of Lemma 1
The objective is strict convex in if and only if this Hessian is positive definite. Now, the first summand above is clearly positive semidefinite, since is convex in . Likewise, the third summand is positive semidefinite, since is convex in . Finally, the diagonal matrix has nonnegative entries on the main diagonal, since is strictly convex in and is monotone in . Accordingly, the Hessian above is positive definite as long as one of the summands is positive definite. Assumption (a) leads to the positive definiteness of the first summand, assumption (b) leads to the positive definiteness of the last summand, while assumption (c) leads to the positive definiteness of .
From this, the strict convexity under the given assumptions readily follows.
Clearly, the variables ( , , ) are unique in an optimum of the problem under consideration. Using (9), (10), and (14) and induction over , one easily concludes that optimal variables ( ) are unique, too.
The continuity is a classic result from parametric optimization, see, for example, , and follows from the strict convexity of the objective in and from the fact that the set of feasible points is a polyhedron.
The following remarks hold with respect to Lemma 1.
(1)The second result of Lemma 1 can be weakened a bit. In case is not strictly convex in, say, , it suffices to assume that the diagonal entries of the matrix are sufficiently large. That amounts to saying that either is sufficiently large or that is sufficiently large, that is, there is certain amount of monotonicity build into the objective function ( , , ).
C. Proof of Lemma 2
( ) See Theorem 1 and .
( ) This follows by noting that the solution to the problem at hand is uniquely characterized by the fixed-point equation , the latter being a linear system in . The corresponding solution depends continuously on .
In Lemma 2, strict monotonicity cannot be replaced by monotonicity. However, uniqueness of the results of Lemma 2 hold again if only the (unique) -solution of the optimization problem under consideration is considered.
D. Proof of Theorem 2
that is, the set of feasible points from which the algorithm does not improve objective function values any more. In the convex case this is a set of KKT-points which is the same as the set of the optimal points. It is easy to see that every converging subsequence of converges to a point in , more precisely to a fixed point of (see also ), which is thereby a point for which no feasible direction of descent exists.
The convexity assumptions within the theorem have mainly be imposed to guarantee that the map is well-defined (i.e., the solution to the corresponding optimization problem is unique). If we simply assume this well-definedness (or enforce it by, say, computing the least-squares optimal solution), we can drop the corresponding assumptions on instead.
(2)In principle, strict monotonicity of in is required to obtain that is continuous. However, what usually happens is that in step 5 the power iteration is used, which results in the computation of the unique -solution to . In case the power iteration is replaced by another algorithm, uniqueness of the corresponding solution has to be guaranteed in a different way.
- Viswanathan H, Mukherjee S: Throughput-range tradeoff of wireless mesh backhaul networks. IEEE Journal on Selected Areas in Communications 2006, 24(3):593-602.View ArticleGoogle Scholar
- The IEEE 802.16 Working Group on Broadband Wireless Access Standards http://www.wirelessman.org/
- Cruz RL, Santhanam AV: Optimal routing, link scheduling and power control in multi-hop wireless networks. Proceedings of the 22nd Annual Joint Conference on the IEEE Computer and Communications Societies (INFOCOM '03), March-April 2003, San Francisco, Calif, USA 1: 702-711.Google Scholar
- Li Y, Ephremides A: Joint scheduling, power control, and routing algorithm for ad-hoc wireless networks. Proceedings of the 38th Annual Hawaii International Conference on System Sciences, January 2005, Big Island, Hawaii, USA 322.Google Scholar
- Xiao L, Johansson M, Boyd SP: Simultaneous routing and resource allocation via dual decomposition. IEEE Transactions on Communications 2004, 52(7):1136-1144. 10.1109/TCOMM.2004.831346View ArticleGoogle Scholar
- Boyd S, Vandenberghe L: Convex Optimization. Cambridge University Press, Cambridge, UK; 2004.MATHView ArticleGoogle Scholar
- Maurer SB, Ralston A: Discrete Algorithmic Mathematics. Addison-Wesley, Reading, Mass, USA; 1991.MATHGoogle Scholar
- Eyuboglu MV, Forney GD Jr.: Trellis precoding: combined coding, precoding and shaping for intersymbol interference channels. IEEE Transactions on Information Theory 1992, 38(2, part I):301-314. 10.1109/18.119688MATHView ArticleGoogle Scholar
- Yates RD: Framework for uplink power control in cellular radio systems. IEEE Journal on Selected Areas in Communications 1995, 13(7):1341-1347. 10.1109/49.414651MathSciNetView ArticleGoogle Scholar
- Dekorsy A, Fliege J, Sollner M: Optimal distributed routing and power control decomposition for wireless networks. Proceedings of IEEE Global Telecommunications Conference (GLOBECOM '07), November 2007, Washington, DC, USA 4920-4924.Google Scholar
- Bertsekas DP, Gallager RG: Data Networks. Prentice-Hall, Englewood Cliffs, NJ, USA; 1992.MATHGoogle Scholar
- Bertsekas DP: Parallel and Distributed Computation. Prentice-Hall, Englewood Cliffs, NJ, USA; 1989.MATHGoogle Scholar
- Bertsekas DP: Nonlinear Programming. Athena Scientific, Nashua, NH, USA; 1999.MATHGoogle Scholar
- Ferizi A: Distributed routing and power control algorithms in fixed wireless networks, Diploma Thesis. University Erlangen-Nuremberg, Erlangen, Germany; 2007.Google Scholar
- Paulraj A, Nabar R, Gore D: Introduction to Space-Time Wireless Communications. Cambridge University Press, Cambridge, UK; 2003.Google Scholar
- Czylwik A, Dekorsy A, Chalise B: Smart antenna solutions for UMTS. In Smart Antennas–State of the Art, EURASIP Book Series on Signal Processing and Communications. Volume 3. Hindawi Publishing Corporation, Cairo, Egypt; 2005:729-758.Google Scholar
- Chiang M: Balancing transport and physical layers in wireless multihop networks: jointly optimal congestion control and power control. IEEE Journal on Selected Areas in Communications 2005, 23(1):104-116.View ArticleGoogle Scholar
- Bonnans JF, Shapiro A: Perturbation Analysis of Optimization Problems, Springer Series in Operations Research. Springer, New York, NY, USA; 2000.View ArticleGoogle Scholar
- Luenberger DG: Introduction to Linear and Nonlinear Programming. Addison-Wesley, Reading, Mass, USA; 1973.MATHGoogle Scholar
- Zangwill WI: Nonlinear Programming: A Unified Approach. Prentice-Hall, Englewood Cliffs, NJ, USA; 1969.MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.