A cross-layer optimization framework for congestion and power control in cognitive radio ad hoc networks under predictable contact

Long Zhang; Fan Zhuo; Haitao Xu

doi:10.1186/s13638-018-1065-x

Research
Open Access
Published: 13 March 2018

A cross-layer optimization framework for congestion and power control in cognitive radio ad hoc networks under predictable contact

EURASIP Journal on Wireless Communications and Networking volume 2018, Article number: 57 (2018) Cite this article

1411 Accesses
1 Citations
Metrics details

Abstract

In this paper, we investigate the cross-layer optimization problem of congestion and power control in cognitive radio ad hoc networks (CRANETs) under predictable contact constraint. To measure the uncertainty of contact between any pair of secondary users (SUs), we construct the predictable contact model by attaining the probability distribution of contact. In particular, we propose a distributed cross-layer optimization framework achieving the joint design of hop-by-hop congestion control (HHCC) in the transport layer and per-link power control (PLPC) in the physical layer for upstream SUs. The PLPC and the HHCC problems are further formulated as two noncooperative differential game models by taking into account the utility function maximization problem and the linear differential equation constraint with regard to the aggregate power interference to primary users (PUs) and the congestion bid for a bottleneck SU. In addition, we obtain the optimal transmit power and the optimal data rate of upstream SUs by taking advantage of dynamic programming and maximum principle, respectively. The proposed framework can balance transmit power and data rate among upstream SUs while protecting active PUs from excessive interference. Finally, simulation results are presented to demonstrate the effectiveness of the proposed framework for congestion and power control by jointly optimizing the PLPC-HHCC problem simultaneously.

Introduction

Background and motivation

Cognitive radio (CR) [1] has been widely recognized as a critical technique to mitigate the spectrum scarcity problem and enhance the overall efficiency of spectrum usage, aiming to accommodate for the evolution of wireless systems towards 5G [2]. In a CR network (CRN), unlicensed secondary users (SUs) are allowed to opportunistically access the spectrum allocated to licensed or primary users (PUs) without interfering with the coexisting PUs. That is, the SUs do not violate the quality of service (QoS) requirements of the PUs. Most of the existing research efforts in CRNs mainly focus on the issues of the physical and media access control (MAC) layers for an infrastructure-based single-hop scenario, including spectrum sensing, spectrum access, and sharing techniques [3,4,5]. In addition, SUs can also form a multi-hop decentralized ad hoc network without the support of infrastructure. In a multi-hop cognitive radio ad hoc network (CRANET) [6], SU can access the licensed spectrum by seeking to overlay, underlay, or interweave its signal with the existing PUs’ signals [7]. For the underlay approach, SUs are permitted to concurrently share the licensed spectrum with PUs while guaranteeing the power of interference and noise at the PU not beyond the interference temperature limit. In this context, the interference caused by the SUs should be controlled and mitigated through effective power control strategies. Many studies on power control for CRNs have been reported from different perspectives, such as imperfect channel knowledge [8], arbitrary input distributions [9], and social utility maximization [10].

In comparison with the lower layer solutions as stated before, recent work indicates that there are many new challenges towards routing problem at the network layer in multi-hop CRANETs, aiming to give more insights into the impact of spectrum uncertainty on routing strategies [11, 12]. However, the constraints and challenges with regard to SUs including random mobility, low deployment density, and limited resource along with discontinuous spectrum availability will give rise to intermittent connectivity of links among SUs in a decentralized CRANET [13]. Clearly, stochastic link outage further has a bearing on the successful transmission of data packets between a pair of SUs. To describe effective continuous transmission of SUs, the paradigm contact has been presented from different types [14], e.g., persistent contact, on-demand contact, and scheduled contact. Conceptually, a contact can be defined as a communication opportunity during which two adjacent SUs can communicate with each other. In a scheduled contact-based CRANET, multiple contacts or the set of communication opportunities can be easily derived from the statistical data of a priori available contact. In this case, the scheduled contact can be predicted and calculated accurately.

Similar to a wireline Internet or most other traditional wireless networks, network congestion in CRNs will also occur when the offered data load exceeds the available capacity of SU due to buffer overflow caused by accumulated data packets injected from upstream SUs. This therefore leads to aggressive retransmission, queuing delay, and blocking of new flows from upstream SUs. Indubitably, congestion control policy in the transport layer is essential to balance resource load and to avoid excessive congestion. However, the conventional Transmission Control Protocol (TCP) as a congestion control mechanism via window-based or acknowledgement-triggered methods is initially designed and optimized to perform in reliable wired links with constrained bit error rates (BERs) and round trip times (RTTs) [15]. Recent study by [16] has reported that the performance of HTTP download deteriorates as much as 40% under the TCP window control in an IEEE P1900.4-based cognitive wireless system using User Datagram Protocol (UDP) and TCP transport protocols. Alternatively, to accommodate for the challenging multi-hop wireless environments, some other research efforts about congestion control techniques have been conducted from the perspective of finding methods to modify TCP protocol [17]. Unfortunately, it has been also shown that these schemes of TCP modifications and extensions cannot be applied into CRANETs because of sudden large-scale bandwidth fluctuation and periodic interruption caused by spectrum sensing and channel switching [18, 19].

It is also noted that the TCP congestion control is targeted to regulate the data rate of upstream SUs so that the total accumulated data load does not exceed the available capacity of SU. In principle, the link capacity between a pair of SUs depend strongly on transmit power of SU coupled with wireless channel conditions [20]. By leveraging the congestion control technique, on the one hand, the attainable data rate on a wireless link between a pair of SUs depends on the interference level, which in turn rests on power control policy. On the other hand, each SU is expected to increase its transmit power in order to obtain as much link capacity that each flow requires [21]. However, increasing the link capacity on one link may reduce the link capacities on other links owing to mutual interference of SUs. From the above discussions, we can see that jointly optimizing transmit power in the physical layer and data rate in the transport layer for attaining the optimal link capacity becomes highly valuable. With a joint cross-layer design, the physical layer is able to share its information and configuration about optimal transmit power with the transport layer without breaking the hierarchical structure of the traditional layered architecture [22]. This motivates us to reinvestigate the cross-layer coupling between capacity supply by power control and rate demand by rate control.

Related works

Congestion control in wireless multi-hop networks has been widely discussed via the NUM optimization problem maximizing the total utility, subject to some different constraints including the efficiency and fairness of resource allocation [22], heterogeneous traffic [22], lossy link [23], and multipath transmission [24]. Under the condition of outage probability caused by lossy links, another work [25] investigates the rate-effective network utility maximization problem to meet with delay-constrained data traffic requirement. However, although all of the aforementioned studies consider some realistic constraints, they apply to the traditional wireless multi-hop networks only and do not consider the spectrum uncertainty in CRNs. To the best of our knowledge, some studies on congestion control for CRNs have been reported recently, although the mainstream research effort is aimed at the problems of the physical and MAC layers. In [26], Xiao et al. developed a robust active queue management scheme to stabilize the TCP queue length at base station in an infrastructure-based CRN. By using the multiple model predictive control, the proposed scheme absorbed the disturbances caused by busty background traffic and capacity variation. It is found that [26] is not suitable for decentralized CRANET scenario due to a lack of centralized control and global information. Unlike the condition of infrastructure-based CRN, other studies in [18, 27, 28] have been undertaken in multi-hop CRN scenarios. In [27], Song et al. proposed an end-to-end congestion control framework without the aid of common control channel by taking into account the non-uniform channel availability. The explicit feedback mechanism without timeouts and the timeout mechanism were also investigated. In [28], Zhong et al. presented a TCP network coding dynamic generation size adjust scheme by jointly considering network coding gain and delay. The proposed scheme can significantly reduce the retransmissions and guarantee the QoS and enhance the TCP performance. In [18], Al-Ali et al. proposed an end-to-end equation-based TCP friendly rate control mechanism, which achieves rate adjustment by identifying network congestion. However, the end-to-end control policy in [18, 27] is ill suited for operation over wireless transmission links characterized by higher RTTs, particularly if the links present the feature of intermittent connectivity in CRANET under predictable contact. On the contrary, the hop-by-hop control reacts to congestion faster where the rates are adjusted at upstream nodes by feedback information about the congestion state of intermediate nodes.

Other recent schemes that exploit the cross-layer interaction information try to deal with congestion control problem in decentralized CRNs from a cross-layer design perspective. The objective of these schemes is to improve the overall network utility while protecting active PUs’ communications from excessive interference introduced by SUs. In [29], Cammarano et al. presented a distributed cross-layer framework for joint optimization of MAC, scheduling, routing, and congestion control in CRAHNs, by maximizing the throughput of a set of multi-hop end-to-end packet flows. However, similar to [18, 27], it is not clear how good the performance of the end-to-end rate control is compared under a wireless transmission environment with higher RTTs. In [30], Nguyen et al. proposed a cross-layer framework to jointly attain both congestion and power control in OFDM-based CRNs through nonconvex optimization method. By means of the adaptation of dual decomposition technique also used by [20], the distributed algorithm was developed to obtain the global optimization. In [31], Nguyen et al. further devised an optimization framework achieving trade-off between energy efficiency and network utility maximization for CRAHNs. By adjusting transmit power, persistence probability, and data rate simultaneously via the interaction between MAC and other layers, the proposed framework can jointly balance interference, collision, and congestion among SUs However, both of the frameworks in [30, 31] fail to take into account the impact of predictable contact or priori available contact between any pair of SUs on overall cross-layer performance.

Our approach and contributions

Our work in this paper mainly focuses on a decentralized CRANET under predictable contact in that it is easy to obtain the set of communication opportunities derived from the statistical available contacts among SUs. Owing to a lack of global information to achieve the centralized schedule, the cross-layer coupling between capacity supply by power control and rate demand by rate control needs to be carried out distributively by each SU via local information. Distributed implementation for power control and rate control depends on interactive processes among competitive SUs to figure out the cross-layer coupling relationships. Moreover, the objectives of SUs to maximize their utility functions are conflicting and their decisions are interactive. Apparently, it will be far more realistic to dynamically adjust transmit power and data rate according to the current instant time in the practical dynamic environment. The reason for adopting a differential game model rather than other decentralized optimization approaches is that the differential game is a continuous time dynamic game to investigate interactive decision making over time. In a differential game, the interactions among individual players are characterized by time dependency. This is in line with the nature of dynamic spectrum environment in practical CRANET scenario. Therefore, motivated by cross-layer coupling between capacity supply by power control and rate demand by rate control, we present a cross-layer optimization framework for CRANET under predictable contact by achieving the joint congestion and power control using a differential game theoretic approach. The main contributions of this paper are summarized as follows:

To measure the uncertainty of contact between a pair of SUs, a predictable contact model is presented by deriving the probability distribution of contact via a mathematical statistics theory. By using Shannon entropy theory, we further devise an entropy paradigm to characterize quantitatively the probability distribution of contact.
We propose a distributed cross-layer optimization framework for hop-by-hop congestion control (HHCC) and per-link power control (PLPC) for upstream SUs. The HHCC and the PLPC problems are formulated as two noncooperative differential game models, by taking into account the utility function maximization and linear differential equation constraint with regard to the aggregate power interference to PUs and congestion bid for bottleneck SU.
We convert the noncooperative differential game models for the PLPC and the HHCC problems into two dynamic optimization problems. By adopting dynamic programming and maximum principle, we obtain the optimal transmit power and the optimal data rate of upstream SUs, respectively. The cross-layer optimization framework is implemented in a distributed manner through the cross-layer coordination mechanism between capacity supply by power controller and rate demand by rate controller.

Organization and notation

The rest of this paper is organized as follows. We firstly describe the system model in Section 2. Then, the problem formulation is presented in Section 3. In Section 4, we derive the optimal solutions to the proposed noncooperative differential game models and propose the distributed implementation approach to construct the cross-layer optimization framework. Simulation results are provided in Section 5, followed by the conclusions in Section 6.

Notation: $ \mathcal{A} $ denotes a set, and $ \left|\mathcal{A}\right| $ denotes the cardinality for any set $ \mathcal{A} $. We use a boldface capital to denote vector A to discriminate vectors from scalar quantities. | ⋅ | and ‖⋅‖ represent the absolute value of a polynomial function and the Euclidean distance between the pair of variables, respectively. $ \mathbb{E}\left[\cdot \right] $ stands for the statistical expectation operator.

System model

Network model

