Research Article | Open Access
Imtiaz Ahmad, Buthaina Al-Kazemi, A. Shoba Das, "An Efficient Algorithm to Find Broadcast Schedule in Ad Hoc TDMA Networks", Journal of Computer Networks and Communications, vol. 2008, Article ID 712126, 10 pages, 2008. https://doi.org/10.1155/2008/712126
An Efficient Algorithm to Find Broadcast Schedule in Ad Hoc TDMA Networks
The broadcast scheduling is of fundamental importance and practical concern for ad hoc network performance measures such as the communication delay and the throughput. The scheduling problem on hand involves determination of a collision-free broadcast schedule with the minimum length TDMA frame and the maximum slot utilization by efficient distribution of slots among stations. The problem is widely known as NP-complete, and diverse heuristic algorithms were reported to solve this problem recently. The intractable nature of the broadcast scheduling problem and its importance in ad hoc TDMA networks necessitates development of more efficient heuristic algorithms. In this paper, we developed a new heuristic approach which employs a tight lower bound derived from the maximal incompatibles and generates a search space from the set of maximal compatibles. The developed algorithm is very efficient and effective in conquering the intractable nature of the broadcast scheduling problem in the sense that it explores complex solution space in smaller CPU time. A comparison with existing techniques for the test examples reported in the literature shows that our algorithm achieves a collision-free broadcast with minimum frame length and the maximum slot utilization in relatively shorter time.
Ad hoc networks have attracted a lot of attention in the recent years because of their flexible structure and useful applications particularly in areas such as mobile commerce, combat search, and rescue, to name a few. These networks apply a packet switching technique over a shared radio channel to provide flexible high-speed communications between a large numbers of potentially mobile stations which may be geographically disbursed. Communication over the shared radio channel is established by broadcasting [1, 2]. Mobile stations are assumed to use unidirectional antennas. The wireless channel is assumed to be noise-free, and an unsuccessful reception is only due to collisions. Mobile stations operate in half-duplex mode; that is, a mobile station can transmit or receive but cannot do both at the same time. Thus, it is often necessary to use intermediate stations as relays to forward messages over the network to the intended recipients. Since every station in the network shares the same channel, it is a fundamental requirement that precautions are taken when messages are scheduled to be transmitted. That is, stations should be scheduled in such a way that there is no destructive interference, or message collision. Collisions in ad hoc networks may occur in two ways: direct or hidden. Direct collision is a result of two adjacent stations broadcasting at the same time. Hidden collision occurs when two nonneighboring stations transmit simultaneously to a station that can receive messages from both senders .
Time division multiple access (TDMA) technology is envisioned to be widely used to provide collision-free packet transmission with quality-of-service (QoS) support for ad hoc networks [4, 5]. In a TDMA-based ad hoc network, time is divided into equal-length frames, and each frame is composed of a fixed number of unit-length transmission slots. The duration of each slot is equal to one maximum-length packet transmission time plus the maximum propagation time between two neighboring mobile stations in the network. Once the optimum transmission pattern for the TDMA frame is decided, the same frame is repeated over time. It should be ensured that all the stations must be allocated at least one time slot in every TDMA frame. This is one of the constraints of scheduling problem and the other being the collision-free transmission. The broadcast scheduling problem in ad hoc networks involves the determination of a collision-free broadcast schedule with the minimum length TDMA frame and the way to distribute the slots among stations for maximum slot utilization. The frame structure is directly related to the main network performance measures such as the communication delay and the throughput. Frame length essentially determines the packet average delay and for a fixed frame length the channel utilization, which is the number of simultaneous transmissions of noninterfering stations, determines the throughput in ad hoc network [6, 7]. Therefore, broadcast scheduling problem is of crucial importance and practical concern to effectively harness the shared radio channel bandwidth in ad hoc networks.
A number of approaches with varying degree of success have been applied for solving scheduling problem for delay and throughput in ad hoc networks [1–17]. These approaches can be classified as graph theoretic [1–3, 13], graph coloring , and probabilistic approaches such as mean field annealing , tabu search , genetic algorithms [9, 11, 16], neural networks algorithms [14, 15, 17], mixed neural-genetic , and greedy randomized adaptive search procedure (GRASP) . A good overview of the techniques applied for the broadcast scheduling problem can be found in . Most of these algorithms are based on two phases: phase one minimizes the frame length without considering the slot usage, and phase two attempts to maximize the slot utilization within the frame achieved during the first phase. Optimizing the two objectives separately does not lead to a good solution with respect to both criteria. A better approach is to consider both of these criteria in an integrated fashion to solve the broadcast scheduling problem. Probabilistic approaches have considered both of these criteria at the same time and produced better results as compared with other techniques.
In this paper, a new heuristic algorithm based on concepts from the field of finite state machine synthesis [19, 20] is presented for the broadcast scheduling problem which determines the minimum frame length with the maximum slot utilization. The stations which can broadcast without collisions among themselves are grouped as maximal compatibles. A tight lower bound derived from set of maximal incompatibles forms the basis for deriving minimum frame length. The proposed algorithm applies set of rules on the maximal compatibles in order to maximize utilization of slots. To our knowledge, this approach based on maximal compatibles and maximal incompatibles for the broadcast scheduling problem has not been reported so far. A comparison with existing techniques for the test examples reported in the literature shows that our algorithm explores a complex solution-space in smaller CPU time.
The remaining paper is organized in the following manner. In Section 2, we discuss the broadcast scheduling problem based on finite state machine approach. Section 3 explains the heuristic scheduling algorithm proposed in this paper. Results are discussed in Section 4, and Section 5 concludes the paper.
2. Broadcast Scheduling Problem: Finite State Machine Approach
In this section, we discuss the broadcast scheduling problem modeling the network as a finite state machine. An ad hoc TDMA network can be modeled by an undirected graph where the node set represents the mobile stations and edge set represents the set of transmission links between adjacent mobile stations in the network [8, 9]. Two stations and connected by an undirected edge means that both can directly receive packets transmitted from the other, but both cannot transmit simultaneously in the same time slot. It represents direct collision and we say stations and are one-hop neighboring stations. If an undirected edge but there exists an intermediate node such that and then stations and are referred as two-hop neighboring stations. A hidden collision is a result of two-hop neighbors transmitting in the same time slot. Two mobile stations can transmit in the same time slot without mutual interference if they are located more than two hops apart. Therefore, it is highly desirable for multiple stations to transmit during the same time slot provided that they do not cause any collision, either direct or hidden.
Some basic definitions related to finite state machine  as applicable to our scheduling problem on hand are presented here.
Finite State Machine
a triplet defines a finite state machine where is a unit value function representing the transmission path between two adjacent stations, εis the set of states of the machine, is the next state function.
State Transition Graph
a state transition graph (STG) describes an ad hoc TDMA network modeled as an FSM.
Compatible and Incompatible
two states and are compatible if and only if there is no collision (direct or hidden) between them. Otherwise, and are incompatible. A set of states is compatible (incompatible) if and only if each pair of states in the set is compatible (incompatible). A set of compatible states is referred to as a compatible (incompatible), for short.
Compatible (Incompatible) Covering
a compatible (incompatible ) covers another compatible (incompatible ) if and only if every state contained in is contained in
Maximal Compatible (Incompatible)
a compatible (incompatible) becomes a maximal compatible (maximal incompatible) if it is not covered by any other compatible (incompatible). The set of all maximal compatibles (incompatibles) is denoted by In the context of the broadcast scheduling problem, maximal compatibles are set of nodes, which can be assigned to the same time slot. These sets of maximal compatibles are maximal cliques in the complement graph of a given ad hoc network. The maximal incompatibles are the ones which cannot be assigned to the same time slot.
Lower and Upper Bounds
the lower bound is equal to the maximum degree of the graph modeling the network (direct collision states) and upper bound is the number of nodes in the network. Optimum frame length is between the lower and upper bounds. The lower bound represents cardinality of a set which consists of incompatible state pairs with one state identical in all the pairs and upper bound is the number of states in STG.
Tight Lower Bound
minimum slot length required for collision-free (direct and hidden) broadcast schedule accommodating all the stations in the network is the tight lower bound. In the FSM model, tight lower bound is the cardinality of an incompatible with maximum number of states.
a set that includes all the states of a machine is referred to as a cover of a machine The set of states of the machine, set of maximal compatibles, and set of incompatibles are all covers of the machine . In the context of broadcast schedule, a cover refers to the condition that every node is allowed to transmit at least once in a TDMA cycle.
a cover is said to be optimal if number of compatibles in the cover is equal to the tight lower bound and utility factor of every state is maximum, that is, its frame length is equal to tight lower bound and slot utilization is maximum.
As an example, a 5-node network is shown in Figure 1(a) , where the graph has been augmented with two-hop neighbors to represent hidden collision. Nodes 1 and 3 are one-hop neighbors, while nodes 3 and 5 are two-hop neighbors. A trivial TDMA broadcast schedule solution satisfying all constraints is shown in Figure 1(c). However, it is not optimized with respect to both the frame length and the slot utilization.
An optimal TDMA broadcast schedule with respect to frame length is shown in Figure 1(d). Figure 1(b) shows the complement graph and the maximal compatibles are 1, 52, 534 This set of maximal compatibles is a cover of the machine. The incompatible pairs are 1, 21, 31, 42, 32, 43, 43, 54, 5 For the graph of Figure 1(a), the maximal incompatible is 1, 2, 3, 4 as all the states in this are incompatible to each other representing direct and indirect collisions. The largest cardinality maximal incompatible will provide the tight lower bound for the frame length . The optimal solution with the minimum frame length and the maximum slot utilization are shown in Figure 1(e), where the maximal compatibles 1, 52, 534 are assigned to different slots.
3. Scheduling Algorithm
This section discusses the scheduling algorithm for a 15-node network  shown in Figure 2 and modeled as an FSM (). The goal of the algorithm is to find an equivalent FSM which is a minimized cover of the given FSM. The basic steps of the algorithm are summarized in Algorithm 1 and individual steps are explained in detail in subsections. From the STG of all the compatible (incompatible) pairs which are more than 2 hops away to each other are generated. If there are no compatible pairs, then no two states can be allotted to the same slot, hence, all the states of the machine which is the upper bound are the solution and every state has to be in a separate slot. The algorithm terminates at this point. If the algorithm proceeds, solution is obtained at Step (6).
(a) FSM table representation (M1) of the network
(b) Undirected graph of the network (STG)
The complexity of our algorithm is dictated by the number of maximal compatibles generated in Step (1) of the algorithm. Modeling an ad hoc TDMA network as an undirected graph, where the nodes represent the stations and edges represent the transmission path between two stations, the maximal compatibles represent the cliques present in the graph. The complexity for finding cliques in a graph is , where the polynomial represents the number of maximal compatibles in the graph. Step (2) basically sorts the incompatibles and sorting has a complexity As the rest of the steps basically deal with fewer than compatibles, the complexity of Step (3) to Step (6) is much smaller than the other two steps. For the graphs, where complexity will be
3.1. Generation of Maximal Compatibles (Incompatibles)
The set of maximal compatibles (incompatibles) is generated from the set of compatibles (incompatibles) by excluding compatibles (incompatibles) which are covered by other compatibles (incompatibles). For generating compatible pairs, maximal compatibles and incompatibles, the part of state minimization algorithm of  is used with the modified definition of the FSM. For FSM of Figure 2, the number of states and the set of states, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 The FSM has 23 maximal compatibles and 12 maximal incompatibles as listed in Table 1.
3.2. Tight Lower Bound
Lower bound takes into account only direct collision states. A tight lower bound is hence derived by taking into consideration the hidden collision states. In the FSM model, an incompatible represents the states which have direct or indirect collision. A maximal incompatible with the highest cardinality represents all the states which have either a direct or indirect collision and hence cannot be in the same time slot. Hence, the tight lower bound for the frame length is imposed by a maximal incompatible with the highest cardinality . In addition, the optimum solution should cover all the internal states of the FSM which is the upper bound.
Finding the highest cardinality maximal incompatible from tight lower bound and let this incompatible be Every state in has to be covered by a different maximal compatible in the solution set. If there exist more than one maximal incompatible with the maximum cardinality, choose one at random.
3.3. Compatible Group Formation
The broadcast schedule is built by including compatibles which cover every state in As several compatibles cover a state in a weight factor is associated with maximal compatibles to aid in selecting a compatible. Compatibles with smaller weights are more essential than a bigger weight compatible and they get a preference if there is a tie in selection in the solution schedule.
The compatible group formation is done in three steps:
(1)group the compatibles which cover one state of ICb;(2)find the weight of maximal compatibles;(3)sort the compatibles in CG according to their weights in ascending order.
Step 1. for every state form a cover group such that it consists of all maximal compatibles which covers that is,
Step 2. for every state associate a weight which is the number of maximal compatibles covering the state Adding of every state find the weight of maximal compatible, The compatible = (14, 7, 4) has three states 14, 7, and 4. Find the number of maximal compatibles covering every state in this compatible from Table 1, = 5, = 6, and = 4. Add the weight of individual states in and find weight which is 15.
Step 3. sort the compatibles in CG according to their weights
in ascending order.
In Table 2, compatible groups for every state in (14,15,13,11,10,9,6,5) formed using the above three listed steps are shown. The maximal compatibles are grouped to cover the respective states in
3.4. Iteration Limit
Multiple feasible schedules are possible for the broadcast schedule problem. The performance parameters aid in selecting the optimum schedule. The states in weight of compatibles, and utility factor of states in a compatible guide the selection of compatibles to be included in the solution. Among the several compatibles in covering the first state one of the compatibles has to be selected as a starting point. The states in this compatible decide the formation of rest of the schedule. Hence, the compatibles covering the first state are used in order as a starting point and several schedules are derived. An upper limit of 100 is set for the number of schedules generated. The number of schedules for is 5 as there are five compatibles in where = 14 is the first state in One of the compatibles in the first group is included by default in every schedule and the selection criteria are applied only for subsequent CGs. For in the first schedule (1), the first compatible in CG(14), namely, (14,7,4) is included. At this stage, (1) = (14,7,4)
3.5. Compatible Selection Criteria
The feasible schedule should basically cover all the states of the machine without any collision and with the minimum frame length and the maximum slot utilization. A compatible is included in a feasible schedule based on two criteria applied in succession: (i) uncovered State factor, that is, number of uncovered states in and (ii) cardinality of the compatible
Initially, for every compute uncovered state factor Choose the compatible with maximum If there is a tie, then apply the second criterion, that is, choose the compatible with higher cardinality as this represents a compatible which if included will improve the channel utilization. If there is still a tie, select the first compatible in the list.
In (1) = (14, 7, 4) and the uncovered states are 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 15 In the group of next state 15 in that is, of the compatibles (15,4) (15,2) (15,8,3) (15,8,1) respectively, are (1, 2, 3, 3). Out of these, the compatibles (15,8,3) (15,8,1) have a tie as none of the states in them are covered by (1) and both of them have = 3, in this compatible group. Hence, the first one in the list is included. (1) = (14,7,4) (15,8,3) Proceeding to next three states, (1) = (14,7,4) (15,8,3) (12,13,2) (11,8,1) (10,7) At this point, the states that are not covered by (1) are (5,6,9). Taking the group of next state 9, = (9,7) (12,9,1) Both cover only one uncovered state 9, and the tie is broken by choosing the second one with greater cardinality as there are two covered states, thereby improving the channel utilization. Including the next two compatibles in order to cover all the states in the network, the schedule (1) = (14,7,4) (15,8,3) (12,13,2) (11,8,1) (10,7) (12,9,1) (8,6) (5)
Let be the number of nodes and let be the number of slots in a TDMA schedule. The feasible transmission schedule will be an binary matrix such that In number of nodes and and all the schedules generated are shown in Table 3. Even though 5 schedules were generated, one of them did not satisfy the constraint that all states should be covered with in tight lower bound and the solution slot length has to be increased above the tight upper bound by 1 to accommodate a compatible covering the uncovered state. Hence, this solution had a slot length of 9 and this schedule is marked with in Table 3.
3.6. Optimum Schedule Selection
The following performance indices are computed for every feasible schedule
(i)Average time delay for each node to broadcast .(ii)Throughput Average time delay Throughput
The performance indices of the above schedules for are shown in Table 4 along with the frame length.
The schedule within the tight lower bound which yields the maximum throughput and the minimum average time delay is selected as the optimum schedule The optimum schedule for is (1) = (14,7,4) (15,8,3) (12,13,2) (11,8,1) (10,7) (12,9,1) (8,6) (5)
4. Experimental Results
The experiments were conducted on a Pentium 4/1.7 GHz PC and tested on network examples available in the literature. The specifications of the three network cases, namely, 15, 30, and 40 station networks introduced by Wang and Ansari  which have become the benchmark test cases for broadcast scheduling problem and the other networks found in literature are shown in Table 5. The broadcast networks are modeled as FSMs modifying the standard definitions to suit the network parameters. The maximal compatibles and incompatibles were generated by modifying an algorithm for state minimization of FSMs .
The optimal schedules for the test cases 2 to 5 are shown in Figures 3, 4, 5, and 6, respectively. The rows represent the slots in a TDMA frame and columns represent the nodes in the network. Out of the four feasible schedules in 15 station networks, only one is the optimal solution. Two feasible schedules exist for problem no. 3 and the optimum solution is the one shown in Figure 4.
In 30-node network, there are two feasible schedules, which are shown in Figures 5(a) and 5(b), (18,23,5,2) (17,24,15,13,29,9) (22,28,8) (20,6,7) (14,26) (12,23,27,2) (16,21,3,2) (30,19,1) (13,4,25) (30,11,10) and (18,5,26) (17,24,15,13,29,9) (22,28,8) (20,6,7) (14,23,2) (12,23,27,2) (16,21,3,2) (30,19,1) (13,4,25) (30,11,10) Average time delay and throughput are identical in both the schedules and hence both are optimum schedules. There are 14 feasible schedules in the case of 40-node network but only one of them is an optimum which is shown in Figure 6.
We report two performance parameters, namely, average time delay () and throughput (), and these are listed in Table 6 for the test cases. The average time delay and number of slots in a TDMA frame of our algorithm are compared with respective values of , , , , and  which is presented in Table 7. We achieved the average delay close to BSC-NCNN  and much better than all the other cases listed in this table and maximum slot utilization in negligible time.
For the problem no. 2, our algorithm has an average delay of 4.8 with a throughput of 17 and the solution in  has a delay of 5 with a throughput of 16. The comparison tables show that our algorithm could generate optimum schedule for the benchmark cases with minimum average delay and maximum utilization compared to almost all other cases shown in the table.
A heuristic algorithm for finding an optimal feasible broadcast schedule for ad hoc TDMA networks is presented. By modeling the network as an FSM, the concept of maximal compatibles and incompatibles is used to find a schedule that will minimize the frame length and maximize the slot utilization in an integrated fashion. To our knowledge, this approach of modeling the network as an FSM has not been reported so far. Suboptimal schedules with an increased time slot per frame also were generated, which gives more throughputs. The algorithm was efficient for all the benchmark cases and generated schedules within the tight lower bound in negligible time. Future work will take into account the QoS of the nodes (i.e., bandwidth or delay requirements) when determining the broadcast schedule.
This research is funded by Kuwait University Grant EO 07/06.
- A. Ephremides and T. V. Truong, “Scheduling broadcasts in multihop radio networks,” IEEE Transactions on Communications, vol. 38, no. 4, pp. 456–460, 1990.
- N. Funabiki and Y. Takefuji, “A parallel algorithm for broadcast scheduling problems in packet radio networks,” IEEE Transactions on Communications, vol. 41, no. 6, pp. 828–831, 1993.
- S. Ramanathan and E. L. Lloyd, “Scheduling algorithms for multihop radio networks,” IEEE/ACM Transactions on Networking, vol. 1, no. 2, pp. 166–177, 1993.
- H. Fattah and C. Leung, “An overview of scheduling algorithms in wireless multimedia networks,” IEEE Wireless Communications, vol. 9, no. 5, pp. 76–83, 2002.
- G. Wang and N. Ansari, “Optimal broadcast scheduling in packet radio networks using mean field annealing,” IEEE Journal on Selected Areas in Communications, vol. 15, no. 2, pp. 250–260, 1997.
- J. Yeo, H. Lee, and S. Kim, “An efficient broadcast scheduling algorithm for TDMA ad-hoc networks,” Computers & Operations Research, vol. 29, no. 13, pp. 1793–1806, 2002.
- S. Salcedo-Sanz, C. Bousoño-Calzón, and A. R. Figueiras-Vidal, “A mixed neural-genetic algorithm for the broadcast scheduling problem,” IEEE Transactions on Wireless Communications, vol. 2, no. 2, pp. 277–283, 2003.
- Z. Cai, M. Lu, and C. N. Georghiades, “Topology-transparent time division multiple access broadcast scheduling in multihop packet radio networks,” IEEE Transactions on Vehicular Technology, vol. 52, no. 4, pp. 970–984, 2003.
- G. Chakraborty, “Genetic algorithm to solve optimum TDMA transmission schedule in broadcast packet radio networks,” IEEE Transactions on Communications, vol. 52, no. 5, pp. 765–777, 2004.
- Y. Peng, B. H. Soong, and L. Wang, “Broadcast scheduling in packet radio networks using mixed tabu-greedy algorithm,” Electronics Letters, vol. 40, no. 6, pp. 375–376, 2004.
- C. Y. Ngo and V. O. K. Li, “Centralized broadcast scheduling in packet radio networks via genetic-fix algorithms,” IEEE Transactions on Communications, vol. 51, no. 9, pp. 1439–1441, 2003.
- C. W. Commander, S. I. Butenko, P. M. Pardalos, and C. A. S. Oliveira, “Reactive GRASP with path relinking for the broadcast scheduling problem,” in Proceedings of the 40th Annual International Telemetry Conference (ITC '04), pp. 792–800, San Diego, Calif, USA, October 2004.
- J.-C. Chen, Y.-C. Wang, and J.-T. Chen, “A novel broadcast scheduling strategy using factor graphs and the sum-product algorithm,” IEEE Transactions on Wireless Communications, vol. 5, no. 6, pp. 1241–1249, 2006.
- H. Shi and L. Wang, “A hybrid neural network for optimal TDMA transmission scheduling in packet radio networks,” in Proceedings of IEEE International Joint Conference on Neural Networks (IJCNN '05), vol. 5, pp. 3210–3213, Montreal, Canada, July-August 2005.
- W. Bi, Z. Tang, J. Wang, and Q. Cao, “An improved neural network algorithm for broad-cast scheduling problem in packet radio,” Neural Information Processing-Letters and Reviews, vol. 9, no. 1, pp. 23–29, 2005.
- X. Wu, B. S. Sharif, O. P. Hinton, and C. C. Tsimenidis, “Solving optimum TDMA broadcast scheduling in mobile ad hoc networks: a competent permutation genetic algorithm approach,” IEE Proceedings: Communications, vol. 152, no. 6, pp. 780–788, 2005.
- Y.-J. Shen and M.-S. Wang, “Broadcast scheduling in wireless sensor networks using fuzzy Hopfield neural network,” Expert Systems with Applications, vol. 34, no. 2, pp. 900–907, 2008.
- C. W. Commander, S. I. Butenko, and P. M. Pardalos, “On the performance of heuristics for broadcast scheduling,” in Theory and Algorithms for Cooperative Systems, chapter 1, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2004.
- R. Puri and J. Gu, “An efficient algorithm to search for minimal closed covers in sequential machines,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 12, no. 6, pp. 737–745, 1993.
- I. Ahmad and A. S. Das, “A heuristic algorithm for the minimization of incompletely specified finite state machines,” Computers & Electrical Engineering, vol. 27, no. 2, pp. 159–172, 2001.
- B. Rosgen and L. Stewart, “Complexity results on graphs with few cliques,” Discrete Mathematics and Theoretical Computer Science, vol. 9, pp. 127–136, 2007.
Copyright © 2008 Imtiaz Ahmad et al. 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.