Abstract

This paper addresses the performance analysis of an adaptive wireless link with one antenna transmitter and a multiple antenna maximum-ratio combining (MRC) receiver. Two main assumptions are used in this paper: () Rayleigh fading correlated channels (i.e., MRC branch correlation) and () imperfect (outdated) channel state information at the transmitter (CSIT) side. The main contribution of this work lies in the derivation of analytic expressions (in terms of a series expansion) of the statistics of correct packet reception conditional on the decisions made by the transmitter based on outdated CSIT. The novelty of this derivation is the joint modelling of spatially correlated branches, imperfect CSIT, and adaptive modulation based on threshold-trigger decision. Contrary to common belief, the results presented here suggest that spatial correlation not always affects the performance of the MRC receiver: at low signal-to-noise ratio (SNR), correlation can improve performance rather than degrading it. In contrast, at high SNR, correlation is found to always degrade performance. At high SNR, correlation tends to worse the degrading effects of imperfect CSIT, particularly when the number of antennas increases. Imperfect CSIT causes errors in the assignment of MCSs, thus reducing throughput performance. These errors become more evident in the high SNR regime, particularly when the values of branch correlation and the number of antennas increase.

1. Introduction

Wireless networks are rapidly evolving. New processing tools are constantly developed to cope more efficiently with impairments such as interference and fading. In addition, application layers are becoming increasingly complex. It has been proved that the conventional layered design is inadequate to cope with these new processing and application demands [14].

In cross-layer design, layers are now able to exchange information between them or in some cases they can even be fully merged or codesigned [3]. Cross-layer design is key for networks with multiple antennas and multiple interfering links [26], where layers can become tightly coupled.

A common issue in cross-layer design is optimization complexity. All the details of lower layers cannot be practically used in upper-layer optimization due to complexity constraints. Interface or abstraction models are thus required that provide a fair, but flexible representation of lower layers to be used in upper-layer optimization.

Another issue in cross-layer design is the passing of imperfect signalling information across layers. Cross-layer design increases the amount of signalling or bandwidth of feedback channels. Since feedback resources are limited and/or increasingly imperfect with higher bandwidths, signalling is subject to errors and/or outdated measurements.

This paper deals with the link-layer modelling in Rayleigh fading correlated channels of an adaptive wireless link using maximum-ratio combining (MRC) receiver and limited (outdated) feedback. Link-layer throughput is evaluated by means of an interface model based on an adaptive SNR (signal-to-noise ratio) switching threshold scheme for modulation assignment. This model aims to provide an accurate but flexible representation of the physical (PHY) layer suitable for upper-layer design. In the proposed model, a packet transmission using a given modulation and coding scheme (MCS) is considered as correctly received with particular values of block-error rate (BLER) and spectral efficiency whenever the instantaneous SNR exceeds the reception threshold of the selected MCS. The reception parameters of each MCS are obtained from look-up-tables (LUTs) previously calculated via off-line PHY-layer simulation. The transmitter selects the most adequate MCS based on an estimated CSI. This CSI is assumed to have been initially collected by the receiver (perfect estimation) and subsequently reported back to the transmitter via a feedback channel affected by delay. The paper presents the analysis of the statistics of correct reception process conditional on the decision made by the transmitter (MCS selection) based on the inaccurate CSIT. The main contribution of this work is the joint analysis of spatial correlation and imperfect CSIT in link adaptation for multiple antenna MRC receivers.

This paper is organized as follows. Section 2 describes previous works and the achievements of this paper with respect to the state of the art. Section 3 describes the system model and the assumptions of the paper. Section 4 presents the link-layer interface model. Section 5 presents analytic results and sketches of the statistics of packet reception. Finally, Section 6 presents the conclusions of the paper.

2. Previous Works and Paper Contributions