Consider an underlay multi-hop CRANET coexisting with a cellular primary network as depicted in Fig. 1, wherein PUs can send their data traffic to a primary base station (PBS) via the licensed uplink channels. We denote the set of uplink channels by ℋ = {ch₁, ch₂, ⋯, ch_ϕ} where ϕ is the number of uplink channels. The uplink channel is either occupied by PUs or unoccupied. We employ the independent and identically distributed alternating ON-OFF process to model the occupation time length of PUs in uplink channels. Specifically, the OFF state indicates the idle state where the uplink channels can be freely occupied by SUs. By performing spectrum sensing on all the uplink channels periodically, S SUs leverage the OFF state to access the unoccupied uplink channels by PUs. Let $ \mathcal{V}=\left\{{v}_1,{v}_2,\cdots, {v}_S\right\} $ refer to the set of S SUs. Each SU is equipped with two radio transceivers. One with a cognitive radio is used to opportunistically access the uplink channels for transmissions of data packets. The other is used for exchange of control signaling. Due to the randomness of data traffic and the dynamic behavior of PUs, we assume that the licensed uplink channels are available for usage by SU v_i with a probability of δ_i, for $ {v}_i\in \mathcal{V} $. Based on the aforementioned ON-OFF process, the occupancy probability of uplink channel ch_ξ by PUs is defined as α_ξ/(α_ξ + β_ξ) [32], where α_ξ is a probability that uplink channel ξ transits from OFF to ON state, and β_ξ is probability that uplink channel ξ transits from ON to OFF state, for ξ = 1, 2, ⋯, ϕ. It is assumed that SUs can determine the occupancy probability of uplink channels by PUs through a priori knowledge of PUs’ activities and local spectrum sensing. Owing to the mutually independent occupancy probability of uplink channel ch_ξ, the probability δ_i of uplink channels used by SU v_i can be expressed as:

$$ {\delta}_i=\prod \limits_{\xi =1}^{\phi}\left(1-\frac{\alpha_{\xi }}{\alpha_{\xi }+{\beta}_{\xi }}\right). $$

(1)

Different from the assumption that time is divided into fixed time slots in a discrete way, we exploit the continuous time model to represent the operation duration of the CRANET. The continuous-time operation is confined to a predefined time interval [t₀, T]. Use ϑ_i(t) and z(t) to denote the positions of SU v_i, PU z at time t ∈ [t₀, T], respectively. Let R_T and R_I stand for the maximum transmission range of SU and the interference range of PU, respectively. Without interference with PUs, a pair of SU v_i and SU v_j can successfully communicate with each other on channel ch_ξ at time t only if the Euclidean distance between SU v_i and SU v_j satisfies ‖ϑ_i(t) − ϑ_j(t)‖ ≤ R_T and when there is no any PU z on channel ch_ξ, i.e., ‖ϑ_i(t) − z(t)‖ > R_I and ‖ϑ_j(t) − z(t)‖ > R_I, for $ {v}_i,{v}_j\in \mathcal{V} $ and ξ = 1, 2, ⋯, ϕ. In this context, there exists a successful transmission link denoted by l_(i, j) from SU v_i to SU v_j on channel ch_ξ at time t. For the sake of conciseness, instant time t will be restricted to the time interval [t₀, T] henceforth.

Under the constraint of successful transmission links, we assume that there are multiple different sessions from source SUs to destination SUs. Each session is associated with a route from a source SU to a destination SU. Figure 2 illustrates an example of logical topology of the underlay multi-hop CRANET, where a series of red solid line denote a session along a route from source SU1 to destination SU5, which is one of the different routes. It is assumed that a session consists of several per-link flows with elastic traffic. We use the term per-link flow to describe a sequence of data packets with elastic traffic transmitted along a successful transmission link. With regard to the route from source SU1 to destination SU5, data packets of a flow enter upstream SU2, travel via single hop, then converge at bottleneck SU3 and, finally, move to downstream SU4. We focus on a scenario that multiple different sessions converge at bottleneck SU, aiming to reinvestigate the cross-layer coupling between capacity supply by power control and rate demand by rate control at upstream SUs. From Fig. 2, the convergence of multiple flows from upstream SU2, SU6, and SU8 via single hop may result in a possible congestion at bottleneck SU3 when the offered data load exceeds the available capacity of SU3 due to a buffer overflow, although the amount of data packets has been delivered to downstream SU4, SU7, and SU9. We assume that there are N flows of elastic traffic along the successful transmission links from N upstream SUs to bottleneck SU v_b via single hop, for $ {v}_b\in \mathcal{V} $ and N < S. Let $ {\mathcal{V}}_{UP} $ and $ \mathcal{N}=\left\{1,2,\cdots, N\right\} $ represent the set of N upstream SUs and the set of flows of elastic traffic from N upstream SUs to bottleneck SU v_b, for $ {\mathcal{V}}_{UP}\subset \mathcal{V} $. For notational simplicity, the flow of elastic traffic along link l_(i, b) from upstream SU v_i to bottleneck SU v_b is described by flow i, for $ i\in \mathcal{N} $ and $ {v}_i\in {\mathcal{V}}_{UP} $. Assuming that flow i of elastic traffic along link l_(i, b) arrives as a Poisson process of flow arrival intensity λ_i with a size drawn independently from a common distribution of mean $ \mathbb{E}\left[{\lambda}_i\right] $ [33]. When Ψ_(i, b) < 1, the transmission link load, denoted by Ψ_(i, b), induced by elastic traffic along link l_(i, b) is equal to [33]:

$$ {\varPsi}_{\left(i,b\right)}=\frac{\lambda_i\times \mathbb{E}\left[{\lambda}_i\right]}{C_{\left(i,b\right)}\left(\mathbf{P}\right)}, $$

(2)

where C_(i, b)(P) denotes the capacity of link l_(i, b), and P = {p₁(t), p₂(t), ⋯, p_N(t)} corresponds to the transmit power vector of N upstream SUs at time t. Here, we use p_i(t) to represent the instant transmit power of upstream SU v_i at time t. Noticing that the transmit power p_i(t) of upstream SU v_i can be adjusted in a continuous way but is also limited by a maximum transmit power threshold denoted by $ {\overline{p}}_i $, i.e., $ {p}_i(t)\in \left[0,{\overline{p}}_i\right) $. Based on elastic traffic model for each flow, the expected duration D_i of flow i with size $ \mathbb{E}\left[{\lambda}_i\right] $ is given by [33]:

$$ {D}_i=\frac{\mathbb{E}\left[{\lambda}_i\right]}{C_{\left(i,b\right)}\left(\mathbf{P}\right)\times \left(1-{\varPsi}_{\left(i,b\right)}\right)}. $$

(3)

Under spectrum underlay scenario, SUs can simultaneously transmit with PUs but have to strictly control their transmit power to avoid interfering with coexisting PUs. Note that the simultaneous transmissions among SUs along a successful transmission link must be undertaken on the same channel, which will further incur the co-channel multiple access interference. We assume that the simultaneous transmissions among N SUs along a successful transmission link on channel ch_ξ can be undertaken under the CDMA-based medium access in the physical layer [34]. The reason for adopting the CDMA-based medium access model is that transmit power of upstream SU can be controlled to induce a different signal-to-interference-plus-noise ratio (SINR) of successful transmission link due to a co-channel multiple-access interference [20, 35, 36]. In principle, link capacity under this scenario cannot remain fixed but depends on SINR of successful transmission link between a pair of SUs. Let SINR_(i, b)(P) be the received SINR of bottleneck SU v_b along link l_(i, b) on channel ch_ξ. Therefore, the capacity of link l_(i, b) from upstream SU v_i to bottleneck SU v_b can be characterized by a global and nonlinear nonconvex function of the transmit power vector and channel conditions as follows [20]:

$$ {C}_{\left(i,b\right)}\left(\mathbf{P}\right)=\frac{1}{T_s}{\log}_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right), $$

(4)

where Τ_s is a symbol period and χ = − φ₁/log₂(φ₂ ⋅ BER) is a constant processing gain factor with φ₁ and φ₂ depending upon an acceptable BER along with the specific modulation and coding scheme. We assume that a large-scale slow-fading channel model is adopted to describe the line-of-sight wireless transmission environment. In this case, channel gain is subject to distance-dependent power attenuation or log-normal shadowing. As for the practical non-line-of-sight scenario, we use a Rayleigh fading model, in which the channel gain is assumed to be independent exponentially distributed random variables with unit mean [37]. Let G_(i, b) and F_(i, b) denote the large-scale slow-fading and the Rayleigh fading channel gain of link l_(i, b) from upstream SU v_i to bottleneck SU v_b, respectively. Thus, we have the normalized Rayleigh fading channel gain $ \mathbb{E}\left[{F}_{\left(i,b\right)}\right]=1 $. By using the certainty-equivalent transmit power and interference power [34, 37], the received SINR of link l_(i, b) at bottleneck SU v_b can be expressed as:

$$ {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)=\frac{p_i(t){G}_{\left(i,b\right)}}{I_i+{I}_p+{n}_0}, $$

(5)

where n₀ is the thermal noise power at bottleneck SU v_b, I_p is the interference caused by the PBS, and I_i is the aggregate power interference introduced by other upstream SUs except upstream SU v_i. The aggregate power interference is given by $ {I}_i={\sum}_{j\in \mathcal{N}\backslash i}{p}_j(t){G}_{\left(j,b\right)} $. In what follows, we are targeted at the line-of-sight wireless transmission environment with the large-scale slow-fading channel gain. How to apply the dynamic fast-fading or Rayleigh fading model under the non-line-of-sight scenario into the cross-layer optimization framework for CRANET will be our further work in the future. Under spectrum underlay scenario, the interference power constraint shall be imposed to protect active PUs’ communications from harmful interference caused by all the upstream SUs. We assume that the interference measurement point is located at bottleneck SU v_b for convenience. Hence, the total interference caused by all the upstream SUs should be kept below the interference temperature limit ϖ_PBS at the interference measurement point of PBS:

$$ \sum \limits_{i\in \mathcal{N}}{p}_i(s){G}_{\left(i,b\right)}\le {\varpi}_{\mathrm{PBS}}. $$

(6)

Predictable contact model

Considering that a contact is viewed as a communication opportunity during which two adjacent SUs can communicate with each other, we move on to model the predictable contact between a pair of SUs from a priori available contact perspective. Based on the insight into successful transmission link l_(i, j) as noticed earlier, an encounter e^(i, j) is defined as an effective continuous transmission between SU v_i and SU v_j with a certain duration, for $ {v}_i,{v}_j\in \mathcal{V} $. It is worth pointing out that an encounter rests on the time of incidence and the duration of an effective continuous transmission between a pair of SUs [38]. Let t^{0, (i, j)} and Δt^(i, j) represent the time of incidence and the duration of an encounter e^(i, j), respectively, for 0 < Δt^(i, j) < T − t₀. Therefore, an encounter e^(i, j) between SU v_i and SU v_j can be formulated as:

$$ {e}^{\left(i,j\right)}=\left\{{v}_i,{v}_j,{t}^{0,\left(i,j\right)},\Delta {t}^{\left(i,j\right)}\right\}. $$

(7)

Suppose that there exist K encounters between SU v_i and SU v_j within a predefined time interval [t₀, T]. In particular, the ℓth encounter $ {e}_{\mathrm{\ell}}^{\left(i,j\right)} $ between SU v_i and SU v_j with a duration $ \Delta {t}_{\mathrm{\ell}}^{\left(i,j\right)} $, for ℓ = 1, 2, ⋯, K, is given as:

$$ {e}_{\mathrm{\ell}}^{\left(i,j\right)}=\left\{{v}_i,{v}_j,{t}_{\mathrm{\ell}}^{0,\left(i,j\right)},\Delta {t}_{\mathrm{\ell}}^{\left(i,j\right)}\right\}. $$

(8)

where $ {t}_{\mathrm{\ell}}^{0,\left(i,j\right)} $ refers to the time of incidence of the ℓth encounter $ {e}_{\mathrm{\ell}}^{\left(i,j\right)} $. For mathematical tractability, we use the duration $ \Delta {t}_{\mathrm{\ell}}^{\left(i,j\right)} $ in (8) to characterize the ℓth encounter, i.e., $ {e}_{\mathrm{\ell}}^{\left(i,j\right)}\triangleq \Delta {t}_{\mathrm{\ell}}^{\left(i,j\right)} $. Thus, within time interval [t₀, T], contact $ {\mathcal{C}}^{\left(i,j\right)} $ between SU v_i and SU v_j can be rigorously regarded as the set of all encounters, i.e., $ {\mathcal{C}}^{\left(i,j\right)}=\left\{{e}_1^{\left(i,j\right)},{e}_2^{\left(i,j\right)},\cdots, {e}_K^{\left(i,j\right)}\right\} $ and $ \left|{\mathcal{C}}^{\left(i,j\right)}\right|=K $. Note that the ℓth encounter $ {e}_{\mathrm{\ell}}^{\left(i,j\right)} $ in contact $ {\mathcal{C}}^{\left(i,j\right)} $ can be referred to a random variable due to the uncertainty of communication opportunity between SU v_i and SU v_j. In this way, we turn to employ a mathematical statistics theory to attain the probability distribution $ {\varUpsilon}^{\left(i,j\right)}=\left\{{\rho}_1^{\left(i,j\right)},{\rho}_2^{\left(i,j\right)},\cdots, {\rho}_M^{\left(i,j\right)}\right\} $ of contact $ {\mathcal{C}}^{\left(i,j\right)} $, which has been derived from Algorithm 1. In Algorithm 1, we introduce a coefficient M to denote the number of the subintervals, which is obtained by dividing interval [a, b] equally. According to the approximate derivation of the sample distribution in mathematical statistics, coefficient M should be reasonably assigned, depending on the number of encounters of K. That is, when K ≤ 100, coefficient M can range from 5 to 12. Obviously, it will be possible to measure the uncertainty of contact $ {\mathcal{C}}^{\left(i,j\right)} $ between SU v_i and SU v_j by the aid of the probability distribution ϒ^(i, j). Thus, by analyzing the statistical data of a priori available contact or all encounters between a pair of SUs, it is implicitly understood that the contact can be in a sense predicted very accurately.

