Analysis of Worst-Case Interference in Underlay Radar-Massive MIMO Spectrum Sharing Scenarios
Raghunandan M. Rao, Harpeet S. Dhillon, Vuk Marojevic, Jeffrey H. Reed

TL;DR
This paper models and analyzes the worst-case and average interference from massive MIMO base stations to radar systems in spectrum sharing scenarios, providing analytical bounds and insights into how deployment parameters affect interference levels.
Contribution
It introduces a novel method to bound the worst-case elevation angles for interference analysis using Poisson-Voronoi cell geometry, and derives tight analytical bounds on average interference in spectrum sharing.
Findings
Interference bounds are tight and analytically derived.
Interference levels depend on deployment parameters like antenna heights and BS density.
The gap between worst-case and average interference remains constant with the exclusion zone radius.
Abstract
In this paper, we consider an underlay radar-massive MIMO spectrum sharing scenario in which massive MIMO base stations (BSs) are allowed to operate outside a circular exclusion zone centered at the radar. Modeling the locations of the massive MIMO BSs as a homogeneous Poisson point process (PPP), we derive an analytical expression for a tight upper bound on the average interference at the radar due to cellular transmissions. The technical novelty is in bounding the worst-case elevation angle for each massive MIMO BS for which we devise a novel construction based on the circumradius distribution of a typical Poisson-Voronoi (PV) cell. While these worst-case elevation angles are correlated for neighboring BSs due to the structure of the PV tessellation, it does not explicitly appear in our analysis because of our focus on the average interference. We also provide an estimate of the…
| 0.0089 | 0.0198 | 0.028 | 0.044 | 0.0886 | 0.1253 | |
| 1.004 | 1.022 | 1.045 | 1.254 | 1.608 | 2.905 |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Analysis of Worst-Case Interference in Underlay Radar-Massive MIMO Spectrum Sharing Scenarios
Raghunandan M. Rao, Harpreet S. Dhillon, Vuk Marojevic, and Jeffrey H. Reed
Abstract
Comment 1**.**
*In this paper, we consider an underlay radar-massive MIMO spectrum sharing scenario. We model the massive MIMO base station locations using a Poisson point process (PPP), which are allowed to operate outside a circular exclusion zone centered at the radar. In this scenario, we study the average interference at the radar due to elevation/3D beamforming in the massive MIMO downlink. We devise a novel construction based on the circumradius distribution of a typical Poisson-Voronoi cell, to derive an upper bound on the average interference. We also provide a simpler construction based on modeling each cell as a circle with area equal to the average area of the typical cell, and derive tight approximations for these cell-shape models. Finally, we show that the gap in interference power under the two models is approximately constant w.r.t. the exclusion zone radius. Our analysis reveals useful trends in average interference power, as a function of key deployment parameters such as radar/base station (BS) antenna heights, number of elements, BS density and exclusion zone radius. *
In this paper, we consider an underlay radar-massive MIMO spectrum sharing scenario in which massive MIMO base stations (BSs) are allowed to operate outside a circular exclusion zone centered at the radar. Modeling the locations of the massive MIMO BSs as a homogeneous Poisson point process (PPP), we derive an analytical expression for a tight upper bound on the average interference at the radar due to cellular transmissions. The technical novelty is in bounding the worst-case elevation angle for each massive MIMO BS for which we devise a novel construction based on the circumradius distribution of a typical Poisson-Voronoi (PV) cell. While these worst-case elevation angles are correlated for neighboring BSs due to the structure of the PV tessellation, it does not explicitly appear in our analysis because of our focus on the average interference. We also provide an estimate of the nominal average interference by approximating each cell as a circle with area equal to the average area of the typical cell. Using these results, we demonstrate that the gap between the two results remains approximately constant with respect to the exclusion zone radius. Our analysis reveals useful trends in average interference power, as a function of key deployment parameters such as radar/BS antenna heights, number of antenna elements per radar/BS, BS density, and exclusion zone radius.
Index Terms:
Stochastic geometry, radar-massive MIMO coexistence, 3D beamforming, Rician channels, exclusion zones, average interference.
†† R. M. Rao, H. S. Dhillon and J. H. Reed are with Wireless@VT, Bradley Department of ECE, Virginia Tech, Blacksburg, VA, 24061, USA (e-mail: {raghumr,hdhillon,reedjh}@vt.edu).
V. Marojevic is with the Department of ECE at Mississippi State University, Mississippi State, MS, 39762, USA (e-mail: [email protected]).
The support of the U.S. NSF Grants CNS-1564148, CNS-1642873, and ECCS-1731711 is gratefully acknowledged.
I Introduction
Spectrum sharing and massive MIMO are two key spectral efficiency enhancing techniques that have been included in the Third Generation Partnership Project (3GPP) Release 15 specifications. While massive MIMO enhances spectral efficiency by increasing the dimension of spatial multiplexing by an order of magnitude, spectrum sharing improves it by sharing spectrum between different wireless technologies in the spatial and temporal dimensions. Spectrum sharing is particularly attractive in the sub-6 GHz frequency bands, where spectrum is under-utilized due to conservative policies [1]. Among the various incumbents, radars are the biggest consumer of spectrum in the sub-6 GHz bands. In underlay radar-cellular spectrum sharing scenarios where the establishment of an exclusion zone limits cellular interference to the radar, coordination is often impossible due to security concerns, or unfeasible due to practical limitations. The lack of coordination can potentially exacerbate the interference due to receive and transmit beamforming capabilities of the radar and BS, respectively. Therefore, it is important to understand the worst-case interference at the radar as a function of key deployment parameters in such scenarios, which is the main focus of this paper.
Related Work
Multi-antenna techniques have been well-explored in the radar-communications coexistence literature. In the case of coordination between the primary and secondary users, MIMO techniques have been investigated in the context of spectrum sharing between a MIMO radar and the MU-MIMO downlink [2], MIMO radar and full-duplex cellular systems [3], and MIMO radar and a MIMO communication system [4], under performance and power constraints. Even though secondary user interference mitigation is possible using multi-antenna radars in uncoordinated scenarios [5], its feasibility in the presence of a large multi-cell network of massive MIMO BSs is limited to scenarios of sparse deployments and/or large exclusion zone radii.
Owing to its tractability, tools from stochastic geometry have been used recently to analyze spectrum sharing systems [6, 7]. Authors in [8] considered a radar-WiFi spectrum sharing scenario, where WiFi access points (APs) were modeled as a homogeneous PPP. The exclusion zone radius was computed for different scenarios based on side-information available at the APs. In [9], the authors evaluated the mean aggregate interference from Wi-Fi APs to radar using tools from stochastic geometry. However, these works consider azimuth-only beamforming, and do not model the impact of elevation beamforming, which is a prominent feature introduced in 5G NR. While [10, 11] considered the elevation angle, the focus of these works is on antenna height optimization and interference mitigation in cellular networks.
Contributions
In this work, we develop a novel and tractable analytical framework to analyze the average interference power in radar-massive MIMO spectrum sharing scenarios, which is a key metric that has been used in drafting spectrum sharing policies in recent years [12]. Incorporating elevation beamforming into the stochastic geometry framework is challenging, since Voronoi cells of the BSs can be arbitrarily large. To overcome this, we devise a novel formulation based on the circumradius distribution of the Voronoi cell [13]. In addition, the presence of sidelobes result in a beamforming gain that is a non-monotonic function of the elevation angle. We derive an upper bound on the beamforming gain that monotonically decreases with the elevation angle, which is crucial to deriving the upper bound on the average interference. We also derive the nominal average interference power by modeling each Voronoi cell as a circle of area equal to the average area of a typical cell. Finally, we provide approximations, that lead to the development of intuitive system design insights regarding the worst-case exclusion zone radius, scaling laws, and the difference between the worst-case and nominal average interference values.
II System Model
We consider the radar-massive MIMO spectrum sharing scenario shown in Fig. 1. The radar is the primary user (PU), equipped with a uniform rectangular array (URA) with -spacing, mounted at a height of m. The massive MIMO downlink is the secondary user (SU), with each BS serving users with equal power allocation using multi-user MIMO (MU-MIMO). Each BS is equipped with a URA with -spacing, mounted at a height of m. The subscripts () are used to denote the azimuth (elevation) elements respectively, and superscripts () denote the radar (BS) antenna elements respectively. The radar is protected from SU interference by a circular exclusion zone of radius . The exclusion zone is chosen to be circular since there is no coordination between the cellular network and the radar system, and the radar is assumed to search for a target uniformly at random in the azimuth , as shown in Fig. 1.
II-A Channel Model
In quasi-stationary channel conditions, the spatial channel between each BS and the radar is given by [14]
[TABLE]
where is the path loss, is the path-loss at reference distance , is the path-loss exponent (), is the 3D distance between the BS and the radar, and is the number of discrete multipath components (MPCs). The Rician factor , where propagation is dominated by the line of sight component111Such propagation scenarios are observed in (a) coastal deployments (where the terrestrial BSs is sharing spectrum with a naval radar), and (b) terrestrial deployments in flat rural/suburban terrain (terrestrial BSs sharing spectrum with terrestrial radar systems).. In addition, the random small-scale fading amplitude satisfies and . The azimuth and elevation angles of arrival (departure) of the MPC at the radar (from the BS) is denoted by () and () respectively. Similarly, the azimuth and elevation angles of departure (arrival) of the LoS component is given by () and () respectively as shown in Fig. 1. The steering vector (BS), and (radar) is defined in Appendix -A.
II-B Massive MIMO Downlink Beamforming Model
The massive MIMO downlink serves users located in clusters with mutually disjoint angular support using joint spatial division multiplexing (JSDM) [15]. We consider a highly spatially correlated downlink channel, given by the one-ring model [15] as , where , is the large-scale pathloss for the user, is the orthonormal matrix of eigenvectors, is the diagonal matrix of eigenvalues, and is a complex Gaussian random vector, where is the channel rank in the high spatially correlated downlink channel [15]. For the sake of simplicity, we consider that all users in the network have the same channel rank. The received signal can be written as
[TABLE]
where is the RF beamformer that groups user clusters with disjoint angular support using nearly orthogonal beams, and is the baseband precoder [15]. If the azimuth and elevation angular support of the user cluster is given by and , then without loss of generality we consider that the RF beamformer is given by , where and . The data , such that and , where is the symbol intended for the UE and is the total transmit power per BS. The noise is spatially white with .
Proposition 1**.**
For the massive MIMO BS in the asymptotic regime, the baseband precoding matrix for Zero-Forcing (ZF) and Maximum Ratio Transmission (MRT) can be approximated as , when users from different clusters with mutually disjoint angular support are served.
Proof.
(Sketch) The MRT and ZF precoders are and respectively. In the asymptotic regime [15]. For users in clusters with mutually disjoint angular support, [15]. Therefore, , a diagonal matrix. Since , when the sum-power constraint is imposed, we obtain the desired result.∎
Remark 1**.**
*The above is true when . In the case of finite number of antenna elements, we consider a scheduler where the BS co-schedules users from clusters such that the above approximation is accurate.
III Interference at the Radar due to a Single BS
The radar is assumed to be searching/tracking a target above the horizon () using a receive beamformer . The received signal prior to beamforming is , where is the high- Rician channel between the BS and the radar from (II-A). The frequency dependence of is ignored for the ease of exposition. Upon receive beamforming, the interference signal is given by
[TABLE]
Using equation (II-A) in the above and simplifying, we get
[TABLE]
where , the radar beamforming gain , and is the residual phase. The specular component can be ignored if . For a tractable worst-case analysis model, we make the following assumptions.
Assumption 1**.**
(LoS beamforming gain dominance) The radar is scanning above the horizon with such that .
Assumption 2**.**
(Boresight assumption) Boresight of the antenna array of each massive MIMO BS is aligned along the direction of radar () as shown in Fig. 1222As we will discuss in Appendix -A, Assumption 2 does not impact the worst-case analysis..
Assumption 3**.**
The cellular downlink is exactly co-channel with the radar system, and radar and cellular operating bandwidths are equal. Hence, the frequency-dependent rejection (FDR) factor of the radar is unity333The FDR is dependent on the radar receiver architecture, spectrum of the interfering signal, and is independent of other parameters. The interference power at the radar is inversely proportional to the FDR. Interested readers are referred to [8] for more details..
Assumption 4**.**
In each cell, the scheduler allocates resources to users in different clusters, where all but one cluster has disjoint angular support with the boresight of the BS URA.
Based on the above assumptions, we have the following lemma.
Lemma 1**.**
(Dominant interfering user cluster) The interference to the radar from each BS is only due to data transmissions towards a single cluster whose angular support overlaps with the boresight of the URA.
Proof.
Let the clusters have azimuth and elevation angles of support given by and respectively, for . In the asymptotic regime, if there is only one such that , then we get for and [15]. The cluster with overlapping angular support is termed as the ‘Dominant Interfering User Cluster’ (DIUC). ∎
Based the above, we have the following key result.
Theorem 1**.**
The worst-case average interference power at the radar due to the DIUC is given by
[TABLE]
Proof.
Under the realistic assumption that each MPC is uncorrelated with the others, the average interference power is given by
[TABLE]
Using Assumption 1, we get since . In addition, by Proposition 1, Assumption 2 and Lemma 1, we get . Finally, using and substituting the RF beamformer for the DIUC, we obtain the desired result. ∎
In summary, the worst-case average interference in high- Rician channels in the asymptotic regime resembles the Friis transmission equation, with the power scaled by the beamforming gains, and the power allocation factor to the DIUC. With this general result, we analyze the average interference due to the cellular network in the next section.
IV Analysis of Average Interference at the Radar due to the Massive MIMO DL
We model the spatial distribution of the massive MIMO BSs and radars as independent PPPs and of intensity and respectively, such that . The typical radar is located at the origin, with an exclusion zone of radius within which the BSs are prohibited from operating. While the range of azimuth of a randomly selected point in the cell is independent of the cell size, the elevation angle depends on the cell size and hence, on . Compared to prior works [8], [9] which focus on beamforming in the azimuth, mathematical modeling of elevation beamforming presents technical challenges due to (a) lack of radial symmetry in the Voronoi cell, (b) possibility of arbitrarily large Voronoi cells, and (c) correlation between adjacent cells, which can affect the elevation distribution. While correlation between adjacent cells does not deter the analysis since we are interested in the average interference power, the lack of radial symmetry and possibility of arbitrarily large cells need a more thoughtful treatment. In addition, the presence of sidelobes in the beamforming pattern complicates the problem since it is non-trivial to express the worst-case beamforming gain as a function of the cell-size. Below, we develop the techniques to address these issues, and present the worst-case and nominal average interference analysis.
Lemma 2**.**
*(Monotonic beamforming gain function) For the BS URA with -spacing, if , and , then the upper bound of the beamforming gain is given by *
[TABLE]
where .
Proof.
See Appendix -A. ∎
IV-A Circumcircle-based Cell (CBC) Model
To induce radial symmetry in the Voronoi cell, it needs to be modeled as a circle. In addition, the worst-case interference to the radar occurs when the BS beamforms to the farthest point in the cell, according to Lemma 2. Since the circumradius determines the distance to the farthest point in a cell, we propose a circumcircle-based construction as shown in Fig. 2, with the following PDF.
Proposition 2**.**
The probability density function of the circumradius () of a Poisson-Voronoi cell is
[TABLE]
where denotes the indicator function.
Proof.
The result is obtained by differentiating the CDF of the circumradius () [13] w.r.t. using Leibniz’s rule. ∎
Using and Lemma 2, we obtain the upper bound on the average interference in the following key result.
Theorem 2**.**
The worst-case average interference at the radar is given by
[TABLE]
Proof.
See Appendix -B. ∎
Corollary 1**.**
The approximate worst-case average interference at the radar is given by
[TABLE]
Proof.
Since and , we have , and . Using these in , grouping the integrands, and integrating over yields the desired result. ∎
IV-B Average Area-Equivalent Circular Cell (AAECC) Model
The circumcircle-based cell model results in a conservative value for average interference. A simpler, more optimistic model is to replace the Voronoi cell by a circle with an area equal to the average area of a typical cell given by . In this case, the cell radius , and the nominal average interference is given by the following theorem.
Theorem 3**.**
The nominal average interference at the radar is
[TABLE]
Proof.
This model is a special case of Theorem 2, where f_{R_{c}}(r_{c})=\delta\big{(}r_{c}-\tfrac{1}{\sqrt{\pi\lambda_{BS}}}\big{)}. Using the sifting property of the Dirac delta function , we obtain the desired result. ∎
Corollary 2**.**
The approximate nominal average interference is given by
[TABLE]
Proof.
The proof follows the same steps as Corollary 1. ∎
IV-C System Design Insights from Analytical Results
IV-C1 Scaling of average interference power with BS density
From (2) and (3), we see that impacts the average interference through the linear, and the BS beamforming gain () terms. It is related to the cell size via the circumradius distribution and the average area of the typical cell, which impacts the minimum elevation angle (). Note that this dependence is not observed in azimuth-only beamforming models. However, when , and hence, . In this regime, the worst-case average interference power scales linearly with .
IV-C2 Exclusion Zone Radius
In practice, exclusion zones are defined based on the average aggregate interference power (for e.g. see [12]). Using Corollaries 1 and 2, for an average interference threshold , the worst-case exclusion zone radius can be obtained using
[TABLE]
IV-C3 Constant Gap in Average Interference Predicted by CBC and AAECC Models
By Corollaries (1) and (2), we observe that the ratio of average interference powers is nearly independent of , given by
[TABLE]
Note that when due to BS gain saturation.
V Numerical Results
In this section, we validate the worst-case interference expressions using Monte-Carlo simulations. We consider a typical radar operating at GHz, located at the origin equipped with a URA, mounted at a height of m. The radar is assumed to be scanning the region at above the horizon. We consider a finite massive MIMO network in a circular region around the origin with a radius of km. The BSs are distributed as a PPP, with varying intensities. Each massive MIMO BS is co-channel with the radar, and is equipped with a URA deployed at a height of m. The circular exclusion zone around the radar has a minimum radius of km. The boresight of each massive MIMO BS URA is aligned along the direction of the radar ( in the LCS). In each cell, the massive MIMO BS transmits a total power of W, equally allocated among co-scheduled UEs from clusters with mutually disjoint angular support. To model the pathloss in the downlink and the BS to radar channels, we assume the 3GPP 3D Urban Macro (3D UMa) LoS pathloss model [14]
[TABLE]
where (GHz), and (m).
Fig. 3 plots the average interference power derived in this paper under different cell models, as a function of exclusion zone radius for different BS intensities. We observe that the upper bound is remarkably tight, especially for low values of . For reference, we also plot the approximate average interference power from corollary 1. It can be seen that its accuracy improves as increases, due to the accuracy of the underlying approximations regarding and . The approximately linear scaling of average interference power with can also be observed.
From Fig. 3, we observe that the ratio of average interference powers is approximately constant, and is tabulated for the elevation parameter in Table I. For typical 3GPP UMa deployment scenarios [14], where is the inter-site distance. The equivalent , for which dB. Hence, the upper bound of the average interference power is remarkably tight for typical 3GPP deployment parameters.
VI Conclusion and Proposed Work
In this paper, we presented a novel construction based on modeling a Poisson Voronoi cell by its circumcircle, to analyze the worst-case average interference at a typical radar due to a co-channel massive MIMO downlink in a high Rician channel. The proposed model accounted for elevation beamforming capabilities of the massive MIMO BS and the radar, and uncovered the relationship between the BS density and the worst-case BS transmit beamforming gain. We also proposed and analyzed the nominal average interference using an alternate, simpler model, where each cell is replaced by a circle of area equal to the average area of a typical cell. Finally, we provided useful insights regarding the worst-case exclusion zone radius, scaling of interference power with BS density, and the approximate gap between the worst-case and nominal average interference power. Our analysis was validated using Monte-Carlo simulations, and we demonstrated that the upper bound using the circumcircle-based model is remarkably tight for realistic deployment parameters. As cellular deployment progresses towards 5G NR with elevation beamforming capabilties in shared spectrum, the analysis techniques presented in this work helps system designers establish important baselines regarding worst-case average interference during simulation and empirical evaluation of radar-cellular coexistence scenarios.
-A Proof of Lemma 2
The steering vector of a URA is , where is the Kronecker product. For -spacing,
[TABLE]
Using the properties of the Kronecker product, we get . After expanding and simplifying, we get
[TABLE]
Since , the universal upper bound is obtained above, and is achieved when . To obtain a tighter bound defined in (6), we consider the following.
-A1 Case 1
If , is maximized by , , yielding .
-A2 Case 2
By upper bounding the azimuth beamforming gain in , we get G_{BS}(\theta,\phi,\theta_{k},\phi_{k})\leq N_{az}\tfrac{\sin^{2}\big{(}\tfrac{\pi}{2}N_{el}(\sin\phi-\sin\phi_{k})\big{)}}{N_{el}\sin^{2}\big{(}\tfrac{\pi}{2}(\sin\phi-\sin\phi_{k})\big{)}}. The RHS monotonically decreases w.r.t. when and hence, the upper bound will be given by G^{(\mathtt{max})}_{BS}(\phi,\phi_{\mathtt{m}})=N_{az}\tfrac{\sin^{2}\big{(}\tfrac{\pi}{2}N_{el}(\sin\phi-\sin\phi_{\mathtt{m}})\big{)}}{N_{el}\sin^{2}\big{(}\tfrac{\pi}{2}(\sin\phi-\sin\phi_{\mathtt{m}})\big{)}}.
-A3 Case 3
If , the numerator of in case 2 can be upper bounded as , resulting in a monotonically decreasing function of . Hence, G^{(\mathtt{max})}_{BS}(\phi,\phi_{\mathtt{m}})=\tfrac{N_{az}}{N_{el}\sin^{2}\big{(}\tfrac{\pi}{2}(\sin\phi-\sin\phi_{\mathtt{m}})\big{)}}.
Remark 2**.**
*The upper bound on the beamforming gain is independent of the azimuth angle, since the maximum azimuth beamforming gain can be upper bounded by . Therefore for the sake of simplicity, we consider that the boresight of each BS is aligned along the direction of the radar, which corresponds to as discussed in Assumption 2.
-B Proof of Theorem 2
Since the radar and massive MIMO BSs are independent PPPs and of intensities and respectively with , the worst-case average interference at the typical radar is given by Campbell’s theorem using
[TABLE]
where , denotes the circular exclusion zone, and is the cell radius that determines in equation (6). Substituting (4) above, noting that \phi_{r,L}(r)=-\phi_{t,L}(r)=\tan^{-1}\big{(}\tfrac{h_{rad}-h_{BS}}{r}\big{)}, and converting to polar coordinates we get
[TABLE]
where , and is the pathloss model. Using these and integrating over , we get the desired result.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] S. Bhattarai et al. , “Defining Incumbent Protection Zones on the Fly: Dynamic Boundaries for Spectrum Sharing,” in Proc. IEEE Dy SPAN , Sep. 2015, pp. 251–262.
- 2[2] F. Liu et al. , “Robust MIMO Beamforming for Cellular and Radar Coexistence,” IEEE Wireless Commun. Lett. , vol. 6, no. 3, pp. 374–377, June 2017.
- 3[3] S. Biswas et al. , “Coexistence of MIMO Radar and FD MIMO Cellular Systems With Qo S Considerations,” IEEE Trans. Wireless Commun. , vol. 17, no. 11, pp. 7281–7294, Nov 2018.
- 4[4] B. Li et al. , “Optimum Co-Design for Spectrum Sharing between Matrix Completion Based MIMO Radars and a MIMO Communication System,” IEEE Trans. Signal Process. , vol. 64, no. 17, pp. 4562–4575, Sep. 2016.
- 5[5] H. Deng and B. Himed, “Interference Mitigation Processing for Spectrum-Sharing Between Radar and Wireless Communications Systems,” IEEE Trans. Aerosp. Electron. Syst. , vol. 49, no. 3, pp. 1911–1919, July 2013.
- 6[6] Y. Li et al. , “Modeling and Analyzing the Coexistence of Wi-Fi and LTE in Unlicensed Spectrum,” IEEE Trans. Wireless Commun. , vol. 15, no. 9, pp. 6310–6326, Sep. 2016.
- 7[7] P. Parida et al. , “Stochastic Geometry-Based Modeling and Analysis of Citizens Broadband Radio Service System,” IEEE Access , vol. 5, pp. 7326–7349, 2017.
- 8[8] F. Hessar and S. Roy, “Spectrum Sharing Between a Surveillance Radar and Secondary Wi-Fi Networks,” IEEE Trans. Aerosp. Electron. Syst. , vol. 52, no. 3, pp. 1434–1448, June 2016.