Abstraction or interface models are relevant in the design of wireless random access assisted by signal processing. In these modern decentralized systems, the conventional collision model (where PHY-layer information is ignored) is no longer useful [1], as reception now depends on two aspects: PHY-layer and load conditions. Protocol design requires a performance model with enriched but compressed PHY-layer information. A reception model based on switching thresholds of signal-to-interference-plus-noise ratio (SINR) has been used in [7] for the study of a multihop ALOHA. The work in [8] proposed a stochastic reception matrix that introduces multipacket reception (the ability of the PHY-layer to correctly decode concurrent transmissions) in the optimization of ALOHA. The extension to the asymmetrical case was achieved in [9] using a conditional reception probability space.

Interface models are also used in broadband wireless networks with spatial diversity (see [1012]). A summary of methodologies for link-to-system level interface (LSLI) modelling of broadband wireless networks can be found in [13]. Three main stages have been identified for LSLI: extraction of metrics, compression, and mapping. The proposed model in this paper contains instances of these three stages for the representation of adaptive MRC systems in resource allocation problems. LSLI models for multiple-input multiple-output (MIMO) systems were proposed in [14, 15]. An exponential function model of BLER has been proposed for the design of adaptive MIMO systems in [16]. Interface models are often required when some of the system processes are too complex to be included in detail within the main simulation loop or a higher-level design stage.

The simplest multiple antenna system is the MRC receiver, which provides a relatively flexible framework for statistical analysis and interface modelling. The literature of MRC receivers has focused on the derivation of outage and bit error probability distributions (see [1725]). The effects of imperfect channel knowledge at the receiving end on the performance of MRC in Rayleigh fading correlated channels can be found in [17]. An extension to Rician channels was addressed in [18] following the analysis with perfect channel estimation presented in [19]. A series expansion of the statistics of MRC receivers with correlated Rician channels is given in [20]. A unified approach for analysis of two-stage MRC receivers with hybrid selection in generalized Rice correlated channels was proposed in [21]. Extensions to the case of cochannel interference are given in [2225].

The present work considers the extension of outage probability analysis of MRC receivers to the study of adaptive modulation and coding (AMC) in Rayleigh fading correlated channels with imperfect/outdated CSIT. To the best of our knowledge, this is the first attempt in the literature that addresses these issues simultaneously. This work attempts to extend the analysis of MRC receivers towards including resource allocation aspects which are typical of upper-layer design (radio resource management). In addition, network design and in particular resource allocation for multiple antenna systems are usually conducted under the assumption perfect CSIT. This work attempts to advance this analysis to include different levels of CSI quality at the transmitter side. Imperfect CSIT has been addressed in [26] for distributed systems and in [27] for energy efficient MIMO link adaptation. In comparison with these works, which are focused on numerical evaluation of imperfect CSIT, this work provides an analytic framework for obtaining the statistics of errors in MCS assignment for correlated MRC receivers. This paper is the extension of the conference papers in [28, 29].

A related topic is the analysis of the effects of limited feedback in adaptive modulation for beam-forming and multiple antenna systems. The work in [30] provides a review of the state of the art of limited feedback in adaptation schemes for MIMO systems. The work in [31] presents the analysis of adaptive modulation for two-antenna beam-formers considering mean CSI at the transmitter side. The work in [32] addressed the impact of outdated feedback on AMC and user selection diversity systems for MIMO systems in Rayleigh uncorrelated channels. Other works with limited feedback for different types of system can be found in [3335]. All of these previous works consider uncorrelated MIMO channels. This work goes beyond this assumption searching for a joint analysis of limited feedback and spatial correlation for adaptive MRC receivers.

The results show that channel correlation not always affects the performance of link-layer throughput. It is also observed that correlation can improve system performance when the operational SNR is relatively low in comparison with the target SNR of the selected MCS. This low SNR effect is shown to be less evident in the presence of imperfect CSIT and also when the number of antennas of the MRC receiver increases. By contrast, at high SNR, channel correlation is shown to always affect performance of the MRC receiver. Details of the results follow in the main body of the paper.