Table 1 summarizes the constrained relationship between the number of encounters within subinterval (d_l − 1, d_l] and contact probability $ {\rho}_l^{\left(i,j\right)} $ in Algorithm 1, for l = 1, 2, ⋯, M. It is important to emphasize that the probability distribution ϒ^(i, j) belongs to a complete probability distribution, i.e., $ {\sum}_{l=1}^M{\rho}_l^{\left(i,j\right)}=1 $. Technically, the entropy paradigm is widely used for a measure of the uncertainty or randomness associated with a random variable in information theory [39]. In order to characterize quantitatively the probability distribution ϒ^(i, j), we put forward an entropy paradigm by using Shannon entropy theory to measure the uncertainty of contact $ {\mathcal{C}}^{\left(i,j\right)} $. Specifically, the entropy H(ϒ^(i, j)) of the probability distribution ϒ^(i, j) can be given as:

$$ H\left({\varUpsilon}^{\left(i,j\right)}\right)=-\sum \limits_{l=1}^M{\rho}_l^{\left(i,j\right)}{\log}_2{\rho}_l^{\left(i,j\right)}. $$

(9)

Table 1 Constrained relationship from algorithm 1

Full size table

Based on Algorithm 1, it is obvious to find that coefficient M impacts the structure of the probability distribution ϒ^(i, j). Thereby, the entropy H(ϒ^(i, j)) will depend on the selection of coefficient M. Recall that the probability δ_i of uplink channels used by SU v_i determines the stability of successful transmission link l_(i, j) or even the contact $ {\mathcal{C}}^{\left(i,j\right)} $ between SU v_i and SU v_j due to the impact of PUs’ activities on the licensed uplink channels. As such, we formally devise a contact affinity metric to describe the stability of the contact between a pair of SUs. Without losing generality, the contact affinity metric A_(i, j) between SU v_i and SU v_j within time interval [t₀, T] is formally expressed as:

$$ {A}_{\left(i,j\right)}=H\left({\varUpsilon}^{\left(i,j\right)}\right)\times {\delta}_i\times {\delta}_j. $$

(10)

Problem formulation

In this section, we intend to employ the differential game theoretic approach to formulate the PLPC problem in the physical layer and the HHCC problem in the transport layer. Clearly, the distributed strategy needs to be used to design the cross-layer optimization framework for congestion and power control due to the lack of centralized control and global information under an underlay CRANET scenario. As depicted in Fig. 3, each upstream SU will serve as power and rate controller in charge of joint optimized allocation of transmit power in the physical layer and data rate in the transport layer. Note that the change of power and rate will be continuous in time due to the fact that dynamic congestion and power control will be more realistic in a practical environment.

Per-link power control in the physical layer

Given the channel conditions, the capacity of successful transmission link between a pair of SUs is a nonconvex function of transmit power vector P. In fact, increasing the link capacity on one link may reduce the link capacities on other links because of the mutual interference caused by SUs [20]. Instead, each SU is expected to increase its transmit power to provide as much link capacity that per-link flow requires [21]. However, this adjustment of power will generate extra interference to other SUs. It is necessary to achieve an optimal per-link power allocation in the physical layer for upstream SUs to meet link capacity supply for all the flows. By letting the transmit power of upstream SU v_i equals the maximum transmit power threshold, we can easily obtain the maximum transmit power vector $ \overline{\mathbf{P}}=\left\{{\overline{p}}_1,{\overline{p}}_2,\cdots, {\overline{p}}_N\right\} $. The transmission loss along link l_(i, b) from upstream SU v_i to bottleneck SU v_b on channel ch_ξ is denoted by η_(i, b). Due to the line-of-sight wireless transmission environment with slow-fading channel model, the transmission loss along link l_(i, b) is represented by η_(i, b) = [c/(4πf_ξ ⋅ ‖ϑ_i(t) − ϑ_b(t)‖)]², where f_ξ is the carrier frequency operating on channel ch_ξ and c is the speed of light. Therefore, the maximum transmit power threshold $ {\overline{p}}_i $ of upstream SU v_i along link l_(i, b) from upstream SU v_i to bottleneck SU v_b can be formulated as:

$$ {\overline{p}}_i=\frac{{\mathrm{p}}_{\left(i,b\right)}^{\mathrm{ref}}}{\eta_{\left(i,b\right)}}, $$

(11)

where $ {\mathrm{p}}_{\left(i,b\right)}^{\mathrm{ref}} $ is the received reference power at bottleneck SU v_b along link l_(i, b). Given the maximum transmit power threshold $ {\overline{p}}_i $, the capacity of link l_(i, b) from upstream SU v_i to bottleneck SU v_b can be denoted by $ {C}_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right) $. Owing to maximum transmit power threshold, the value of power reduction for upstream SU v_i is equal to $ {\overline{p}}_i-{p}_i(t) $. Recall that bits-per-Joule capacity usually serves as a metric to measure the energy efficiency of a communication system [40]. Considering the impact of power reduction on energy efficiency with a link capacity constraint, energy efficiency for power reduction is formally defined as the power reduction achieved per capacity obtained under the maximum transmit power threshold. Thus, we plan to use the energy efficiency for power reduction to characterize a pricing factor of energy-per-capacity, aiming to design the revenue function of power reduction for upstream SU. Given the maximum transmit power vector $ \overline{\mathbf{P}} $, the pricing factor Φ_i(t) of energy-per-capacity of upstream SU v_i at time t can be formally defined as:

$$ {\displaystyle \begin{array}{l}{\varPhi}_i(t)=\frac{{\overline{p}}_i-{p}_i(t)}{C_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}\\ {}\kern4em =\frac{{\overline{p}}_i-{p}_i(t)}{\frac{1}{T_s}{\log}_2\left(1+\chi \cdot \frac{{\overline{p}}_i{G}_{\left(i,b\right)}}{\sum \limits_{j\in \mathcal{N}\backslash i}{\overline{p}}_j{G}_{\left(j,b\right)}+{n}_b+{n}_0}\right)}.\end{array}} $$

(12)

Revisiting the pricing factor of energy-per-capacity of upstream SU v_i, we define the revenue function of power reduction for upstream SU v_i at time t by attaining the product of the pricing factor together with power reduction value, i.e., $ {\varPhi}_i(t)\left({\overline{p}}_i-{p}_i(t)\right) $. Let ω denote the pricing factor announced by upstream SU v_i to measure the cost of the amount of aggregate power interference to PUs. The amount of aggregate power interference to PUs is denoted by I(t). The cost function of aggregate power interference to PUs for upstream SU v_i at time t is given by ωI(t). Note that I(t) is a dynamic variable influenced by transmit power p_i(t) of upstream SU v_i and instant level I(t) within time interval [t₀, T]. Thus, the aggregate power interference I(t) can be characterized as a linear differential equation given as:

$$ \left\{\begin{array}{l}\frac{\mathrm{d}I(t)}{\mathrm{d}t}=\sum \limits_{i\in \mathcal{N}}{p}_i(t)-\gamma I(t)\\ {}I\left({t}_0\right)={I}_{t_0}\end{array}\right., $$

(13)

where γ > 0 is a penalty factor of the amount of aggregate power interference and $ {I}_{t_0} $ is an initial aggregate power interference to PUs at time t₀. Therefore, based on both revenue and cost functions as mentioned, the utility function $ {U}_1^i(t) $ of upstream SU v_i at time t is given as:

$$ {U}_1^i(t)=\frac{{\overline{p}}_i-{p}_i(t)}{C_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}\left({\overline{p}}_i-{p}_i(t)\right)-\omega I(t). $$

(14)

Note that utility function $ {U}_1^i(t) $ is a continuously differentiable function of p_i(t) and I(t). We can find that utility function in (14) mainly relies on pricing factor of energy-per-capacity in that the marginal effect on utility function stems from aggregate power interference. As shown in Fig. 3, we figuratively define pricing factor Φ_i(t) as a shadow price ℵ_i which is a function of transmit power of upstream SU v_i. Our optimization objective is to maximize utility function $ {U}_1^i(t) $ by choosing optimal transmit power $ {p}_i^{\#}(t) $ of upstream SU v_i according to Φ_i(t) and ω:

$$ \underset{p_i(t)}{\operatorname{Maximize}}:\kern1em {\int}_{t_0}^T\left(\frac{{\overline{p}}_i-{p}_i(t)}{C_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}\left({\overline{p}}_i-{p}_i(t)\right)-\omega I(t)\right){e}^{-a\left(t-{t}_0\right)}\mathrm{d}t, $$

(15)

where a is a discount factor, for 0 < a < 1. Note that discount factor a is an exponential factor between 0 and 1 by which the future utility must be multiplied in order to obtain the present value under the underlying structure of differential game. Hence, utility function $ {U}_1^i(t) $ has to be discounted by the factor $ {e}^{-a\left(t-{t}_0\right)} $. Formally, the PLPC problem in the physical layer is formulated as a differential game model Γ_PLPC:

$$ {\varGamma}_{PLPC}=\left\{\mathcal{N},{\left\{{p}_i(t)\right\}}_{i\in \mathcal{N}},I(t),{\left\{{U}_1^i(t)\right\}}_{i\in \mathcal{N}}\right\}, $$

(16)

where

Player set $ \mathcal{N} $: $ \mathcal{N}=\left\{1,2,\cdots, N\right\} $ is the set of all the upstream SUs in the PLPC problem as power controllers playing the game. Note that upstream SU v_i stands for the ith player which is a rational policy maker and acts throughout time interval [t₀, T].
Set of strategies $ {\left\{{p}_i(t)\right\}}_{i\in \mathcal{N}} $: The strategy of the ith player refers to its instant transmit power limited by the maximum transmit power threshold, i.e., $ {p}_i(t)\in \left[0,{\overline{p}}_i\right) $.
State variable I(t): The state variable of the ith player corresponds to the amount of aggregate power interference to PUs.
Set of utility functions $ {\left\{{U}_1^i(t)\right\}}_{i\in \mathcal{N}} $: $ {U}_1^i(t) $ is the utility function of the ith player. The objective of the ith player is to maximize its utility function by rationally selecting optimal strategy $ {p}_i^{\#}(t) $ and optimal state I^#(t).

Hop-by-hop congestion control in the transport layer

Under the scenario that multiple flows from upstream SU2, SU6, and SU8 via single hop converge at bottleneck SU3 in Fig. 2, bottleneck SU3 is a little more inclined to be a congested SU when offered data load exceeds available capacity of SU3 due to buffer overflow. The amount of data packets with elastic traffic in the buffer of bottleneck SU v_b at time t is denoted by φ_b(t). Given time t, t^′ ∈ [t₀, T] and t < t^′, the amount of data packets φ_b(t) of bottleneck SU v_b within the time interval [t, t^′] satisfies the following iterative equation:

$$ {\varphi}_b\left({t}^{\prime}\right)=\max \left\{\min \left\{{\varphi}_b(t)+{\varphi}_b^{t\to {t}^{\prime }}\left({t}^{\prime}\right),{\kappa}_b\right\}-{\varLambda}_b^{t\to {t}^{\prime }}\left({t}^{\prime}\right),0\right\}, $$

(17)

where κ_b is the buffer size of bottleneck SU v_b, and $ {\varphi}_b^{t\to {t}^{\prime }}\left({t}^{\prime}\right) $ and $ {\varLambda}_b^{t\to {t}^{\prime }}\left({t}^{\prime}\right) $ are the amount of data packets accumulated in the buffer of bottleneck SU v_b and the amount of data packets that could be delivered successfully to downstream SUs, respectively. Considering the constraint of the saturation value $ {\widehat{L}}_b $ of the buffer of bottleneck SU v_b, we have the buffer constraint $ {\varphi}_b(t)\le {\widehat{L}}_b $ to guarantee that bottleneck SU v_b will not become the real congested SU.

In the end-to-end congestion control, the congestion detection information is piggybacked over data packets to the destination and then sent to the source through the acknowledgement packet from the destination. However, to feed the congestion detection information back to the upstream SU2, SU6, and SU8, bottleneck SU3 will generate a backpressure signal to notify that the congestion occurs as shown in Fig. 2. Compared with the end-to-end mechanism, the backpressure signal is directly sent back to the corresponding upstream SUs from the bottleneck SU3 via single hop. Instead of passing the congestion detection information sent to the source in an end-to-end approach, the idea of hop-by-hop congestion control policy in this paper is that upstream SU v_i directly adjusts the data rate r_i(t) according to the backpressure signal of bottleneck SU v_b when $ {\varphi}_b(t)>{\widehat{L}}_b $. Based on the radio transceiver equipped by each SU, the backpressure signal is assumed to be transmitted through a common control channel.

Given the received SINR of link l_(i, b), we proceed to derive the required bandwidth of upstream SU v_i for transmissions of data packets with elastic traffic. According to Shannon’s capacity formula, the required bandwidth of upstream SU v_i can be expressed by r_i(t)/log₂(1 + χ ⋅ SINR_(i, b)(P)). We further assume that bottleneck SU v_b acts as a bidder and pays for upstream SU v_i to accommodate the consumption of its network resources while regulating the data rate r_i(t). We use x(t) to represent the congestion bid that bottleneck SU v_b is willing to pay. We then characterize a bandwidth-to-bid ratio aiming to describe the efficiency of bid with regard to the required bandwidth, i.e., [r_i(t)/log₂(1 + χ ⋅ SINR_(i, b)(P))]/x(t). Hence, the cost function C_i(t) of upstream SU v_i at time t can be defined as:

$$ {C}_i(t)={r}_i(t)\times \frac{r_i(t)/{\log}_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right)}{x(t)}\times {D}_i. $$

(18)

We also use the bandwidth-to-bid ratio to figuratively express the shadow price ℵ_i which is a function of the data rate of upstream SU v_i. Note that the shadow price ℵ_i depends on an optimal per-link power allocation in the PLPC problem due to the constraint of the received SINR of link l_(i, b) in bandwidth-to-bid ratio. In this way, we turn our attention to the cross-layer coordination mechanism between capacity supply by power controller and rate demand by rate controller based on shadow prices ℵ_i and ℵ_i as shown in Fig. 3. By taking into account the stability of the contact between a pair of SUs, we conclude that A_(i, b)x(t) is the accumulated revenue obtained by upstream SU v_i that bottleneck SU v_b needs to pay. We also remark that the congestion bid x(t) is a dynamic variable influenced by rate r_i(t) as well as by instant level of x(t) within time interval [t₀, T]. Accordingly, the congestion bid x(t) can be formulated as a linear differential equation:

$$ \left\{\begin{array}{l}\frac{\mathrm{d}x(t)}{\mathrm{d}t}=x(t)-\sum \limits_{i\in \mathcal{N}}\upsilon {r}_i(t)\\ {}x\left({t}_0\right)={x}_{t_0}\end{array}\right., $$

(19)

where $ {x}_{t_0} $ is an initial congestion bid that bottleneck SU v_b needs to pay at time t₀ and υ is an average bid per rate, which is assumed to be a unit value for all the upstream SUs, i.e., υ = 1. Formally, based on both revenue and cost functions as stated before, the utility function $ {U}_2^i(t) $ of upstream SU v_i at time t can be expressed as:

$$ {U}_2^i(t)={A}_{\left(i,b\right)}x(t)-{C}_i(t). $$

(20)

Noticing that utility function $ {U}_2^i(t) $ is also a continuously differentiable function of r_i(t) and x(t). Our optimization objective is to maximize utility function $ {U}_2^i(t) $ by choosing optimal data rate $ {r}_i^{\#}(t) $ of upstream SU v_i while satisfying the buffer constraint at the same time:

$$ \underset{r_i(t)}{\operatorname{Maximize}:}\kern1em {\int}_{t_0}^T\left({A}_{\left(i,b\right)}x(t)-{C}_i(t)\right){e}^{-\tau \left(t-{t}_0\right)}\mathrm{d}t, $$

(21)

where τ is a discount factor, for 0 < τ < 1. Similarly, $ {U}_2^i(t) $ will also be discounted by the factor $ {e}^{-\tau \left(t-{t}_0\right)} $. Correspondingly, the HHCC problem in the transport layer can be also defined as a differential game model Γ_HHCC:

$$ {\varGamma}_{HHCC}=\left\{\mathcal{N},{\left\{{r}_i(t)\right\}}_{i\in \mathcal{N}},x(t),{\left\{{U}_2^i(t)\right\}}_{i\in \mathcal{N}}\right\}, $$

(22)

where

Player set $ \mathcal{N} $: $ \mathcal{N}=\left\{1,2,\cdots, N\right\} $ is the set of all the upstream SUs in the HHCC problem as rate controllers playing the game. Upstream SU v_i is also known as the ith player which is a rational policy maker and act throughout time interval [t₀, T].
Set of strategies $ {\left\{{r}_i(t)\right\}}_{i\in \mathcal{N}} $: The strategy of the ith player corresponds to its instant data rate r_i(t).
State variable x(t): The state variable of the ith player refers to the congestion bid that bottleneck SU v_b is willing to pay.
Set of utility functions $ {\left\{{U}_2^i(t)\right\}}_{i\in \mathcal{N}} $: $ {U}_2^i(t) $ is the utility function of the ith player. The objective of the ith player is to maximize its utility function by rationally choosing optimal strategy $ {r}_i^{\#}(t) $ and optimal state x^#(t).

Optimal solution and distributed implementation

Conventionally, upstream SUs as players of the game are expected to act cooperatively and maximize their joint utility functions with fairness for players by constituting the collaborative coalition. As a result, the global optimization of transmit power and data rate will be attained through cooperation among players with group rationality, which has been recently reported in a cooperative bargaining game [41]. However, each upstream SU is unwilling to jointly adjust the power and rate because of the selfish behavior in forwarding data packets. This is a natural idea due to the fact that the transmissions lead to the consumption of network resources of upstream SUs, such as energy and spectrum. Therefore, the cross-layer optimization framework for congestion and power control will be restricted to noncooperation scenario. In the noncooperative differential game models Γ_PLPC and Γ_HHCC, the ith player competes to maximize the present value of its utility function derived over time interval [t₀, T]. For mathematical tractability, we define the starting time of the differential game models Γ_PLPC and Γ_HHCC as t₀ = 0 hereinafter, but the results can be easily extended to more general cases.

Optimal solution to Γ _PLPC

For the noncooperation scenario, we formulate a dynamic optimization problem ℙ1 to derive the optimal solution to the noncooperative differential game model Γ_PLPC by taking into account the utility function maximization problem coupled with the linear differential equation constraint in (13):

$$ {\displaystyle \begin{array}{l}\mathrm{\mathbb{P}}1\kern0.5em \underset{p_i(t)}{\operatorname{Maximize}}:\kern1em {\int}_0^T\left(\frac{{\overline{p}}_i-{p}_i(t)}{C_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}\left({\overline{p}}_i-{p}_i(t)\right)-\omega I(t)\right){e}^{- at}\mathrm{d}t\\ {}\kern2.00em \mathrm{Subject}\kern0.5em \mathrm{to}:\frac{\mathrm{d}I(t)}{\mathrm{d}t}=\sum \limits_{i\in \mathcal{N}}{p}_i(t)-\gamma I(t),\\ {}\kern13em I\left({t}_0=0\right)={I}_0.\end{array}} $$

(23)

We aim at deriving an optimal solution to ℙ1 by employing the theory of dynamic programming developed by Bellman [42]. Remark that the optimal solution is also viewed as a Nash equilibrium solution to ℙ1 if all the players play noncooperatively. Here, we relax the terminal time of Γ_PLPC to explore when T approaches ∞ (i.e., T → ∞) as an infinite time horizon. It is more realistic to obtain the long-term optimal power allocation for upstream SUs due to spectrum underlay strategy with cellular primary network. We use $ {p}_i^{\#}(t) $ to represent the optimal solution to ℙ1 and assume that there exists a continuously differentiable function Vⁱ(p_i, I) satisfying the following partial differential equation:

$$ \kern1.5em {aV}^i\left({p}_i,I\right)=\underset{p_i(t)}{\operatorname{Maximize}}:\left\{\frac{{\left({\overline{p}}_i-{p}_i(t)\right)}^2}{C_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}-\omega I(t)+\frac{\partial {V}^i\left({p}_i,I\right)}{\partial I}\left(\sum \limits_{j\in \mathcal{N}\backslash i}{p}_j^{\#}(t)+{p}_i(t)-\gamma I(t)\right)\right\}. $$

(24)

Theorem 1

A vector of optimal transmit power $ {\mathbf{P}}^{\#}=\left\{{p}_1^{\#}(t),{p}_2^{\#}(t),\cdots, {p}_N^{\#}(t)\right\} $ of upstream SUs constitutes a Nash equilibrium solution to ℙ1 if and only if the optimal transmit power $ {p}_i^{\#}(t) $ of the ith player and the continuously differentiable function Vⁱ(p_i, I) can be formulated as follows:

$$ {p}_i^{\#}(t)={\overline{p}}_i-\frac{\omega {C}_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}{2\left(a+\gamma \right)}, $$

(25)

$$ {V}^i\left({p}_i^{\#},I\right)=\frac{\omega }{a\left(a+\gamma \right)}\left(\frac{\omega {C}_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)\left(1+2N\right)}{4\left(a+\gamma \right)}- aI-\sum \limits_{i\in \mathcal{N}}{\overline{p}}_i\right). $$

(26)

Proof: See Appendix 1. ■.

From Theorem 1, we can observe that the existence and uniqueness of the Nash equilibrium point to ℙ1 are guaranteed under the constraint of analytical solution in (25) and (26). It is also revealed that the optimal transmit power $ {p}_i^{\#}(t) $ has been characterized by a fixed and unique value in (25). Evidently, Theorem 1 mathematically ensures the convergence of $ {p}_i^{\#}(t) $ to a Nash equilibrium point. The key point to derive the optimal solution to the differential game model Γ_PLPC is illustrated with a block diagram shown in Fig. 4a.

Proposition 1

For the given large-scale slow-fading channel model, by letting G₁ = ϖ_PBS/(10⁶g₀)^N, the optimal transmit power $ {p}_i^{\#}(t) $ of the ith player should follow the interference power constraint:

$$ \prod \limits_{i\in \mathcal{N}}{p}_i^{\#}(t)\le {G}_1\prod \limits_{i\in \mathcal{N}}{\left\Vert {\vartheta}_i(t)-{\vartheta}_b(t)\right\Vert}^4. $$

(27)

Proof: See Appendix 2. ■.

Note that the optimal transmit power $ {p}_i^{\#}(t) $ of the ith player is fully constrained by the Euclidean distance between upstream SU v_i and bottleneck SU v_b under the given channel model. Substituting for $ {p}_i^{\#}(t) $ with its expression from Theorem 1 and taking into account the previous expression of shadow price ℵ_i, we can easily rewrite ℵ_i as:

$$ {\aleph}_i=\frac{\omega }{2\left(a+\gamma \right)}. $$

(28)

Apparently, shadow price ℵ_i tends to be a constant value for all the upstream SUs. Although (25) and (26) offer an analytical solution to ℙ1, it still remains to design an algorithm to ensure fast convergence of the update of optimal transmit power. Therefore, we devise a distributed optimal transmit power update (OTPU) strategy given in Algorithm 2 to update the optimal transmit power vector P^# for upstream SUs. Similar to [43], shadow price ℵ_i in Algorithm 2 needs to carefully be chosen to ensure fast convergence of the update of instant transmit power $ {p}_i^{\odot }(t) $. It is also noted that the update of instant transmit power $ {p}_i^{\odot }(t) $ for upstream SU v_i can be made locally according to its optimal transmit power $ {p}_i^{\#}(t) $ along with interference power constraint.

Optimal solution to Γ _HHCC

For notational simplicity, we begin by defining a notation B_(i, b) ≜ − D_i/log₂(1 + χ ⋅ SINR_(i, b)(P)). For the noncooperation scenario, we formulate a dynamic optimization problem ℙ2 to derive the optimal solution to the noncooperative differential game model Γ_HHCC by taking into account both the utility function maximization problem and the linear differential equation constraint in (19):

$$ {\displaystyle \begin{array}{l}\mathrm{\mathbb{P}}2\kern0.5em \underset{r_i(t)}{\operatorname{Maximize}}:\kern1em {\int}_0^T\left({A}_{\left(i,b\right)}x(t)+{B}_{\left(i,b\right)}\frac{r_i^2(t)}{x(t)}\right){e}^{-\tau t}\mathrm{d}t\\ {}\kern3.25em \mathrm{Subject}\kern0.5em \mathrm{to}:\frac{\mathrm{d}x(t)}{\mathrm{d}t}=x(t)-\sum \limits_{i\in \mathcal{N}}{r}_i(t),\\ {}\kern13em x\left({t}_0=0\right)={x}_0.\end{array}} $$

(29)

We turn to take advantage of the theory of maximum principle developed by Pontryagin [42] to derive an optimal solution or a Nash equilibrium solution to ℙ2. We further use $ {r}_i^{\#}(t) $ to represent the optimal solution to ℙ2 and assume that there exists a continuously differentiable function Wⁱ(r_i, x) satisfying the partial differential equation as follows:

$$ -\frac{\partial {W}^i\left({r}_i,x\right)}{\partial s}=\underset{r_i(t)}{\operatorname{Maximize}}:\left\{\left({A}_{\left(i,b\right)}x(t)+{B}_{\left(i,b\right)}\frac{r_i^2(t)}{x(t)}\right){e}^{-\tau t}+\frac{\partial {W}^i\left({r}_i,x\right)}{\partial x}\left(x(t)-\sum \limits_{j\in \mathcal{N}\backslash i}{r}_j^{\#}(t)-{r}_i(t)\right)\right\}. $$

(30)

For tractability, we introduce two extra introduced auxiliary variables Y_i(t) and J_i(t) to characterize Wⁱ(r_i, x). Specifically, we define Wⁱ(r_i, x) ≜ (Y_i(t)x(t) + J_i(t))e^−τt.

Theorem 2

A vector of optimal data rate $ {\mathbf{R}}^{\#}=\left\{{r}_1^{\#}(t),{r}_2^{\#}(t),\cdots, {r}_N^{\#}(t)\right\} $ of upstream SUs constitutes a Nash equilibrium solution to ℙ2 if and only if the optimal data rate $ {r}_i^{\#}(t) $ of the ith player can be expressed as:

$$ {r}_i^{\#}(t)=\frac{Y_i(t)x(t)}{2{B}_{\left(i,b\right)}}, $$

(31)

where Y_i(t) and J_i(t) satisfy the following differential equations:

$$ \frac{\mathrm{d}{Y}_i(t)}{\mathrm{d}t}=\frac{1}{4{B}_{\left(i,b\right)}}{Y}_i^2(t)+\left(\tau -1\right){Y}_i(t)-{A}_{\left(i,b\right)}+\frac{Y_i(t)}{2}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{Y_j(t)}{B_{\left(j,b\right)}}, $$

(32)

$$ \frac{\mathrm{d}{J}_i(t)}{\mathrm{d}t}=\tau \cdot {J}_i(t). $$

(33)

Proof: See Appendix 3. ■.

For notational simplicity, we set $ {\varOmega}_{\left(i,b\right)}=1/\left(4{B}_{\left(i,b\right)}\right)+0.5{\sum}_{j\in \mathcal{N}\backslash i}1/{B}_{\left(j,b\right)} $ and $ \varepsilon =\sqrt{{\left(\tau -1\right)}^2+4{\varOmega}_{\left(i,b\right)}{A}_{\left(i,b\right)}} $, for 4Ω_(i, b)A_(i, b) + (τ − 1)² > 0. We also denote G₂ as a constant number. Substituting Ω_(i, b) into ε, we can rewrite ε as follows:

$$ \varepsilon =\sqrt{{\left(\tau -1\right)}^2+\frac{A_{\left(i,b\right)}}{B_{\left(i,b\right)}}+2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{1}{B_{\left(j,b\right)}}}. $$

(34)

Proposition 2

The auxiliary variable Y_i(t) in the Nash equilibrium solution $ {r}_i^{\#}(t) $ to ℙ2 can be further given as:

$$ {Y}_i(t)=\frac{\left(\left(\tau -1\right)+\varepsilon \right){e}^{\left(t-{G}_2\right)\varepsilon }+\varepsilon -\tau +1}{2{\varOmega}_{\left(i,b\right)}\left(1-{e}^{\left(t-{G}_2\right)\varepsilon}\right)}. $$

(35)

Proof: See Appendix 4. ■.

Combining Y_i(t) in (35) and ε in (34) yields the expression for Y_i(t) as:

$$ {Y}_i(t)=\frac{\left(\tau -1+\sqrt{{\left(\tau -1\right)}^2+\frac{A_{\left(i,b\right)}}{B_{\left(i,b\right)}}+2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{1}{B_{\left(j,b\right)}}}\right){e}^{\left(t-{G}_2\right)\sqrt{{\left(\tau -1\right)}^2+\frac{A_{\left(i,b\right)}}{B_{\left(i,b\right)}}+2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{1}{B_{\left(j,b\right)}}}}+\sqrt{{\left(\tau -1\right)}^2+\frac{A_{\left(i,b\right)}}{B_{\left(i,b\right)}}+2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{1}{B_{\left(j,b\right)}}}-\tau +1}{2\left(\frac{1}{4{B}_{\left(i,b\right)}}+0.5\sum \limits_{j\in \mathcal{N}\backslash i}\frac{1}{B_{\left(j,b\right)}}\right)\left(1-{e}^{\left(t-{G}_2\right)\sqrt{{\left(\tau -1\right)}^2+\frac{A_{\left(i,b\right)}}{B_{\left(i,b\right)}}+2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{1}{B_{\left(j,b\right)}}}}\right)}. $$

(36)

Substituting B_(i, b) ≜ − D_i/log₂(1 + χ ⋅ SINR_(i, b)(P)) into (36), we can rewrite Y_i(t) as follows:

$$ {\displaystyle \begin{array}{l}{Y}_i(t)=\frac{\left(\tau -1+\sqrt{{\left(\tau -1\right)}^2-\frac{A_{\left(i,b\right)}{\log}_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right)}{D_i}-2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(j,b\right)}\left(\mathbf{P}\right)\right)}{D_j}}\right){e}^{\left(t-{G}_2\right)\sqrt{{\left(\tau -1\right)}^2-\frac{A_{\left(i,b\right)}{\log}_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right)}{D_i}-2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(j,b\right)}\left(\mathbf{P}\right)\right)}{D_j}}}}{2\left(\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right)}{4{D}_i}+0.5\sum \limits_{j\in \mathcal{N}\backslash i}\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(j,b\right)}\left(\mathbf{P}\right)\right)}{D_j}\right)\left({e}^{\left(t-{G}_2\right)\sqrt{{\left(\tau -1\right)}^2-\frac{A_{\left(i,b\right)}{\log}_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right)}{D_i}-2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(j,b\right)}\left(\mathbf{P}\right)\right)}{D_j}}}-1\right)}.\\ {}\kern5em +\frac{\sqrt{{\left(\tau -1\right)}^2-\frac{A_{\left(i,b\right)}{\log}_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right)}{D_i}-2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(j,b\right)}\left(\mathbf{P}\right)\right)}{D_j}}-\tau +1}{2\left(\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right)}{4{D}_i}+0.5\sum \limits_{j\in \mathcal{N}\backslash i}\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(j,b\right)}\left(\mathbf{P}\right)\right)}{D_j}\right)\left({e}^{\left(t-{G}_2\right)\sqrt{{\left(\tau -1\right)}^2-\frac{A_{\left(i,b\right)}{\log}_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left(\mathbf{P}\right)\right)}{D_i}-2{A}_{\left(i,b\right)}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(j,b\right)}\left(\mathbf{P}\right)\right)}{D_j}}}-1\right)}\end{array}} $$