3. System Model

Consider the wireless link depicted in Figure 1 with one transmitter and one receiver. The transmitter uses a single antenna while the receiver is enabled with a multiple antenna using maximum-ratio combining (MRC). The channel between the transmitter and the multiple antenna receiver is denoted by , where is the vector transpose operator and is the number of antennas. All channels will be modelled as zero-mean complex circular symmetrical Gaussian random variables with variance denoted by : . In this paper it is assumed that the received signals of all antennas experience the same statistical correlation (assumption valid with low numbers of antennas or with small dimensions, where all antennas may experience similar signal statistics), which means that , where , is the complex conjugate operator, is the statistical average operator, and is the spatial correlation coefficient.

The transmitted signal with symbols is denoted by . This signal will use one of modulation and coding schemes (MCSs). These MCSs are arranged in increasing order according to their target signal-to-noise ratio (SNR). The target SNR of the th MCS will be denoted by . The variables and will denote, respectively, the BLER and spectral efficiency (in bps/Hz) values considering operation at the target SNR of the th MCS. It is assumed that the receiver monitors the quality of the channel and reports it back to the transmitter. Based on this collected channel state information (CSI), the transmitter selects the most appropriate MCS. This paper considers perfect channel estimation at the receiver side and imperfect channel state information at the transmitter side (CSIT). Imperfect CSIT is assumed to be mainly due to a feedback channel affected by delay. All the estimated channel variables available at the transmitter side that will be used for MCS selection will be expressed using the following notation . The estimated channel available at the transmitter will be thus denoted by , where , .

The signal received by the th antenna of the MRC receiver can be expressed as follows:where is the vector of zero-mean complex circular Gaussian noise with covariance matrix : , where and are, respectively, the vector of zeros and the identity matrix of order , and is the noise variance. Let us now consider that the transmitted symbol complies with the following power constraint: , where is the Hermitian vector transpose operator. The receiver uses MRC to process the signals received by all the antennas: , where is the collected signals of all the antennas. This leads to the well-known formula for the postprocessing or instantaneous signal-to-noise ratio (SNR) of the MRC receiver considering perfect channel estimation at the receiver side [21]:The SNR measured by the terminal is reported back to the transmitter via a feedback channel mainly affected by delay. The estimated (outdated) SNR available at the transmitter side will be expressed as follows:For convenience, all estimated channels will be expressed using a linear correlation model similar to the one used in [21], which in our context will be written as follows:where the variables and are identically and independently distributed (i.i.d.) zero-mean complex circular symmetrical Gaussian random variables with variance : . Note that the previous correlation model complies with and .

To model the statistical correlation between the instantaneous and the estimated CSIT, let us propose another linear correlation model that complies with and . This model has been used in the literature of error quantization analysis for multiple antenna systems with adaptive modulation (see [3036]). It is also the most used correlation model for two Gaussian random variables:where is the temporal correlation coefficient between the instantaneous () and the estimated CSI () available at the transmitter side. This coefficient also describes the accuracy of the CSIT ( indicates perfect CSIT). All variables in (5) are i.i.d. zero-mean complex circular symmetrical Gaussian random variables with variance : . The correlation model in (5) is a simple modification of the linear correlation model used for MRC branch correlation modelling in (4). The correlation coefficient can be obtained by the well-known formula of the Jakes model for mobile systems , where is the modified Bessel function or order zero, is the maximum Doppler shift, and is the time difference between observations.

This section deals with the link performance modelling of the multiple antenna AMC-MRC receiver under the assumption of imperfect (outdated) CSIT. It is assumed that the th MCS is selected when the estimated SNR of the MRC receiver lies within the range (for practical purposes the upper threshold for the th MCS is considered to be set to a very large value: ). Therefore, the probability that the th MCS is selected for transmission can be written asLink-layer throughput (denoted by ) will be expressed as a linear contribution of all possible MCSs with their respective selection and conditional reception probabilities weighted by their conditional throughput performance (): where indicates the link-layer throughput when using the th MCS conditional on a particular value of the operational SNR . In this paper we consider a simplification of this expression by assuming that the term is a step function defined by a switching SNR threshold () above which all packet transmissions are assumed to be correctly received with a given BLER () and spectral efficiency (). The simplification can be expressed as follows:where (i) is the operational bandwidth in Hz and (ii) is the probability of the instantaneous SNR to surpass the threshold provided the estimated SNR (used for MCS selection) lies in the range .

Note that this last conditional probability term captures the effects of imperfect CSIT on the performance of the adaptation scheme. In the case of perfect CSIT (), correct reception occurs with probability one. Also note that the link-layer throughput expression in (8) represents only an approximation (compression) of the real performance of the system. The simplified model in (8) assumes packets are erroneous when the instantaneous SNR drops below the reception threshold , when in practice there might be some cases where correct reception can still occur. Conversely, some cases with higher instantaneous SNR than the reception threshold could also lead to erroneous packet transmissions. Accurate BLER curve fitting modelling has been proposed in [16] using exponential functions for in (7) considering different values of SNR that capture in more detail the performance of the PHY-layer. In comparison with this previous approach, the objective in this paper is to provide a flexible representation of the link-layer throughput that can used in upper-layer design enriched with PHY-layer information (compressed). This type of compression/abstraction model as in (8) has been proved accurate for system level simulation of networks with considerable excursions of path-loss values [12], which are typical of cellular systems where users lie at different distances from the access points. Link-layer throughput expression in (8) can be represented as a generic link performance model as described in [13] and illustrated in Figure 2. The quality metrics of the model are the SNR value of the MRC receiver, the correlation statistics, and the power settings. The compression stage is achieved by representing the MRC receiver with a unique spatial correlation coefficient and the switching threshold assumption in (8). The mapping stage is achieved by using look-up-tables (LUTs) for the values of spectral efficiency and BLER in expression (8) obtained over AWGN channels.

The following subsections present the derivation of analytic expressions of the different terms of the throughput model in (8). For convenience, it is useful to derive the statistics of the estimated SNR (presented in Section 4.1) and then deal with the statistics of the instantaneous SNR (presented in Section 4.2) conditional on the MCS selection process.

4.1. Statistics of

Let us now substitute the correlation model described by (4) in the expression of the estimated SNR in (3):Consider now the previous expression conditional on an instance of the random variable . Under this assumption, the expression in (9) becomes the summation of the squares of Gaussian complex variables each one with a mean given by . Therefore, the estimated SNR of the MRC receiver conditional on an instance of random variable has a noncentral chi-square distribution with degrees of freedom. The conditional characteristic function (CF) of can be thus written as (see [37] for details of chi-square distributions)where , , is the frequency domain variable, , and denotes the CF of random variable conditional on an instance of random variable , for any and random variables. By using the following change of variable , the expression in (10) becomesThe unconditional CF of the estimated SNR can be now obtained by averaging the previous expression over the probability density function (PDF) of , which under the Rayleigh fading assumption is given by . Therefore, the unconditional CF of the estimated SNR can be obtained as follows:which after the integration (see Appendix A) becomeswhere . The expression in (13) can be rewritten using partial fraction expansion (PFE):where and . For details of this derivation see Appendix B. The back-transform of (14) yields a PDF and complementary cumulative distribution function (CCDF) given, respectively, byUsing this result, the probability of selecting the th MCS in (6) can be written as

4.2. Statistics of