(37)

Let G₃ be a constant number. Based on (31) and (29), the optimal data rate $ {r}_i^{\#}(t) $ and the optimal state variable x^#(t) associated with $ {r}_i^{\#}(t) $ can be described as:

$$ {r}_i^{\#}(t)=\frac{Y_i(t)}{2{B}_{\left(i,b\right)}}\left({e}^{\left(1-0.5\sum \limits_{i=1}^N\frac{Y_i(t)}{B_{\left(i,b\right)}}\right)t}+{G}_3\right), $$

(38)

$$ {x}^{\#}(t)={e}^{\left(1-0.5\sum \limits_{i=1}^N\frac{Y_i(t)}{B_{\left(i,b\right)}}\right)t}+{G}_3. $$

(39)

From (38), we can see that the optimal data rate $ {r}_i^{\#}(t) $ is determined by both B_(i, b) and auxiliary variable Y_i(t) under the received SINR SINR_(i, b)(P) of link l_(i, b). Unfortunately, it is difficult to directly obtain the relationship between SINR_(i, b)(P) and $ {r}_i^{\#}(t) $ through an analytical derivation because Y_i(t) cannot be further simplified into a concise structure. Thereby, given the channel gain G_(i, b) of link l_(i, b) under the large-scale slow-fading channel model, we use the numerical simulations to validate the effectiveness of the optimal data rate $ {r}_i^{\#}(t) $ of upstream SU v_i. We further remark that Theorem 2 and Proposition 2 characterize the existence of the Nash equilibrium point to ℙ2. It should be also admitted that the optimal data rate $ {r}_i^{\#}(t) $ has been formulated as a fixed and unique value in (38) by using auxiliary variable Y_i(t) in (37). Correspondingly, Theorem 2 mathematically ensures the convergence of $ {r}_i^{\#}(t) $ to a Nash equilibrium point. The key point to derive the optimal solution to the differential game model Γ_HHCC is also illustrated with a block diagram depicted in Fig. 4b. With the help of vectors R^# and P^#, shadow price ℵ_i can be calculated as:

$$ {\aleph}_i=\left(\frac{1}{\log_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left({\mathbf{P}}^{\#}\right)\right)}\right)\frac{r_i^{\#}(t)}{x^{\#}(t)}. $$

(40)

Proposition 3

For the given vector R^# and vector P^#, a strict lower bound of shadow price ℵ_i can be approximately calculated as follows:

$$ {\aleph}_i\ge {\left({\log}_2\left(\chi \cdot \frac{p_i^{\#}(t)}{\sum \limits_{j\in \mathcal{N}\backslash i}{p}_j^{\#}(t)}\right)\right)}^{-1}\frac{r_i^{\#}(t)}{x^{\#}(t)}. $$

(41)

Proof: See Appendix 5. ■.

Let $ {\mathrm{r}}_{\left(i,b\right)}^{\mathrm{base}} $ represent the baseline rate along link l_(i, b) from upstream SU v_i to bottleneck SU v_b. To guarantee the constraint of the saturation value of the buffer of bottleneck SU v_b, we design a distributed algorithm to obtain the optimal data rate update (ODRU) for upstream SUs as summarized in Algorithm 3, where R = {r₁(t), r₂(t), ⋯, r_N(t)} denotes the data rate vector of N upstream SUs at time t. A simple yet effective way to locally adjust the instant data rate $ {r}_i^{\odot }(t) $ of upstream SU v_i is to employ the optimal data rate $ {r}_i^{\#}(t) $ under the condition of buffer constraint $ {\varphi}_b(t)\le {\widehat{L}}_b $. Also, baseline rate $ {\mathrm{r}}_{\left(i,b\right)}^{\mathrm{base}} $ in Algorithm 3 should be carefully chosen to ensure the effectiveness of instant data rate.

Distributed implementation

So far, we have devised Algorithms 2 and 3 to satisfy the interference power constraint along with buffer constraint by locally adjusting the optimal transmit power and the optimal data rate, respectively. In what follows, we would like to describe the distributed implementation strategy to realize the cross-layer optimization framework for congestion and power control by jointly optimizing PLPC-HHCC simultaneously. In conclusion, the cross-layer optimization scheme for joint PLPC-HHCC design is implemented in a distributed manner as follows:

Shadow price

Update shadow price ℵ_i using (28) and shadow price ℵ_i using (40), respectively.

Power controller in the physical layer

For each upstream SU, we initially assign optimal transmit power $ {p}_i^{\#}(t) $ using (25) to update instant transmit power $ {p}_i^{\odot }(t) $ at power controller. Due to the interference power constraint in (6) to protect PUs, $ {p}_i^{\odot }(t) $ should satisfy the following distributed power-update function when $ {\sum}_{i\in \mathcal{N}}{p}_i(t){G}_{\left(i,b\right)}>{\varpi}_{\mathrm{PBS}} $ via OTPU algorithm:

$$ {p}_i^{\odot }(t)=\left\{\begin{array}{l}\left|{p}_i^{\odot }(t)-{\aleph}_i\times {\overline{p}}_i\right|,\kern4.5em \mathrm{for}\kern1em 0<{\aleph}_i<1\\ {}\left|{p}_i^{\odot }(t)-{\left({\aleph}_i\right)}^{-1}\times {\overline{p}}_i\right|,\kern2em \mathrm{for}\kern1em {\aleph}_i\ge 1\end{array}\right.. $$

(42)

Rate controller in the transport layer

For each upstream SU, we also initially assign optimal data rate $ {r}_i^{\#}(t) $ using (38) to update instant data rate $ {r}_i^{\odot }(t) $ at rate controller. Owing to the buffer constraint $ {\varphi}_b(t)\le {\widehat{L}}_b $ to guarantee that bottleneck SU v_b will not become congested, $ {r}_i^{\odot }(t) $ should be subject to the following distributed rate update function when $ {\varphi}_b(t)>{\widehat{L}}_b $ via ODRU algorithm:

$$ {r}_i^{\odot }(t)\leftarrow {r}_i^{\odot }(t)-{\aleph}_i\times {\mathrm{r}}_{\left(i,b\right)}^{\mathrm{base}}. $$

(43)

Cross-layer coordination mechanism

With the aid of the updated power $ {p}_i^{\odot }(t) $, the link capacity supply C_(i, b)(P^⊙) with respect to each upstream SU is regulated by power controller by using (4) as shown in Fig. 3. The rate demand depends on instant data rate $ {r}_i^{\odot }(t) $ regulated by rate controller, which is nonlinear function of instant transmit power vector P^⊙ according to (37) and (38).

Simulation results

Simulation settings

The simulation scenario is shown in Fig. 5, which consists of one bottleneck SU and N = 6 randomly distributed upstream SUs transmitting data packets with elastic traffic towards bottleneck SU within a range of 100 m × 100 m. The scenario is easily extendable to a general case which involves much more randomly distributed upstream SUs. Our simulations pay more attention to evaluate the effect of the cross-layer optimization framework for congestion and power control on both optimal data rate and optimal transmit power of six different per-link flows. Different from the channel with carrier frequency of 890.4 MHz used by SUs, we assume that active PUs in simulation scenario occupy other uplink channels from set ℋ.This can make possible the successful transmissions of data packets from upstream SUs to bottleneck SU. The probability δ_i of uplink channels used by each SU is assumed to be 0.65. The channel gain of link l_(i, b) is defined with large-scale slow-fading model, given by G_(i, b) = 100g₀‖ϑ_i(t) − ϑ_b(t)‖⁻⁴ [34], where the reference channel gain g₀ is set to 9.7 × 10⁻⁴ [44]. We adopt a processing gain factor χ = − 1.5/log₂(5BER) where the target bit error rate is BER = 10⁻³ for multiple quadrature amplitude modulation with a symbol period of Τ_s = 52.5 μs. The thermal noise power at bottleneck SU and interference caused by PBS are assumed to be n₀ = − 50 dBm and I_P = 10 dBm, respectively. In addition, the receiving reference power at bottleneck SU is chosen as $ {p}_{\left(i,b\right)}^{ref}=-37\kern0.5em \mathrm{dBm} $ for each upstream SU. With regard to the elastic traffic modeled by Poisson process [32], the flow arrival intensity is set to a normalized value λ_i = 125 bps for each upstream SU, and the mean of flow size is given as $ \mathbb{E}\left[{\lambda}_i\right]=2\kern0.5em \mathrm{Mbits} $. Under our differential game models Γ_PLPC and Γ_HHCC, we choose the pricing factor ω = 22, the penalty factor γ = 0.7, two constant numbers G₂ = 5.5 and G₃ = 360.

Due to the lack of empirical data about available contact or all encounters between a pair of SUs, to evaluate the uncertainty of contact $ {\mathcal{C}}^{\left(i,b\right)} $ along link l_(i, b), we assume that the minimum and maximum values of encounter duration for all encounters within contact $ {\mathcal{C}}^{\left(i,b\right)} $ is offered in Fig. 6. Note that Flow i in Fig. 6 corresponds to contact $ {\mathcal{C}}^{\left(i,b\right)} $ along link l_(i, b), for i = 1, 2, ⋯, 6. We set the number of subintervals in Algorithm 1 to M = 8 for all upstream SUs in that the number of encounters K seems to be a lower value because of the short time interval in the simulations. In fact, game time or time interval is just set to [0, 5] s in the following simulations. Under this setting, the probability distribution ϒ^(i, b) of contact $ {\mathcal{C}}^{\left(i,b\right)} $ derived from Algorithm 1 is assumed to comply with the contact distribution as provided by Fig. 7.

The proposed OTPU algorithm for the PLPC problem is compared with the existing classical distributed constrained power control (DCPC) algorithm in [45]. The DCPC algorithm is a SINR-constrained power control algorithm which distributively and iteratively searches for transmit power updated from the ς th iteration to the (ς + 1) th iteration. Let $ {\mathrm{SINR}}_i^{tar} $ denote the target SINR for upstream SU v_i to maintain a certain QoS requirement. In the simulations, the target SINR can be set as $ {\mathrm{SINR}}_i^{tar}=8\kern0.5em dB $. Therefore, the iterative function of transmit power update in the DCPC algorithm with number of iteration ς = 0, 1, 2, ⋯ is specifically given as [45]:

$$ {p}_i^{\left(\varsigma +1\right)}=\min \left\{{\overline{p}}_i,\frac{{\mathrm{SINR}}_i^{tar}}{{\mathrm{SINR}}_{\left(i,b\right)}^{\left(\varsigma \right)}\left(\mathbf{P}\right)}\cdot {p}_i^{\left(\varsigma \right)}\right\}. $$

(44)

Results

Performance of OTPU algorithm

Figure 8 shows the optimal transmit power comparison for six per-link flows between the OTPU algorithm with the evolution of discount factor a and the DCPC algorithm with ς = 300 iterations. This figure clearly depicts that an increased discount factor from 0.1 to 0.9 will increase the optimal transmit power of each flow under the OTPU algorithm. Apparently, this is a direct consequence of discount factor a on the optimal transmit power according to (25). However, it is observed that the optimal transmit power of each flow via the DCPC algorithm presents a fixed constant value. This is due to the fact that the optimal transmit power of each flow via the DCPC algorithm converges to an expected equilibrium point after 300 iterations. It is worth mentioning that Theorem 1 mathematically makes the optimal transmit power of each upstream SU converge to a Nash equilibrium point distributively. From the results, we can also see that the optimal transmit power of each flow by the OTPU algorithm is obviously lower than that of the DCPC algorithm. This can be explained by the fact that DCPC algorithm gives rise to more power consumption for maintaining a certain SINR for each upstream SU. However, the optimal transmit power of each flow based on the OTPU algorithm mainly depends upon the maximum transmit power threshold of upstream SU. On the other hand, the instant power level can be further reduced via the change of discount factor a.

The impact of discount factor on optimal transmit power

Figure 9 illustrates the optimal transmit power comparison for six per-link flows via the OTPU algorithm under different discount factors. It is noted that the total interference caused by six upstream SUs satisfies the interference temperature limit ϖ_PBS = − 10 dBm according to the constraint of (6). As the discount factor increases, the optimal transmit power of six flows obtained by the OTPU algorithm will raise as well. As expected, the optimal transmit power of flow 6 can achieve the minimum transmit power level with approximately 50 mW, and the optimal transmit power of flow 2 can obtain higher transmit power level with the maximum value nearly 570 mW. However, the increasing rate of the optimal transmit power in regard to flows 6, 3, and 1 flattens out after discount factor a = 0.6. The reason is as follows. Firstly, based on (25), the discount factor effect is in direct proportion to the optimal transmit power. One the other hand, with even higher Euclidean distance between upstream SU and bottleneck SU, the maximum transmit power threshold will increase as well according to (11). Under the simulation scenario, the higher Euclidean distance of the successful transmission link of flow 2 leads to a higher transmit power level accordingly.

Optimal data rate performance of ODRU algorithm

Figure 10 exhibits the evolution of the optimal data rate for six per-link flows obtained by the ODRU algorithm versus game time t ∈ [0, 5]s under the condition of discount factor τ = 0.2 and saturation value $ {\widehat{L}}_b=1\kern0.5em Mbps $. From the results, we can see the optimal data rate for six flows gradually increase with the growth of game time t. Meanwhile, the optimal data rate levels of six flows are very close from 0 to 4 s. When game time t is more than 4 s, the gaps among the optimal data rate levels will be enlarged. This demonstrates that the optimal data rate has large values during the game time of the end interval of the game. Under discount factor τ = 0.2, the optimal data rate value of flow 2 is much larger than those of other flows with maximum value of 300 kbps, and the optimal rate of flow 6 has the lowest level within 50 kbps. It can also be observed that the optimal data rate of flow 2 yields significant performance gains than other flows under the condition of the fixed discount factor. According to saturation value $ {\widehat{L}}_b=1\kern0.5em Mbps $, we can observe that the total data rate generated by six upstream SUs is subject to the buffer constraint $ {\varphi}_b(t)\le {\widehat{L}}_b $ such that the instant data rate levels should not be adjusted through the ODRU algorithm.

Figure 11 depicts the optimal data rate update comparison for six per-link flows with the aid of the ODRU algorithm on the condition of discount factor τ = 0.2 and saturation value $ {\widehat{L}}_b=490\kern0.5em kbps $. It is implicitly revealed that the total data rate caused by six upstream SUs fail to guarantee the buffer constraint $ {\varphi}_b(t)\le {\widehat{L}}_b $ such that the instant data rate levels must be updated according to the ODRU algorithm. Hence, the evolution of the optimal data rate levels of six upstream SUs will enter the rate update zone (i.e., shadow area in Fig. 11) when the constraint $ {\varphi}_b(t)>{\widehat{L}}_b $. From the results, we can see that the large values of the optimal data rate have been considerably dwindled according to the distributed rate update function in (41) when instant game time t = 4.3 s in order to meet the buffer constraint of bottleneck SU.

The impact of discount factor on optimal data rate

Figure 12 displays the evolution of the optimal data rate for six per-link flows via the ODRU algorithm versus discount factor τ under the condition of two fixed instant game time point t (i.e., t = 3 and t = 4) and saturation value $ {\widehat{L}}_b=950\kern0.5em \mathrm{kbps} $. From the results, we can see the total data rate generated by six upstream SUs accommodates for the buffer constraint $ {\varphi}_b(t)\le {\widehat{L}}_b $. It can be also observed that as the discount factor increases from 0.1 to 0.9, the optimal data rate of six flows obtained by the ODRU algorithm will decrease accordingly. The reason for this is that the utility function of each upstream SU must be discounted by the factor e^−τt at time t under the differential game structure Γ_HHCC. As we expected, the optimal data rate of flow 6 can obtain the minimum rate level within approximately interval [6, 26] kbps, and the optimal data rate of flow 2 can gain the maximum value of data rate with nearly interval [30, 140] kbps. This can be explained by the fact that the higher Euclidean distance of the successful transmission link of flow 2 will result in a higher transmit power level accordingly. This result of higher transmit power level of flow 2 will lead to the more link capacity supply. It implies that the upstream SU has the enough link capacity supply to achieve higher data rate in the proposed cross-layer optimization framework. Essentially, this signifies the importance of cross-layer coordination mechanism on the coupling between rate demand regulated by rate controller and capacity supply regulated by power controller.

Conclusions

In this paper, a distributed cross-layer optimization framework for congestion and power control for CRANETs under predictable contact has been proposed. Particularly, we introduced a predictable contact model by achieving the probability distribution of contact between any pair of SUs, aiming to measure the uncertainty of contact. Also, an entropy paradigm was presented to characterize quantitatively the probability distribution of contact. We employed a differential game theoretic approach to formulate the PLPC problem and the HHCC problem, and obtained the optimal transmit power and the optimal data rate of upstream SUs via dynamic programming and maximum principle. To guarantee the interference power constraint for active PUs and the buffer constraint of bottleneck SU, we developed two distributed update algorithms to locally adjust optimal transmit power and optimal data rate of upstream SUs. Finally, we presented a distributed implementation strategy to construct the cross-layer optimization framework for congestion and power control by jointly optimizing PLPC-HHCC simultaneously and validated its performance with simulations. What we have discussed in this paper is the portion of foundation for the cross-layer optimization framework in CRANETs. In the future work, a joint objective function to achieve congestion and power control will be considered. Moreover, it will be interesting and important to investigate a trade-off parameter as a whole to reflect the benefits of the proposed framework.

Abbreviations

BER:: Bit error rate
CR:: Cognitive radio
CRANET:: Cognitive radio ad hoc network
CRN:: CR network
DCPC:: Distributed constrained power control
HHCC:: Hop-by-hop congestion control
ODRU:: Optimal data rate update
OTPU:: Optimal transmit power update
PBS:: Primary base station
PLPC:: Per-link power control
PU:: Primary user
QoS:: Quality of service
RTT:: Round trip time
SINR:: Signal-to-interference-plus-noise ratio
SU:: Secondary user
TCP:: Transmission control protocol
UDP:: User datagram protocol

References

1.
S Haykin, Cognitive radio: brain-empowered wireless communications. IEEE J. Sel. Areas Commun. 23(2), 201–220 (2005)
Article Google Scholar
2.
Z Ding, Y Liu, J Choi, Q Sun, M Elkashlan, I Chih-Lin, HV Poor, Application of non-orthogonal multiple access in LTE and 5G networks. IEEE Commun. Mag. 55(2), 185–191 (2017)
Article Google Scholar
3.
V Rakovic, D Denkovski, V Atanasovski, P Mahonen, L Gavrilovska, Capacity-aware cooperative spectrum sensing based on noise power estimation. IEEE Trans. Commun. 63(7), 2428–2441 (2015)
Article Google Scholar
4.
N Zhang, H Liang, N Cheng, Dynamic spectrum access in multi-channel cognitive radio networks. IEEE J. Sel. Areas Commun. 32(11), 2053–2064 (2014)
Article Google Scholar
5.
PK Sharma, PK Upadhyay, Performance analysis of cooperative spectrum sharing with multiuser two-way relaying over fading channels. IEEE Trans. Veh. Technol. 66(2), 1324–1333 (2017)
Article Google Scholar
6.
IF Akyildiz, W-Y Lee, KR Chowdhury, CRAHNs: cognitive radio ad hoc networks. Ad Hoc Netw. 7(5), 810–836 (2009)
Article Google Scholar
7.
A Goldsmith, SA Jafar, I Maric, S Srinivasa, Breaking spectrum gridlock with cognitive radios: an information theoretic perspective. Proc. IEEE 97(5), 894–914 (2009)
Article Google Scholar
8.
S Gong, P Wang, Y Liu, W Zhuang, Robust power control with distribution uncertainty in cognitive radio networks. IEEE J. Sel. Areas Commun. 31(11), 2397–2408 (2013)
Article Google Scholar
9.
G Ozcan, MC Gursoy, Optimal power control for underlay cognitive radio systems with arbitrary input distributions. IEEE Trans. Wirel. Commun. 14(8), 4219–4233 (2015)
Article Google Scholar
10.
S Parsaeefard, AR Sharafat, Robust distributed power control in cognitive radio networks. IEEE Trans. Mobile Comput. 12(4), 609–620 (2013)
Article Google Scholar
11.
S-C Lin, K-C Chen, Spectrum-map-empowered opportunistic routing for cognitive radio ad hoc networks. IEEE Trans. Veh. Technol. 63(6), 2848–2861 (2014)
Article Google Scholar
12.
J Wang, H Yue, L Hai, Y Fang, Spectrum-aware anypath routing in multi-hop cognitive radio networks. IEEE Trans. Mobile Comput. 16(4), 1176–1187 (2017)
Article Google Scholar
13.
J Zhao, G Cao, Spectrum-aware data replication in intermittently connected cognitive radio networks (Proc. IEEE INFOCOM, Toronto, 2014), pp. 2238–2246
Google Scholar
14.
V Cerf, S Burleigh, L Torgerson, R Durst, K Scott, K Fall, H Weiss, Delay-tolerant network architecture: The evolving Interplanetary Internet (Internet-Draft, IPN Research Group, 2002). https://tools.ietf.org/html/rfc4838
15.
KR Chowdhury, M Di Felice, IF Akyildiz, TCP CRAHN: a transport control protocol for cognitive radio ad hoc networks. IEEE Trans. Mobile Comput. 12(4), 790–803 (2013)
Article Google Scholar
16.
D Sarkar, H Narayan, Transport layer protocols for cognitive networks (Proc. IEEE INFOCOM, San Diego, 2010), pp. 1–6
Google Scholar
17.
B Soelistijanto, MP Howarth, Transfer reliability and congestion control strategies in opportunistic networks: a survey. IEEE Commun. Surveys & Tutorials 16(1), 538–555, First Quarter (2014)
Article Google Scholar
18.
AK Al-Ali, K Chowdhury, TFRC-CR: an equation-based transport protocol for cognitive radio networks. Ad Hoc Netw. 11(6), 1836–1847 (2013)
Article Google Scholar
19.
K Tsukamoto, S Koba, M Tsuru, Y Oie, Cognitive radio-aware transport protocol for mobile ad hoc networks. IEEE Trans. Mobile Comput. 14(2), 288–301 (2015)
Article Google Scholar
20.
M Chiang, Balancing transport and physical layers in wireless multihop networks: jointly optimal congestion control and power control. IEEE J. Sel. Areas Commun. 23(1), 104–116 (2005)
Article Google Scholar
21.
HJ Lee, JT Lim, Cross-layer congestion control for power efficiency over wireless multihop networks. IEEE Trans. Veh. Technol. 58(9), 5274–5278 (2009)
MathSciNet Article Google Scholar
22.
Q-V Pham, W-J Hwang, Network utility maximization-based congestion control over wireless networks: a survey and potential directives. IEEE Commun. Surveys & Tutorials 19(2), 1173–1200, Second Quarter (2017)
Article Google Scholar
23.
Q Gao, J Zhang, SV Hanly, Cross-layer rate control in wireless networks with lossy links: leaky-pipe flow, effective network utility maximization and hop-by-hop algorithms. IEEE Trans. Wirel. Commun. 8(6), 3068–3076 (2009)
Article Google Scholar
24.
Q-V Pham, W-J Hwang, Network utility maximization in multipath lossy wireless networks. International J. of Commun. Syst. 30(5), e3094 (2017)
Article Google Scholar
25.
S Guo, C Dang, Y Yang, Joint optimal data rate and power allocation in lossy mobile ad hoc networks with delay-constrained traffics. IEEE Trans. Comput. 64(3), 747–762 (2015)
MathSciNet Article MATH Google Scholar
26.
K Xiao, S Mao, JK Tugnait, MAQ: a multiple model predictive congestion control scheme for cognitive radio networks. IEEE Trans. Wirel. Commun. 16(4), 2614–2626 (2017)
Article Google Scholar
27.
Y Song, J Xie, End-to-end congestion control in multi-hop cognitive radio ad hoc networks: to timeout or not to timeout? (Proc. IEEE Globecom Workshops, Atlanta, 2013), pp. 1–6
Google Scholar
28.
X Zhong, Y Qin, L Li, TCPNC-DGSA: efficient network coding scheme for TCP in multi-hop cognitive radio networks. Wireless Pers. Commun. 84(2), 1243–1263 (2015)
Article Google Scholar
29.
A Cammarano, FL Presti, G Maselli, L Pescosolido, C Petrioli, Throughput-optimal cross-layer design for cognitive radio ad hoc networks. IEEE Trans. Parallel Distrib. Syst. 26(9), 2599–2609 (2015)
Article Google Scholar
30.
MV Nguyen, CS Hong, S Lee, Cross-layer optimization for congestion and power control in OFDM-based multi-hop cognitive radio networks. IEEE Trans. Commun. 60(8), 2101–2112 (Aug. 2012)
Article Google Scholar
31.
MV Nguyen, S Lee, S You, CS Hong, LB Le, Cross-layer design for congestion, contention, and power control in CRAHNs under packet collision constraints. IEEE Trans. Wirel. Commun. 12(11), 5557–5571 (2013)
Article Google Scholar
32.
A Alshamrani, X Shen, L-L Xie, QoS provisioning for heterogeneous services in cooperative cognitive radio networks. IEEE J. Sel. Areas Commun. 29(4), 819–830 (2011)
Article Google Scholar
33.
SB Fredj, T Bonald, A Proutiere, G Regnie, JW Roberts, Statistical bandwidth sharing: A study of congestion at flow level (Proc. ACM SIGCOMM, San Diego, 2001), pp. 111–122
Google Scholar
34.
NH Tran, CS Hong, S Lee, Cross-layer design of congestion control and power control in fast-fading wireless networks. IEEE Trans. Parallel Distrib. Syst. 24(2), 260–274 (2013)
Article Google Scholar
35.
H Zhang, S Huang, C Jiang, K Long, VCM Leung, HV Poor, Energy efficient user association and power allocation in millimeter-wave-based ultra dense networks with energy harvesting base stations. IEEE J. Sel. Areas Commun. 35(9), 1936–1947 (2017)
Article Google Scholar
36.
H Zhang, Y Nie, J Cheng, VCM Leung, A Nallanathan, Sensing time optimization and power control for energy efficient cognitive small cell with imperfect hybrid spectrum sensing. IEEE Trans. Wirel. Commun. 16(2), 730–743 (2017)
Article Google Scholar
37.
S Kandukuri, S Boyd, Optimal power control in interference-limited fading wireless channels with outage-probability specifications. IEEE Trans. Wirel. Commun. 1(1), 46–55 (2002)
Article Google Scholar
38.
A Khelil, PJ Marron, K Rothermel, Contact-based mobility metrics for delay-tolerant ad hoc networking (Proc. IEEE MASCOTS, Atlanta, 2005), pp. 1–10
Google Scholar
39.
JC Principe, Information theoretic learning: Renyi’s entropy and Kernel perspectives (Springer, New York, 2010)
Google Scholar
40.
F Heliot, MA Imran, R Tafazolli, On the energy efficiency-spectral efficiency trade-off over the MIMO Rayleigh fading channel. IEEE Trans. Commun. 60(5), 1345–1356 (2012)
Article Google Scholar
41.
H Zhang, C Jiang, NC Beaulieu, X Chu, X Wang, TQS Quek, Resource allocation for cognitive small cell networks: a cooperative bargaining game theoretic approach. IEEE Trans. Wirel. Commun. 14(6), 3481–3493 (2015)
Article Google Scholar
42.
DWK Yeung, LA Petrosyan, Cooperative stochastic differential games (Springer, New York, 2005)
Google Scholar
43.
H Zhang, H Liu, J Cheng, VCM Leung, Downlink energy efficiency of power allocation and wireless backhaul bandwidth allocation in heterogeneous small cell networks. IEEE Trans. Commun. PP(99), 1–1 (2017)
Google Scholar
44.
C-G Yang, J-D Li, Z Tian, Optimal power control for cognitive radio networks under coupled interference constraints: a cooperative game-theoretic perspective. IEEE Trans. Veh. Technol. 59(4), 1696–1706 (2010)
Article Google Scholar
45.
Y Xing, CN Mathur, MA Haleem, R Chandramouli, KP Subbalakshmi, Dynamic spectrum access with QoS and interference temperature constraints. IEEE Trans. Mobile Comput. 6(4), 423–433 (2007)
Article Google Scholar

Download references

Acknowledgements

We are grateful to the anonymous reviewers for their valuable comments and suggestions that have improved the paper.

Funding

This work was supported in part by the National Natural Science Foundation of China under Grants 61402147, 61402001, and 61501406; the Research Program for Top-notch Young Talents in Higher Education Institutions of Hebei Province, China, under Grant BJ2017037; the Research and Development Program for Science and Technology of Handan, China, under Grant 1621203037; and the Natural Science Foundation of Hebei Province of China under Grant F2017402068.

Availability of data and materials

Not applicable.

Author information

Affiliations

School of Information and Electrical Engineering, Hebei University of Engineering, Handan, 056038, China
Long Zhang & Fan Zhuo
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, 100083, China
Haitao Xu

Authors

Long Zhang
View author publications
You can also search for this author in PubMed Google Scholar
Fan Zhuo
View author publications
You can also search for this author in PubMed Google Scholar
Haitao Xu
View author publications
You can also search for this author in PubMed Google Scholar

Contributions

LZ conceived the idea of this work and wrote the paper. HX provided valuable insights for the scheme and reviewed the manuscript. LZ and FZ performed the simulations and revised the paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Long Zhang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendices

Appendix 1 Proof of Theorem 1

According to the dynamic optimization problem ℙ1, performing the maximization operation of the right hand side of (24) with respect to p_i(t) yields the following optimal solution:

$$ {p}_i^{\#}(t)={\overline{p}}_i+\frac{C_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}{2}\frac{\partial {V}^i\left({p}_i,I\right)}{\partial I}. $$

(45)

Substituting $ {p}_i^{\#}(t) $ in (45) into (24), we obtain:

$$ {aV}^i\left({p}_i^{\#},I\right)=\frac{C_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}{4}{\left(\frac{\partial {V}^i\left({p}_i^{\#},I\right)}{\partial I}\right)}^2-\omega I(t)+\frac{\partial {V}^i\left({p}_i^{\#},I\right)}{\partial I}\left(\sum \limits_{i\in \mathcal{N}}\left({\overline{p}}_i+\frac{C_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}{2}\frac{\partial {V}^i\left({p}_i^{\#},I\right)}{\partial I}\right)-\gamma \cdot I(t)\right). $$

(46)

Upon solving the differential equation in (46), $ {V}^i\left({p}_i^{\#},I\right) $ can be easily shown to be equivalent to the following equation:

$$ {V}^i\left({p}_i^{\#},I\right)=\frac{\omega }{a\left(a+\gamma \right)}\left(\frac{\omega {C}_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)\left(1+2N\right)}{4\left(a+\gamma \right)}- aI-\sum \limits_{i\in \mathcal{N}}{\overline{p}}_i\right). $$

(47)

Thus, an optimal transmit power $ {p}_i^{\#}(t) $ which constitutes a Nash equilibrium solution to ℙ1 is given by:

$$ {p}_i^{\#}(t)={\overline{p}}_i-\frac{\omega {C}_{\left(i,b\right)}^{\ast}\left(\overline{\mathbf{P}}\right)}{2\left(a+\gamma \right)}. $$

(48)

Then, we can obtain the expression of $ {p}_i^{\#}(t) $ and Vⁱ(p_i, I) as given by Theorem 1.

Appendix 2 Proof of Proposition 1

By substituting the vector of optimal transmit power $ {\mathbf{P}}^{\#}=\left\{{p}_1^{\#}(t),{p}_2^{\#}(t),\cdots, {p}_N^{\#}(t)\right\} $ into the interference power constraint inequality in (6), we can obtain:

$$ \sum \limits_{i\in \mathcal{N}}{p}_i^{\#}(t){G}_{\left(i,b\right)}\le {\varpi}_{\mathrm{PBS}}. $$

(49)

After taking the logarithm of both sides of (49), we have:

$$ \sum \limits_{i\in \mathcal{N}}{\log}_2\left({p}_i^{\#}(t){G}_{\left(i,b\right)}\right)\le {\log}_2{\varpi}_{\mathrm{PBS}}. $$

(50)

Through rearranging terms, we have:

$$ {\log}_2\prod \limits_{i\in \mathcal{N}}{p}_i^{\#}(t)+{\log}_2\prod \limits_{i\in \mathcal{N}}{G}_{\left(i,b\right)}\le {\log}_2{\varpi}_{\mathrm{PBS}}. $$

(51)

By taking into account the large-scale slow-fading channel model to describe the wireless transmission environment, the channel gain of link from upstream SU v_i to bottleneck SU v_b can be formulated as [30]:

$$ {G}_{\left(i,b\right)}={g}_0{\left(\frac{\left\Vert {\vartheta}_i(t)-{\vartheta}_b(t)\right\Vert }{100}\right)}^{-4}, $$

(52)

where g₀ is a reference channel gain at a distance of 100 m [34]. We substitute G_(i, b) in (52) into (51) and then we have:

$$ {\log}_2\prod \limits_{i\in \mathcal{N}}{p}_i^{\#}(t)\le {\log}_2\frac{\varpi_{\mathrm{PBS}}}{\prod \limits_{i\in \mathcal{N}}{g}_0{\left(\frac{\left\Vert {\vartheta}_i(t)-{\vartheta}_b(t)\right\Vert }{100}\right)}^{-4}}. $$

(53)

Thus, (53) can be rewritten as follows:

$$ \prod \limits_{i\in \mathcal{N}}{p}_i^{\#}(t)\le \frac{\varpi_{\mathrm{PBS}}}{{\left({10}^6{g}_0\right)}^N}\prod \limits_{i\in \mathcal{N}}{\left\Vert {\vartheta}_i(t)-{\vartheta}_b(t)\right\Vert}^4. $$

(54)

Through defining G₁ = ϖ_PBS/(10⁶g₀)^N, we can easily have the solution of (27).

Appendix 3 Proof of Theorem 2

According to the dynamic optimization problem ℙ2, by performing the maximization operation of the right hand side of (30) with respect to r_i(t), we can obtain:

$$ {r}_i^{\#}(t)=\frac{e^{\tau t}}{2{B}_{\left(i,b\right)}}\frac{\partial {W}^i\left({r}_i,x\right)}{\partial x}. $$

(55)

Substituting Wⁱ(r_i, x) ≜ (Y_i(t)x(t) + J_i(t))e^−τt and $ {r}_i^{\#}(t) $ in (55) into (30), we have:

$$ {r}_i^{\#}(t)=\frac{Y_i(t)x(t)}{2{B}_{\left(i,b\right)}}, $$

(56)

$$ \frac{\mathrm{d}{Y}_i(t)}{\mathrm{d}t}=\frac{1}{4{B}_{\left(i,b\right)}}{Y}_i^2(t)+\left(\tau -1\right){Y}_i(t)-{A}_{\left(i,b\right)}+\frac{Y_i(t)}{2}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{Y_j(t)}{B_{\left(j,b\right)}}, $$

(57)

$$ \frac{\mathrm{d}{J}_i(t)}{\mathrm{d}t}=\tau \cdot {J}_i(t). $$

(58)

Hence, this completes the proof.

Appendix 4 Proof of Proposition 2

Owing to the symmetric form of Y_i(t) and Y_j(t) in (57), we can immediately denote (57) by Riccati equation:

$$ \frac{\mathrm{d}{Y}_i(t)}{\mathrm{d}t}=\left(\frac{1}{4{B}_{\left(i,b\right)}}+\frac{1}{2}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{1}{B_{\left(j,b\right)}}\right){Y}_i^2(t)+\left(\tau -1\right){Y}_i(t)-{A}_{\left(i,b\right)}. $$

(59)

As such, the form of (59) can be rearranged by differential equation as:

$$ {\wp}_1\left({Y}_i(t),t\right)\mathrm{d}t+{\wp}_2\left({Y}_i(t),t\right)\mathrm{d}{Y}_i(t)=0, $$

(60)

$$ \kern1em {\wp}_1\left({Y}_i(t),t\right)=\left(\frac{1}{4{B}_{\left(i,b\right)}}+\frac{1}{2}\sum \limits_{j\in \mathcal{N}\backslash i}\frac{1}{B_{\left(j,b\right)}}\right){Y}_i^2(t)+\left(\tau -1\right){Y}_i(t)-{A}_{\left(i,b\right)}, $$

(61)

$$ {\wp}_2\left({Y}_i(t),t\right)=-1. $$

(62)

Recall that we define $ {\varOmega}_{\left(i,b\right)}=1/\left(4{B}_{\left(i,b\right)}\right)+0.5{\sum}_{j\in \mathcal{N}\backslash i}1/{B}_{\left(j,b\right)} $, for 4Ω_(i, b)A_(i, b) + (τ − 1)² > 0. Next, we turn to present a non-zero integrating factor ℑ(Y_i(t), t) that can make equation in (61) an exact form by multiplying it on both sides of (61). Here, we can easily obtain:

$$ \Im \left({Y}_i(t),t\right)=\frac{1}{\left|{\varOmega}_{\left(i,b\right)}{Y}_i^2(t)+\left(\tau -1\right){Y}_i(t)-{A}_{\left(i,b\right)}\right|}. $$

(63)

So, (63) multiplied by ℑ(Y_i(t), t) is exact, and then we obtain:

$$ \frac{\partial \Im \left({Y}_i(t),t\right)}{\partial {Y}_i(t)}=-\frac{1}{\left|{\varOmega}_{\left(i,b\right)}{Y}_i^2(t)+\left(\tau -1\right){Y}_i(t)-{A}_{\left(i,b\right)}\right|}, $$

(64)

$$ \frac{\partial \Im \left({Y}_i(t),t\right)}{\partial t}=1. $$

(65)

When $ {\varOmega}_{\left(i,b\right)}{Y}_i^2(t)+\left(\tau -1\right){Y}_i(t)>{A}_{\left(i,b\right)} $, we can easily define $ \varepsilon =\sqrt{{\left(\tau -1\right)}^2+4{\varOmega}_{\left(i,b\right)}{A}_{\left(i,b\right)}} $. By integrating (64) and (65) with respect to Y_i(t), we have:

$$ \Im \left({Y}_i(t),t\right)=-\frac{1}{\varepsilon}\ln \left|\frac{2{\varOmega}_{\left(i,b\right)}{Y}_i(t)+\left(\tau -1\right)-\varepsilon }{2{\varOmega}_{\left(i,b\right)}{Y}_i(t)+\left(\tau -1\right)+\varepsilon}\right|+h(t), $$

(66)

$$ \frac{\partial \Im \left({Y}_i(t),t\right)}{\partial t}=\frac{\mathrm{d}h(t)}{\mathrm{d}t}. $$

(67)

We can easily obtain h(t) = t. Let ℑ(Y_i(t), t) = G₂, where G₂ is a constant number. Upon solving (66) as follows:

$$ t-\frac{1}{\varepsilon}\ln \left|\frac{2{\varOmega}_{\left(i,b\right)}{Y}_i(t)+\left(\tau -1\right)-\varepsilon }{2{\varOmega}_{\left(i,b\right)}{Y}_i(t)+\left(\tau -1\right)+\varepsilon}\right|={G}_2. $$

(68)

Solving the above equation in (68) with respect to Y_i(t), yields the desired result in (35).

Appendix 5 Proof of Proposition 3

For vector P^#, it is clear that the received SINR of link l_(i, b) at bottleneck SU v_b satisfies the following inequality when all the upstream SUs with the equal Euclidean distance to bottleneck SU v_b:

$$ {\displaystyle \begin{array}{l}{\mathrm{SINR}}_{\left(i,b\right)}\left({\mathbf{P}}^{\#}\right)\le \frac{p_i^{\#}(t){G}_{\left(i,b\right)}}{\sum_{j\in \mathcal{N}\backslash i}{p}_j^{\#}(t){G}_{\left(j,b\right)}}\\ {}\kern10em =\frac{p_i^{\#}(t)}{\sum_{j\in \mathcal{N}\backslash i}{p}_j^{\#}(t)}.\end{array}} $$

(69)

We can also approximate logarithmic function log₂(⋅) by:

$$ {\log}_2\left(1+\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left({\mathbf{P}}^{\#}\right)\right)\approx {\log}_2\left(\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left({\mathbf{P}}^{\#}\right)\right). $$

(70)

Thus, shadow price ℵ_i should be subject to a strict lower bound:

$$ {\displaystyle \begin{array}{l}{\aleph}_i\approx \left(\frac{1}{\log_2\left(\chi \cdot {\mathrm{SINR}}_{\left(i,b\right)}\left({\mathbf{P}}^{\#}\right)\right)}\right)\frac{r_i^{\#}(t)}{x^{\#}(t)}\\ {}\kern2em \ge {\left({\log}_2\left(\chi \cdot \frac{p_i^{\#}(t)}{\sum \limits_{j\in \mathcal{N}\backslash i}{p}_j^{\#}(t)}\right)\right)}^{-1}\frac{r_i^{\#}(t)}{x^{\#}(t)}.\end{array}} $$

(71)

which coincides with (41).

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Cite this article

Zhang, L., Zhuo, F. & Xu, H. A cross-layer optimization framework for congestion and power control in cognitive radio ad hoc networks under predictable contact. J Wireless Com Network 2018, 57 (2018). https://doi.org/10.1186/s13638-018-1065-x

Download citation

Received: 22 September 2017
Accepted: 22 February 2018
Published: 13 March 2018
DOI: https://doi.org/10.1186/s13638-018-1065-x

Keywords

Cognitive radio
Cross-layer optimization
Congestion control
Power control
Predictable contact

A cross-layer optimization framework for congestion and power control in cognitive radio ad hoc networks under predictable contact

Abstract

Introduction

Background and motivation

Related works

Our approach and contributions

Organization and notation

System model

Network model

Predictable contact model

Problem formulation

Per-link power control in the physical layer

Hop-by-hop congestion control in the transport layer

Optimal solution and distributed implementation

Optimal solution to Γ PLPC

Theorem 1

Proposition 1

Optimal solution to Γ HHCC

Theorem 2

Proposition 2

Proposition 3

Distributed implementation

Shadow price

Power controller in the physical layer

Rate controller in the transport layer

Cross-layer coordination mechanism

Simulation results

Simulation settings

Results

Performance of OTPU algorithm

The impact of discount factor on optimal transmit power

Optimal data rate performance of ODRU algorithm

The impact of discount factor on optimal data rate

Conclusions

Abbreviations

References

Acknowledgements

Funding

Availability of data and materials

Author information

Affiliations

Contributions

Corresponding author

Ethics declarations

Competing interests

Publisher’s Note

Appendices

Appendix 1

Proof of Theorem 1

Appendix 2

Proof of Proposition 1

Appendix 3

Proof of Theorem 2

Appendix 4

Proof of Proposition 2

Appendix 5

Proof of Proposition 3

Rights and permissions

About this article

Cite this article

Keywords

Optimal solution to Γ _PLPC

Optimal solution to Γ _HHCC