This subsection deals with the statistics of the instantaneous SNR considering the statistics of the estimated SNR obtained in the previous subsection. Let us first substitute the correlation model described by (5) in the expression of the instantaneous SNR of the MRC receiver in (2):Consider now the previous expression conditional on an instance of the random variables . Under this assumption, the expression in (9) becomes the summation of the squares of Gaussian complex variables each one with mean . The instantaneous SNR of the MRC receiver conditional on has a noncentral chi-square distribution with degrees of freedom. The conditional CF is thus given bywhere . By using the following change of variable , the expression in (19) becomes The CF of the instantaneous SNR conditional on the estimated SNR being in the range can be obtained by averaging the previous expression over the PDF of in (15). This leads towhich after the integration (see Appendix C) becomes where and . The back-transform of the expression in (22) can be proved (see Appendix D) to result in the following CCDF for conditional on :where the function is defined as the integral of the function :where is the back-transform of the generic term :For convenience, it is possible to express the function as the contribution of two functions: where the functions and can be written (see Appendix D for details) as a series expansion:where the coefficients and are defined in expressions (D.10) and (D.11), respectively, in Appendix, andIt is now possible to write the probability term as follows:The expressions in (17) and (29) can be substituted back in (8) to obtain the desired expression for the link-layer throughput.

5. Results

5.1. CDF Analysis

The results in Figure 3 display the cumulative distribution function (CDF) of the instantaneous SNR of the MRC receiver using the expression in (23) conditional on the estimated SNR exceeding a hypothetical reception threshold (). The purpose of this setting is to study the statistics of the instantaneous SNR in terms of the MCS selection process based on imperfect (outdated) CSIT. The results have been obtained by using different values of the spatial and temporal correlation coefficients: and .

For convenience in the discussion and visualization of results, a fixed value for average transmitting power settings was used. Two values for the number of antennas were considered: and . The first case (, , ) in Figure 3 also presents the results of simulation work, showing a perfect match with the theoretical model, thus validating the proposed expressions. The results show an interesting behaviour. At low values of the -axis, the results indicate, as expected, that the CDF for low values of the spatial correlation coefficient () has better performance than the CDF for values of closer to one. However, this behaviour changes for larger values of the -axis, where we can observe that higher values of spatial correlation () provide better performance. Higher values of the -axis correspond to a system where the target SNR of a given MCS is relatively high in comparison with the operational average SNR of the system. This means that in the low SNR regime channel correlation can actually outperform the case of uncorrelated branches. At high SNR values, however, the performance of uncorrelated channels becomes clearly dominant. This behaviour can be explained by the fact that, at low SNR, the MRC receiver can be regarded as a simple averaging operation of noisy signals. Therefore, channel correlation becomes more useful for achieving a more accurate average of the received signal above the background noise. By contrast, at high SNR, the averaging operation over noise becomes less relevant, and the MRC operation obtains full benefit from uncorrelated signals.

The effects of imperfect CSIT on the CDF can be clearly observed as the curves in Figure 3 spread to the left of the hypothetical SNR decision threshold . The larger the spreading of the CDF to the left of this threshold, the larger the error due to imperfect CSIT. We recall that the system is supposed to allow MCS transmission when the estimated SNR exceeds the target threshold . Imperfect CSIT causes that the instantaneous SNR is not precisely always above the selection threshold, thus causing the spreading of the CDF as observed in Figure 3. The value of the CDF at is thus a measure of the error in the MCS selection process: it denotes the probability that the instantaneous SNR is below the threshold () when the estimated SNR was actually above this threshold (). We can observe how the CDF curves with higher correlation coefficient tend to get closer to the limit of the estimated SNR threshold . Note that, with perfect CSIT (), the CDF of the instantaneous SNR only exists for values higher than (). The figures also show that when the number of antennas is higher, the effects of imperfect CSIT tend to be reduced for low values of channel correlation. Higher number of antennas means higher diversity gains, which is translated into a higher probability of correct packet reception, even in the presence of an inaccurate CSIT for MCS selection. However, the opposite behaviour is observed for larger values of spatial correlation, which tend to increase the probability of decision error due to imperfect CSIT, particularly when the number of antennas increases. Channel correlation tends to reduce the diversity of the receiver, and therefore it also reduces the probability of the instantaneous SNR to surpass the MCS detection threshold in the presence of imperfect CSIT. In addition, as the number of antennas increases, the lack of diversity due to channel correlation accumulates, leading to higher probabilities of error in the MCS assignment due to imperfect CSIT. As a consequence of this, it can be also observed that the effects of the dominance of correlated channels for low SNR values tend to be reduced with imperfect CSIT, particularly when the number of antennas increases.

From Figure 3 it is also possible to observe that the error of MCS selection could be potentially reduced by setting a decision threshold slightly higher than the target threshold of the selected MCS. However, this also reduces the probability of MCS selection, which could be actually worse in terms of capacity than the gain provided by the reduction of error of MCS selection. On the other hand, the receiver can be potentially affected by unknown cochannel interference, a scenario where setting a slightly higher decision threshold might lead to further gains to overcome the reduction of the probability of MCS selection. The investigation of this effect remains open for future research works considering cochannel interference.

It is also possible to observe in the formulas for CCDF in (23) that as the correlation coefficient of the estimated CSI becomes zero (), the adaptation scheme becomes less relevant and degrades into a random MCS assignment scheme. This is because the correlation model in (5) indicates that when the correlation coefficient is set to zero (), the adaptation scheme has no knowledge of the instantaneous channel outcome, but it still has knowledge of the second-order statistics of the channel (average channel gain). Therefore, random MCS assignment based on the knowledge of the average channel gain is the optimum allocation scheme. If the scheduler has no knowledge of this average channel gain, then the MCS assignment process becomes meaningless. This agrees with the main idea behind MCS adaptation, whose main advantage only depends on the ability of the system to accurately track instantaneous channel variations and adapt accordingly.

5.2. WiMAX Modulation

This subsection employs the analytic formulae derived in previous sections to study a full wireless transmission system (WiMAX) with several MCSs taken from a LUT that has been previously obtained via PHY-layer simulation. The MCSs used correspond to the WiMAX standard in [38], summarized in Table 1, using a block length of symbols (). The spectral efficiency of each MCS is obtained by using the number of bits per constellation times the code rate displayed in Table 1 and other parameters such as frame length and repetition code rate as presented in the original standard in [38]. Note that the SNR thresholds displayed in Table 1 are in dBs. Figure 4 shows the link-layer throughput calculated by using the expression in (8) versus the transmitting power to noise ratio settings using different values of the correlation coefficients ( and ) and different numbers of antennas of the MRC receiver.

The first case (, , and ) in Figure 4 also presents the results of simulation work, showing a perfect match with the theoretical model. The results show that at high SNR the total throughput improves, particularly when spatial correlation coefficient is reduced and also by increasing the numbers of the antennas of the MRC receiver. However, performance is generally degraded in case of imperfect CSIT (lower values of ). It can be observed that, at low SNR, the results behave differently: high spatial correlation values lead to higher throughput. This confirms the results presented in the previous subsection. The degrading effects of imperfect CSIT can be observed to be enhanced in the high SNR regime as the values of spatial correlation and the number of antennas increase. Finally, the region of SNR values for which spatial correlated performance is shown to outperform the uncorrelated case is observed to be considerably reduced for larger values of the number of antennas, while imperfect CSIT has a negative but almost imperceptible effect on this low SNR behaviour as displayed in Figure 4. This slight difference with respect to the results in the previous subsection is mainly due to the particular MCSs being used and the WiMAX system settings.

6. Conclusions

A performance model of the packet reception process of AMC-MRC receiver with spatially correlated channels and imperfect CSIT was proposed. This is the first work where spatial correlation and limited feedback are considered in the same analysis of adaptive MRC receivers. The reception model is based on the derivation of analytic expressions of correct packet reception probabilities in Rayleigh fading channels as an extension of outage probability analysis and SNR switching threshold selection. The model is useful for AMC systems, where the correct reception probability of each MCS is weighted by the operational BLER and spectral efficiency considering operation at the SNR threshold of each MCS. The proposed model provides a flexible abstraction of the adaptive PHY-layer that can be used in the optimization and design of upper layers. The results point towards an interesting conclusion: spatial channel correlation is not always bad for capacity. In the low SNR regime it can provide higher gains than the case of spatially uncorrelated channel. In the high SNR regime it was confirmed that uncorrelated channels provide more capacity gains than the correlated case. Imperfect CSIT was shown to reduce performance due to decision errors in MCS assignment. The degrading effects of imperfect CSIT were found to be enhanced by channel spatial correlation and by higher numbers of antennas. Correlation was found to reduce diversity gains of the receiver that in turn reduce the probability of correct packet reception in the presence of imperfect CSIT. This effect was found to be enhanced by increasing the number of antennas as correlation degrading effects tend to be amplified (lack of diversity is accumulated over the antennas). Finally, the dominance of correlated channels was found to be reduced with imperfect CSIT and with an increase of the number of antennas.

Appendix

A. Derivation of the Unconditional CF of in (13)

Consider the following modification of (12):By using the following changes of variable , , and the previous integral becomeswhich after the integration () yields the expression in (13).

B. Derivation of Coefficients and in (14)

Consider the following normalized version of the expression for the unconditional CF of the instantaneous SNR of the MRC receiver in (13):This expression can be rewritten as a standard PFE problem:where and are the coefficients of a standard PFE problem with repeated roots:It is now possible to rewrite the expression in (B.2) back in a nonstandard notation as follows:which can be rewritten as the expression in (14):By comparing these two last expressions it follows that which completes the derivation of the coefficients in (14).

C. Derivation of the CF of the Instantaneous SNR in (22) Conditional on

The CF of the instantaneous SNR conditional on the estimated SNR being in the range can be calculated as in (21):By substituting the PDF of the estimated SNR taken from (15) in the previous expression, we obtainNow consider a modification of the first integral in (C.2) and by using the change of variable we obtainwhich after integration becomesConsider now a modification of the second term of the integral in (C.2), and by using the change of variable , we obtainwhich after the integration becomes:The term in (C.4) together with the term in the previous expression (C.6) constitutes the solution of the integral in (C.1) and (C.2), which is the desired expression in (22).

D. Derivation of in (26)

Consider the generic term used in the definition of in (25). Using the Taylor series expansion of this term we can obtain the following:The following subsections focus on the derivation of the two terms in the previous expression and their respective back-transform functions, which are defined as follows:Note that under these definitions we can provide an expression for the function as given in (26), which is the summation of the functions defined by (D.2) and (D.3):Similarly, the CCDF of the function , denoted by , will be expressed as follows:where and are the CCDF components of the terms and , respectively.

Case 1 ().
Derivation of (D.2). In the case when , which corresponds to the first term of the expression in (D.1), it is possible to rewrite each of the terms of the summation using PFE as follows: For convenience, let us rewrite the previous equation as a standard PFE problem:where and are the coefficients of a standard PFE problem with repeated roots:It is now possible to rewrite (D.7) back in not standard form:which is similar to the expression in (D.6). By comparing this last expression with (D.6) we obtain the following expressions for the coefficients and : It is now possible to find the first summation term in (D.1):whose back-transform yields to the following explicit expression for the function in (D.2):The CCDF of this expression can be written as

Case 2 ().
Derivation of (D.3). Consider the expansion of the second term in (D.1):By using the properties of the Fourier transform analysis, the back-transform of this last expression is given byThe CCDF of this expression can be written as

Competing Interests

The authors declare that they have no competing interests.

Acknowledgments

The study was funded by FCT/MEC (Fundação para a Ciência e a Tecnologia), ERDF (European Regional Development Fund) under PT2020, CISTER Research Unit (CEC/04234), and ARTEMIS/0004/2013-JU Grant no. 621353 (DEWI, http://www.dewi-project.eu).