(Translated by https://www.hiragana.jp/)
Energy-Efficient Analog Beamforming for RF-WET with Charging Time Constraint
License: arXiv.org perpetual non-exclusive license
arXiv:2311.05325v2 [eess.SP] 20 Mar 2024

Energy-Efficient Analog Beamforming for RF-WET with Charging Time Constraint

Osmel Martínez Rosabal, Onel L. Alcaraz López, Hirley Alves Copyright (c) 2015 IEEE. Personal use of this material is permitted. However, permission to use this material for any other purposes must be obtained from the IEEE by sending a request to pubs-permissions@ieee.orgOsmel Martínez Rosabal, Onel L. Alcaraz López, and Hirley Alves are with the Centre of Wireless Communications (CWC), University of Oulu, Finland. {osmel.martinezrosabal, onel.alcarazlopez, hirley.alves}@oulu.fiThis research was supported by the Research Council of Finland (former Academy of Finland) 6G Flagship Programme (Grant Number: 346208) and Grant Number: 348515 and the Finnish Foundation for Technology Promotion.
Abstract

Internet of Things (IoT) sustainability may hinge on radio frequency wireless energy transfer (RF-WET). However, energy-efficient charging strategies are still needed, motivating our work. Specifically, this letter proposes a time division scheme to efficiently charge low-power devices in an IoT network. For this, a multi-antenna power beacon (PB) drives the devices’ energy harvesting circuit to the highest power conversion efficiency point via energy beamforming, thus achieving minimum energy consumption. Herein, we adopt the analog multi-antenna architecture due to its low complexity, cost, and energy consumption. The proposal includes a simple yet accurate model for the transfer characteristic of the energy harvesting circuit, enabling the optimization framework. The results evince the effectiveness of our RF-WET strategy over a benchmark scheme where the PB charges all the IoT devices simultaneously. Furthermore, the performance increases with the number of PB antennas.

I Introduction

RADIO frequency wireless energy transfer (RF-WET) is key for enabling the next generation of Internet of Things (IoT), including massive IoT, extreme edge devices, and zero-energy devices. As charging does not require physical contact when using RF-WET, one can enhance the devices’ mechanical durability, enable waterproof/dustproof designs, and reduce the risk of electric shocks. Moreover, RF-WET enables broadcasting energy to multiple users simultaneously in mobile scenarios, e.g., using unmanned aerial [1, 2] and terrestrial [3, 4] vehicles, and can potentially operate in non-line-of-sight (NLoS) channel conditions. More importantly, RF-WET mitigates the need for battery replacements, reducing network maintenance costs and the risk of environmental pollution [5].

The energy consumption of the power beacon (PB) is a key performance indicator in WET-enabled networks. It is desirable minimizing it to reduce operational costs and the network’s carbon footprint. Indeed, aiming for global decarbonization, the United Nations’ sustainable development goals [6] call for self-sufficient PBs powered by renewable energy [1, 7]. However, the availability of ambient energy sources is often erratic and may limit the PBs’ energy budget.

Fortunately, the PBs can leverage multi-antenna beamforming to dynamically steer the energy in specific spatial directions and increase the total harvested energy without necessarily requiring higher transmission power levels, thus improving the end-to-end energy conversion efficiency of the RF-WET system. In this regard, analog beamforming provides a more affordable solution regarding hardware complexity, cost, and energy consumption compared to other beamforming implementations [8]. This is because, as opposed to its multi-RF chain digital or hybrid counterparts, analog beamforming relies on a single RF chain and analog components for phase shifting the signal. Notice though that this hardware simplicity limits analog beamforming to single-beam transmissions with low spatial resolution at the time.

The most common analog beamforming implementation utilizes a network of phase shifters to adjust the phase of the equal-power antennas’ feeding signals. To improve spatial resolution, one can adjust the signal’s amplitude at the input of the antennas by using, for instance, variable gain amplifiers at the expense of increased hardware complexity and possibly higher power consumption [9]. Electronically steerable parasitic array radiators are also appealing for realizing analog beamforming. This architecture consists of an active antenna fed by a single RF chain and multiple parasitic antennas terminated in tunable analog loads [10]. Notice that this approach leverages the strong mutual coupling among antennas to adjust the radiation pattern; therefore, it is not suitable for arrays with widely spaced antennas. Load-modulated arrays overcome this limitation by feeding all the antennas with a centralized power amplifier while controlling the impedance of the coupling network to adjust the transmission pattern. Notice that no RF chain is required and the processing, including the array’s current distribution, is carried at baseband [11]. Unfortunately, the dynamic variations of the loads cause impedance mismatches to the effective array’s impedance resulting in unwanted power reflections that can deteriorate the system’s performance. Finally, one can resort to switches, instead of phase shifters, to control the set of radiating antennas connected at the power amplifier [12]. Since switches require less control/operation power than phase shifters, this architecture may become more appealing in low-cost/power applications. Despite its hardware simplicity, the switches-based implementation has the poorest spatial resolution compared to the aforementioned implementations.

Meanwhile, notice that the components’ non-linearities of the RF-WET chain hinder transmit beamforming optimization for minimum PB’s energy consumption. Indeed, the RF energy harvesting (EH) circuits have a non-linear transfer characteristic that is a function of the incident RF power, waveform, and modulation [13]. Unfortunately, accounting for all these factors may over-complicate the RF-EH circuit model, which hinders solving the specific WET-related problem. On the other hand, ignoring the non-linearities of RF-EH circuits to facilitate the solution process and providing interesting insights may lead to inaccurate/misleading conclusions.

In this letter, we propose an energy-saving RF-WET strategy in which a multi-antenna PB charges a low-power IoT network using a phase shifters-based analog beamforming. For this purpose, the PB schedules one device at a time, driving the input of the RF-EH circuits to their highest power conversion efficiency point. The main contributions are threefold: i) we propose a novel energy efficiency-oriented approach for modeling the transfer function of the RF-EH circuit in the region of interest, i.e., between the region of maximum conversion efficiency and saturation, which enables our proposed charging optimization procedure; ii) we propose a charging strategy that improves the end-to-end energy conversion efficiency, i.e., the ratio between the total harvested energy by the IoT devices and the energy consumed by the PB; and iii) our results show that, if time division is feasible, it outperforms the strategy of charging all devices simultaneously when they are separated by multiple times the wavelength of the transmit signal.

Notation: Here, we use boldface lowercase letters to denote column vectors and boldface uppercase letters to denote matrices. 𝐱psubscriptdelimited-∥∥𝐱𝑝\lVert\mathbf{x}\rVert_{p}∥ bold_x ∥ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT denote the psubscript𝑝\ell_{p}roman_ℓ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT-norm of 𝐱𝐱\mathbf{x}bold_x, while ()Tsuperscript𝑇(\cdot)^{T}( ⋅ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, ()Hsuperscript𝐻(\cdot)^{H}( ⋅ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT, tr()tr\mathrm{tr}(\cdot)roman_tr ( ⋅ ), and |||\cdot|| ⋅ | denote the transpose, Hermitian transpose, trace, and absolute value operations, respectively. Also, 𝒪()𝒪\mathcal{O}(\cdot)caligraphic_O ( ⋅ ) is the big-O notation, which specifies worst-case complexity, whereas \mathbb{C}blackboard_C denotes the set of complex numbers with imaginary unit j=1𝑗1j=\sqrt{-1}italic_j = square-root start_ARG - 1 end_ARG. Finally, 𝔼[]𝔼delimited-[]\mathbb{E}[\cdot]blackboard_E [ ⋅ ] is the expectation operator.

II System model and problem formulation

Consider the scenario where a multi-antenna PB charges a set 𝒮𝒮\mathcal{S}caligraphic_S of single-antenna IoT devices. Herein, 𝐡sN×1subscript𝐡𝑠superscript𝑁1\mathbf{h}_{s}\in\mathbb{C}^{N\times 1}bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_N × 1 end_POSTSUPERSCRIPT, where N𝑁Nitalic_N is the number of transmit antennas, captures the channel coefficients between the PB’s antennas and the sthsuperscript𝑠ths^{\mathrm{th}}italic_s start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT device. The system operates over quasi-static fading channels, for which the channel coefficients {𝐡s}subscript𝐡𝑠\{\mathbf{h}_{s}\}{ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT }, assumed known, remain approximately constant over a transmission block with independent realizations between blocks. Moreover, as Fig. 1 illustrates, the PB uses a time division charging strategy in which only one device is scheduled, i.e., dedicatedly charged, at a time. Hence, during a timeslot of duration τたうssubscript𝜏𝑠\tau_{s}italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, the PB transmits a normalized signal xssubscript𝑥𝑠x_{s}italic_x start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, i.e., 𝔼[xsHxs]=1𝔼delimited-[]superscriptsubscript𝑥𝑠𝐻subscript𝑥𝑠1\mathbb{E}[x_{s}^{H}x_{s}]=1blackboard_E [ italic_x start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ] = 1, to charge the corresponding sthsuperscript𝑠ths^{\mathrm{th}}italic_s start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT device, whose receive signal is 𝐡sH𝐰sxssuperscriptsubscript𝐡𝑠𝐻subscript𝐰𝑠subscript𝑥𝑠\mathbf{h}_{s}^{H}\mathbf{w}_{s}x_{s}bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT for a given analog precoder 𝐰sN×1subscript𝐰𝑠superscript𝑁1\mathbf{w}_{s}\in\mathbb{C}^{N\times 1}bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_N × 1 end_POSTSUPERSCRIPT. Thus, by ignoring the received noise power, the harvested energy is

Es=s𝒮τたうsg(ϖs,s),subscript𝐸𝑠subscriptfor-allsuperscript𝑠𝒮subscript𝜏superscript𝑠𝑔subscriptitalic-ϖ𝑠superscript𝑠E_{s}=\sum_{\forall s^{{}^{\prime}}\in\mathcal{S}}\tau_{s^{\prime}}g\left(% \varpi_{s,s^{\prime}}\right),italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT ∀ italic_s start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ∈ caligraphic_S end_POSTSUBSCRIPT italic_τたう start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_g ( italic_ϖ start_POSTSUBSCRIPT italic_s , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) , (1)

where ϖs,s=𝔼x[|𝐡sH𝐰sxs|2]=|𝐡sH𝐰s|2subscriptitalic-ϖ𝑠superscript𝑠subscript𝔼𝑥delimited-[]superscriptsubscriptsuperscript𝐡𝐻𝑠subscript𝐰superscript𝑠subscript𝑥superscript𝑠2superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐰superscript𝑠2\varpi_{s,s^{\prime}}\!=\!\mathbb{E}_{x}[|\mathbf{h}^{H}_{s}\mathbf{w}_{s^{% \prime}}x_{s^{\prime}}|^{2}]=|\mathbf{h}_{s}^{H}\mathbf{w}_{s^{\prime}}|^{2}italic_ϖ start_POSTSUBSCRIPT italic_s , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = blackboard_E start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT [ | bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT bold_w start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] = | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_w start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is the corresponding incident RF power at the sthsuperscript𝑠ths^{\mathrm{th}}italic_s start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT device when transmitting the signal vector 𝐰sxssubscript𝐰superscript𝑠subscript𝑥superscript𝑠\mathbf{w}_{s^{\prime}}x_{s^{\prime}}bold_w start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT for charging the device ssuperscript𝑠s^{\prime}italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. Moreover, g:++:𝑔superscriptsuperscriptg:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}italic_g : blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT → blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT is a generic non-linear transfer function of the RF-EH circuit, which we assume only depends on the incident RF power. Several analytical models are commonly adopted in the literature for g()𝑔g(\cdot)italic_g ( ⋅ ), such as piece-wise linear, fractional, cubic fractional, and sigmoidal. We refer the reader to [5] and the references therein for additional information about these models.

Our objective is to minimize the PB’s energy consumption while meeting the energy demands {Esth}superscriptsubscript𝐸𝑠th\{E_{s}^{\mathrm{th}}\}{ italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT } of the IoT devices per transmission block of duration τたうmaxsubscript𝜏max\tau_{\mathrm{max}}italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT. For that, we must find the precoders {𝐰s}subscript𝐰𝑠\{\mathbf{w}_{s}\}{ bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT }, where ws,nsubscript𝑤𝑠𝑛w_{s,n}italic_w start_POSTSUBSCRIPT italic_s , italic_n end_POSTSUBSCRIPT is the nthsuperscript𝑛thn^{\mathrm{th}}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT entry of 𝐰ssubscript𝐰𝑠\mathbf{w}_{s}bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, and per-device charging time {τたうs}subscript𝜏𝑠\{\tau_{s}\}{ italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT } such that the required time to charge all devices does not exceed τたうmaxsubscript𝜏max\tau_{\mathrm{max}}italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT. The optimization problem can be formulated as

𝐏𝟏::𝐏𝟏absent\displaystyle\mathbf{P1:}bold_P1 : min.{𝐰s},{τたうs},{ps}\displaystyle\underset{\{\mathbf{w}_{s}\},\{\tau_{s}\},\{p_{s}\}}{\mathrm{min.% }}\ start_UNDERACCENT { bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT } , { italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT } , { italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT } end_UNDERACCENT start_ARG roman_min . end_ARG s𝒮τたうspssubscript𝑠𝒮subscript𝜏𝑠subscript𝑝𝑠\displaystyle\sum_{s\in\mathcal{S}}\tau_{s}p_{s}∑ start_POSTSUBSCRIPT italic_s ∈ caligraphic_S end_POSTSUBSCRIPT italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT (2a)
s.t. EsEsth,s𝒮,formulae-sequencesubscript𝐸𝑠superscriptsubscript𝐸𝑠thfor-all𝑠𝒮\displaystyle E_{s}\geq E_{s}^{\mathrm{th}},\ \forall s\in\cal S,italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ≥ italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT , ∀ italic_s ∈ caligraphic_S , (2b)
s=1Sτたうsτたうmax,superscriptsubscript𝑠1𝑆subscript𝜏𝑠subscript𝜏max\displaystyle\sum_{s=1}^{S}\tau_{s}\leq\tau_{\mathrm{max}},∑ start_POSTSUBSCRIPT italic_s = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S end_POSTSUPERSCRIPT italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ≤ italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT , (2c)
|ws,n|2=psN,s𝒮,n=1,,N,formulae-sequencesuperscriptsubscript𝑤𝑠𝑛2subscript𝑝𝑠𝑁formulae-sequencefor-all𝑠𝒮𝑛1𝑁\displaystyle|w_{s,n}|^{2}\!=\!\frac{p_{s}}{N},\ \!\forall s\!\in\!\mathcal{S}% ,n\!=\!1,\!\ldots,N,| italic_w start_POSTSUBSCRIPT italic_s , italic_n end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG , ∀ italic_s ∈ caligraphic_S , italic_n = 1 , … , italic_N , (2d)

where pssubscript𝑝𝑠p_{s}italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is the transmit power associated with the precoder 𝐰ssubscript𝐰𝑠\mathbf{w}_{s}bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT. Notice that (2d) corresponds to the constant modulus constraint of the analog precoders. Notably, neither the objective function (2a) nor the constraints (2b) and (2d) are convex111The Hessian matrix of (2a) is neither positive nor negative semidefinite sparse matrix with a single non-zero entry per row/column and with diagonal entries all zero. Besides, g()𝑔g(\cdot)italic_g ( ⋅ ) is in general a highly non-linear and non-convex function and thus the constraint (2b). Finally, the constant modulus constraint (2d) forms a discrete set and hence is also non-convex.; therefore, 𝐏𝟏𝐏𝟏\mathbf{P1}bold_P1 is a non-convex optimization problem.

Refer to caption
Figure 1: The multi-antenna PB employs a time division strategy to charge the IoT network via analog beamforming.

III Proposed solution

Solving 𝐏𝟏𝐏𝟏\mathbf{P1}bold_P1 requires an analytical expression for the RF-EH circuit’s transfer function g()𝑔g(\cdot)italic_g ( ⋅ ). In this section, we focus on constructing an accurate mapping that captures the necessary information for the purpose of devising an energy-efficient WET strategy. Without loss of generality, we focus on the point-to-point RF-WET scenario, where the PB charges a single and arbitrary device s𝑠sitalic_s. Hence, we remove the subindex ssuperscript𝑠s^{\prime}italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT from ϖs,ssubscriptitalic-ϖ𝑠superscript𝑠\varpi_{s,s^{\prime}}italic_ϖ start_POSTSUBSCRIPT italic_s , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT to simplify the notation. Besides, we assume that the transfer characteristics of the EH circuit, as well as relevant key parameters exposed next, have been obtained through direct measurements for a certain operating frequency.

Let ηいーた(ϖs)=g(ϖs)/ϖs𝜂subscriptitalic-ϖ𝑠𝑔subscriptitalic-ϖ𝑠subscriptitalic-ϖ𝑠\eta(\varpi_{s})=g(\varpi_{s})/\varpi_{s}italic_ηいーた ( italic_ϖ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) = italic_g ( italic_ϖ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) / italic_ϖ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT denote the power conversion efficiency function of the rectenna. Besides, let ϖ0subscriptitalic-ϖ0\varpi_{0}italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT denote the incident RF power that maximizes the function ηいーた()𝜂\eta(\cdot)italic_ηいーた ( ⋅ ). To drive the rectenna at such power level, we consider that the PB utilizes the precoder p0/N𝐮ssubscript𝑝0𝑁subscript𝐮𝑠\sqrt{p_{0}/N}\mathbf{u}_{s}square-root start_ARG italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_N end_ARG bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, where 𝐮ssubscript𝐮𝑠\mathbf{u}_{s}bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT with |us,n|=1subscript𝑢𝑠𝑛1|u_{s,n}|=1| italic_u start_POSTSUBSCRIPT italic_s , italic_n end_POSTSUBSCRIPT | = 1, n=1,,N𝑛1𝑁n=1,\ldots,Nitalic_n = 1 , … , italic_N, is the optimal spatial direction for a given 𝐡ssubscript𝐡𝑠\mathbf{h}_{s}bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT. Next, let us consider an arbitrary PB’s transmit power pssubscript𝑝𝑠p_{s}italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT for which the resulting incident RF power satisfies psN|𝐡sH𝐮s|2ϖ0subscript𝑝𝑠𝑁superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐮𝑠2subscriptitalic-ϖ0\frac{p_{s}}{N}|\mathbf{h}_{s}^{H}\mathbf{u}_{s}|^{2}\neq\varpi_{0}divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≠ italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. Finally, let τたう0subscript𝜏0\tau_{0}italic_τたう start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and τたうssubscript𝜏𝑠\tau_{s}italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT denote the required charging times to harvest Essubscript𝐸𝑠E_{s}italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT energy units when the transmit powers are p0subscript𝑝0p_{0}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and pssubscript𝑝𝑠p_{s}italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, respectively. Hence, we can state that

τたう0p0N|𝐡sH𝐮s|2ηいーた(ϖ0)subscript𝜏0subscript𝑝0𝑁superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐮𝑠2𝜂subscriptitalic-ϖ0\displaystyle\tau_{0}\frac{p_{0}}{N}\left|\mathbf{h}_{s}^{H}\mathbf{u}_{s}% \right|^{2}\ \eta(\varpi_{0})italic_τたう start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT divide start_ARG italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ηいーた ( italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) =τたうspsN|𝐡sH𝐮s|2ηいーた(psN|𝐡sH𝐮s|2)absentsubscript𝜏𝑠subscript𝑝𝑠𝑁superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐮𝑠2𝜂subscript𝑝𝑠𝑁superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐮𝑠2\displaystyle=\tau_{s}\frac{p_{s}}{N}\left|\mathbf{h}_{s}^{H}\mathbf{u}_{s}% \right|^{2}\eta\left(\frac{p_{s}}{N}\left|\mathbf{h}_{s}^{H}\mathbf{u}_{s}% \right|^{2}\right)= italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ηいーた ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
τたう0p0subscript𝜏0subscript𝑝0\displaystyle\tau_{0}p_{0}italic_τたう start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT <τたうsps,absentsubscript𝜏𝑠subscript𝑝𝑠\displaystyle<\tau_{s}p_{s},< italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , (3)

provided that ηいーた(ϖ0)𝜂subscriptitalic-ϖ0\eta(\varpi_{0})italic_ηいーた ( italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) is the maximum conversion efficiency. Thus, when τたう0subscript𝜏0\tau_{0}italic_τたう start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is feasible, the optimal strategy consists in driving the rectenna to its maximum conversion efficiency point. On the contrary, if τたう0subscript𝜏0\tau_{0}italic_τたう start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT violates the maximum allowable charging time, the PB must increase its transmit power to deliver Essubscript𝐸𝑠E_{s}italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT energy units within the given deadline. However, exceeding the saturation point ϖsatsubscriptitalic-ϖsat\varpi_{\mathrm{sat}}italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT of the rectenna by increasing the incident RF power requires higher PB’s energy consumption and does not provide any additional harvesting power. To show this, let psatsubscript𝑝satp_{\mathrm{sat}}italic_p start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT denote the transmit power that yields ϖsatsubscriptitalic-ϖsat\varpi_{\mathrm{sat}}italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT units of incident power, and let pssubscript𝑝𝑠p_{s}italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT denote any arbitrary transmit power satisfying psN|𝐡sH𝐮s|2>ϖsatsubscript𝑝𝑠𝑁superscriptsubscriptsuperscript𝐡𝐻𝑠subscript𝐮𝑠2subscriptitalic-ϖsat\frac{p_{s}}{N}|\mathbf{h}^{H}_{s}\mathbf{u}_{s}|^{2}>\varpi_{\mathrm{sat}}divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT. Besides, let τたうsatsubscript𝜏sat\tau_{\mathrm{sat}}italic_τたう start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT and τたうssubscript𝜏𝑠\tau_{s}italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT denote the required charging times to harvest Essubscript𝐸𝑠E_{s}italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT energy units when the transmit powers are psatsubscript𝑝satp_{\mathrm{sat}}italic_p start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT and pssubscript𝑝𝑠p_{s}italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT. Hence, we can state

τたうsatpsatN|𝐡sH𝐮s|2ηいーた(ϖsat)subscript𝜏satsubscript𝑝sat𝑁superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐮𝑠2𝜂subscriptitalic-ϖsat\displaystyle\tau_{\mathrm{sat}}\frac{p_{\mathrm{sat}}}{N}\left|\mathbf{h}_{s}% ^{H}\mathbf{u}_{s}\right|^{2}\eta(\varpi_{\mathrm{sat}})italic_τたう start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT divide start_ARG italic_p start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ηいーた ( italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ) =τたうspsN|𝐡sH𝐮s|2ηいーた(psN|𝐡sH𝐮s|2),absentsubscript𝜏𝑠subscript𝑝𝑠𝑁superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐮𝑠2𝜂subscript𝑝𝑠𝑁superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐮𝑠2\displaystyle=\tau_{s}\frac{p_{s}}{N}\left|\mathbf{h}_{s}^{H}\mathbf{u}_{s}% \right|^{2}\eta(\frac{p_{s}}{N}\left|\mathbf{h}_{s}^{H}\mathbf{u}_{s}\right|^{% 2}),= italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ηいーた ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ,
τたうsatpsatsubscript𝜏satsubscript𝑝sat\displaystyle\tau_{\mathrm{sat}}p_{\mathrm{sat}}italic_τたう start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT <τたうsps,absentsubscript𝜏𝑠subscript𝑝𝑠\displaystyle<\tau_{s}p_{s},< italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , (4)

since g(ps|𝐡sH𝐮s|2)g(ϖsat)𝑔subscript𝑝𝑠superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐮𝑠2𝑔subscriptitalic-ϖsatg(p_{s}\left|\mathbf{h}_{s}^{H}\mathbf{u}_{s}\right|^{2})\approx g(\varpi_{% \mathrm{sat}})italic_g ( italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ≈ italic_g ( italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ) for psN|𝐡sH𝐮s|2>ϖsatsubscript𝑝𝑠𝑁superscriptsubscriptsuperscript𝐡𝐻𝑠subscript𝐮𝑠2subscriptitalic-ϖsat\frac{p_{s}}{N}|\mathbf{h}^{H}_{s}\mathbf{u}_{s}|^{2}>\varpi_{\mathrm{sat}}divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG | bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT bold_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT. We summarize this result in the following remark.

Remark 1.

For the point-to-point scenario, driving the input of the RF-EH circuit to its highest power conversion efficiency point yields the optimum PB’s energy beamforming strategy

Hence, it is advisable to confine the input of the RF-EH circuit, and consequently the EH function, within the bounds of [ϖ0,ϖsat]subscriptitalic-ϖ0subscriptitalic-ϖsat[\varpi_{0},\varpi_{\mathrm{sat}}][ italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ] to achieve this goal.

Herein, we use a second-degree polynomial function, i.e., g~(ϖs)=a2ϖs2+a1ϖs+a0~𝑔subscriptitalic-ϖ𝑠subscript𝑎2superscriptsubscriptitalic-ϖ𝑠2subscript𝑎1subscriptitalic-ϖ𝑠subscript𝑎0\tilde{g}(\varpi_{s})=a_{2}\varpi_{s}^{2}+a_{1}\varpi_{s}+a_{0}over~ start_ARG italic_g end_ARG ( italic_ϖ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) = italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_ϖ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_ϖ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT to fit the transfer function of the Powercast P2110B RF-EH circuit, as Fig. 2 depicts. The measurements depicted in Fig. 2 were extracted from a power conversion efficiency curve in [14] for a maximum input power of around 111111~{}11dBm. Besides, we assume that from that point onward the output of the P2110B RF-EH circuit saturates. Notice that g~()~𝑔\tilde{g}(\cdot)over~ start_ARG italic_g end_ARG ( ⋅ ) accurately models the region of interest and, as we will show in the next subsections, enables our proposed optimization framework. Hereinafter, we utilize g~()~𝑔\tilde{g}(\cdot)over~ start_ARG italic_g end_ARG ( ⋅ ) as our proposed RF-EH model to distinguish from g()𝑔g(\cdot)italic_g ( ⋅ ) which models the supported operating range by the RF-EH circuit. In section V, we explain how the fitting of g()𝑔g(\cdot)italic_g ( ⋅ ) is done for performing numerical evaluations.

Refer to caption
Figure 2: Transfer characteristic of the Powercast P2110B RF-EH circuit operating at 868MHz868MHz868~{}\text{MHz}868 MHz frequency [14]. Herein, a2=1.952subscript𝑎21.952a_{2}=-1.952italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - 1.952, a1=0.663subscript𝑎10.663a_{1}=0.663italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.663, and a0=1.453×105subscript𝑎01.453superscript105a_{0}=-1.453\times 10^{-5}italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = - 1.453 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT are obtained by standard curve fitting.

III-A Order-agnostic time division

Since the PB establishes a point-to-point connection at each charging timeslot, the optimal per-device analog precoder is 𝐰s=psN[hs,1|hs,1|hs,2|hs,2|hs,N|hs,N|]Tsubscript𝐰𝑠subscript𝑝𝑠𝑁superscriptsubscript𝑠1subscript𝑠1subscript𝑠2subscript𝑠2subscript𝑠𝑁subscript𝑠𝑁𝑇\mathbf{w}_{s}=\sqrt{\frac{p_{s}}{N}}\left[\frac{h_{s,1}}{|h_{s,1}|}\quad\frac% {h_{s,2}}{|h_{s,2}|}\quad\cdots\quad\frac{h_{s,N}}{|h_{s,N}|}\right]^{T}bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = square-root start_ARG divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG end_ARG [ divide start_ARG italic_h start_POSTSUBSCRIPT italic_s , 1 end_POSTSUBSCRIPT end_ARG start_ARG | italic_h start_POSTSUBSCRIPT italic_s , 1 end_POSTSUBSCRIPT | end_ARG divide start_ARG italic_h start_POSTSUBSCRIPT italic_s , 2 end_POSTSUBSCRIPT end_ARG start_ARG | italic_h start_POSTSUBSCRIPT italic_s , 2 end_POSTSUBSCRIPT | end_ARG ⋯ divide start_ARG italic_h start_POSTSUBSCRIPT italic_s , italic_N end_POSTSUBSCRIPT end_ARG start_ARG | italic_h start_POSTSUBSCRIPT italic_s , italic_N end_POSTSUBSCRIPT | end_ARG ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, which gives an incident RF power of |𝐡sH𝐰s|2=psN𝐡s12superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐰𝑠2subscript𝑝𝑠𝑁superscriptsubscriptdelimited-∥∥subscript𝐡𝑠12|\mathbf{h}_{s}^{H}\mathbf{w}_{s}|^{2}=\frac{p_{s}}{N}\lVert\mathbf{h}_{s}% \rVert_{1}^{2}| bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. To ease the mathematical tractability of the problem, we assume that the contribution of the signals {xs},s𝒮,ssformulae-sequencesubscript𝑥superscript𝑠for-allsuperscript𝑠𝒮superscript𝑠𝑠\{x_{s^{\prime}}\},\forall s^{\prime}\in\mathcal{S},s^{\prime}\neq s{ italic_x start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT } , ∀ italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ caligraphic_S , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≠ italic_s, on the sthsuperscript𝑠ths^{\mathrm{th}}italic_s start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT non-scheduled device is negligible, but we consider it in the next subsection as the criterion for establishing a charging order. Therefore, (1) reduces to

Essubscript𝐸𝑠\displaystyle E_{s}italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT τたうsg(|𝐡sH𝐰s|2)=τたうsg(psN𝐡s12).absentsubscript𝜏𝑠𝑔superscriptsuperscriptsubscript𝐡𝑠𝐻subscript𝐰𝑠2subscript𝜏𝑠𝑔subscript𝑝𝑠𝑁subscriptsuperscriptdelimited-∥∥subscript𝐡𝑠21\displaystyle\approx\tau_{s}g\left(\left|\mathbf{h}_{s}^{H}\mathbf{w}_{s}% \right|^{2}\right)=\tau_{s}g\left(\frac{p_{s}}{N}\lVert\mathbf{h}_{s}\rVert^{2% }_{1}\right).≈ italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_g ( | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_w start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_g ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) . (5)

Then, we can use (5) and the quadratic EH function g~()~𝑔\tilde{g}(\cdot)over~ start_ARG italic_g end_ARG ( ⋅ ) to modify the constraint (2b) as

τたうsg~(psN𝐡s12)subscript𝜏𝑠~𝑔subscript𝑝𝑠𝑁subscriptsuperscriptdelimited-∥∥subscript𝐡𝑠21\displaystyle\tau_{s}\tilde{g}\left(\frac{p_{s}}{N}\lVert\mathbf{h}_{s}\rVert^% {2}_{1}\right)italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT over~ start_ARG italic_g end_ARG ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) Esth,absentsubscriptsuperscript𝐸th𝑠\displaystyle\geq E^{\mathrm{th}}_{s},≥ italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ,
a2ps2N2𝐡s14+a1psN𝐡s12+a0subscript𝑎2superscriptsubscript𝑝𝑠2superscript𝑁2superscriptsubscriptdelimited-∥∥subscript𝐡𝑠14subscript𝑎1subscript𝑝𝑠𝑁superscriptsubscriptdelimited-∥∥subscript𝐡𝑠12subscript𝑎0\displaystyle\frac{a_{2}p_{s}^{2}}{N^{2}}\lVert\mathbf{h}_{s}\rVert_{1}^{4}+% \frac{a_{1}p_{s}}{N}\lVert\mathbf{h}_{s}\rVert_{1}^{2}+a_{0}divide start_ARG italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + divide start_ARG italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT Esthτたうs1,absentsuperscriptsubscript𝐸𝑠thsubscriptsuperscript𝜏1𝑠\displaystyle\geq E_{s}^{\mathrm{th}}\tau^{-1}_{s},≥ italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT italic_τたう start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ,
c2τたうs1ps1+c1ps+c0ps1subscript𝑐2superscriptsubscript𝜏𝑠1superscriptsubscript𝑝𝑠1subscript𝑐1subscript𝑝𝑠subscript𝑐0superscriptsubscript𝑝𝑠1\displaystyle c_{2}\tau_{s}^{-1}p_{s}^{-1}+c_{1}p_{s}+c_{0}p_{s}^{-1}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT 1,absent1\displaystyle\leq 1,≤ 1 , (6)

where c2=EsthNa1𝐡s12subscript𝑐2superscriptsubscript𝐸𝑠th𝑁subscript𝑎1superscriptsubscriptdelimited-∥∥subscript𝐡𝑠12c_{2}=\frac{E_{s}^{\mathrm{th}}N}{a_{1}\lVert\mathbf{h}_{s}\rVert_{1}^{2}}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = divide start_ARG italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT italic_N end_ARG start_ARG italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∥ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG, c1=a2𝐡s12a1Nsubscript𝑐1subscript𝑎2superscriptsubscriptdelimited-∥∥subscript𝐡𝑠12subscript𝑎1𝑁c_{1}=\frac{a_{2}\lVert\mathbf{h}_{s}\rVert_{1}^{2}}{a_{1}N}italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∥ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_N end_ARG, and c0=a0Na1𝐡12subscript𝑐0subscript𝑎0𝑁subscript𝑎1superscriptsubscriptdelimited-∥∥𝐡12c_{0}=\frac{a_{0}N}{a_{1}\lVert\mathbf{h}\rVert_{1}^{2}}italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_N end_ARG start_ARG italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∥ bold_h ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG are constants. The following result generalizes this procedure for other PB/devices architectures.

Remark 2.

Notice that when relying on alternative analog beamforming implementations, e.g., [9, 10, 11, 12], and/or employing multi-antenna RF-EH circuits with RF combining, this procedure still holds and only the precoding/combiner optimization is different.

Now, we can reformulate 𝐏𝟏𝐏𝟏\mathbf{P1}bold_P1 as the following geometric programming problem

𝐏𝟐::𝐏𝟐absent\displaystyle\mathbf{P2:}\ bold_P2 : min.{ps},{τたうs}\displaystyle\underset{\{p_{s}\},\{\tau_{s}\}}{\mathrm{min.}}\ start_UNDERACCENT { italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT } , { italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT } end_UNDERACCENT start_ARG roman_min . end_ARG s𝒮τたうspssubscript𝑠𝒮subscript𝜏𝑠subscript𝑝𝑠\displaystyle\sum_{s\in\mathcal{S}}\tau_{s}p_{s}∑ start_POSTSUBSCRIPT italic_s ∈ caligraphic_S end_POSTSUBSCRIPT italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT (7a)
s.t. c2τたうs1ps1+c1ps+c0ps11,subscript𝑐2superscriptsubscript𝜏𝑠1superscriptsubscript𝑝𝑠1subscript𝑐1subscript𝑝𝑠subscript𝑐0superscriptsubscript𝑝𝑠11\displaystyle c_{2}\tau_{s}^{-1}p_{s}^{-1}+c_{1}p_{s}+c_{0}p_{s}^{-1}\leq 1,\ italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ≤ 1 , s𝒮,for-all𝑠𝒮\displaystyle\forall s\in\mathcal{S},∀ italic_s ∈ caligraphic_S , (7b)
w0ps𝐡s12Nwsat,subscript𝑤0subscript𝑝𝑠superscriptsubscriptdelimited-∥∥subscript𝐡𝑠12𝑁subscript𝑤sat\displaystyle w_{0}\leq p_{s}\frac{\lVert\mathbf{h}_{s}\rVert_{1}^{2}}{N}\leq w% _{\mathrm{sat}},italic_w start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≤ italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT divide start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_N end_ARG ≤ italic_w start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT , s𝒮,for-all𝑠𝒮\displaystyle\forall s\in\mathcal{S},∀ italic_s ∈ caligraphic_S , (7c)
s=1Sτたうsτたうmax,superscriptsubscript𝑠1𝑆subscript𝜏𝑠subscript𝜏max\displaystyle\sum_{s=1}^{S}\tau_{s}\leq\tau_{\mathrm{max}},∑ start_POSTSUBSCRIPT italic_s = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S end_POSTSUPERSCRIPT italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ≤ italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT , (7d)

where the additional constraint (7c) guarantees that the incident power remains within the interval [ϖ0,ϖsat]subscriptitalic-ϖ0subscriptitalic-ϖsat[\varpi_{0},\varpi_{\mathrm{sat}}][ italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ]. Although 𝐏𝟐𝐏𝟐\mathbf{P2}bold_P2 is still non-convex, it can be recast as a convex problem by making the change of variables τたう~s=logτたうssubscript~𝜏𝑠subscript𝜏𝑠\tilde{\tau}_{s}=\log{\tau_{s}}over~ start_ARG italic_τたう end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = roman_log italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT and ps~=logps~subscript𝑝𝑠subscript𝑝𝑠\tilde{p_{s}}=\log{p_{s}}over~ start_ARG italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG = roman_log italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT and then apply the function log()\log{(\cdot)}roman_log ( ⋅ ) to the resulting objective and constraints [15]. The resulting optimization problem can be then efficiently solved with accuracy error ϵitalic-ϵ\epsilonitalic_ϵ using, e.g., interior-point methods, for which the required number of iterations is in the order of 𝒪(9S+1log9S+1ϵ)𝒪9𝑆19𝑆1italic-ϵ\mathcal{O}(\sqrt{9S+1}\log{\frac{9S+1}{\epsilon}})caligraphic_O ( square-root start_ARG 9 italic_S + 1 end_ARG roman_log divide start_ARG 9 italic_S + 1 end_ARG start_ARG italic_ϵ end_ARG ), each requiring 𝒪((40S2+8S)9S+1log9S+1ϵ)𝒪40superscript𝑆28𝑆9𝑆19𝑆1italic-ϵ\mathcal{O}\big{(}(40S^{2}+8S)\sqrt{9S+1}\log{\frac{9S+1}{\epsilon}}\big{)}caligraphic_O ( ( 40 italic_S start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 8 italic_S ) square-root start_ARG 9 italic_S + 1 end_ARG roman_log divide start_ARG 9 italic_S + 1 end_ARG start_ARG italic_ϵ end_ARG ) arithmetic operations [16].

The following result establishes the feasibility of 𝐏𝟐𝐏𝟐\mathbf{P2}bold_P2.

Remark 3.

Since the maximum output power of the RF-EH circuit is g(ϖsat)𝑔subscriptitalic-ϖnormal-satg(\varpi_{\mathrm{sat}})italic_g ( italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ), 𝐏𝟐𝐏𝟐\mathbf{P2}bold_P2 is feasible when s𝒮Esthg(ϖsat)τたうmaxsubscriptfor-all𝑠𝒮superscriptsubscript𝐸𝑠normal-th𝑔subscriptitalic-ϖnormal-satsubscript𝜏normal-max\sum_{\forall s\in\mathcal{S}}\frac{E_{s}^{\mathrm{th}}}{g(\varpi_{\mathrm{sat% }})}\leq\tau_{\mathrm{max}}∑ start_POSTSUBSCRIPT ∀ italic_s ∈ caligraphic_S end_POSTSUBSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT end_ARG start_ARG italic_g ( italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ) end_ARG ≤ italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT. Notice that this result is stricter than the feasibility condition of 𝐏𝟏𝐏𝟏\mathbf{P1}bold_P1, which is feasible when τたうmaxg(ϖsat)maxsEsthsubscript𝜏normal-max𝑔subscriptitalic-ϖnormal-satsubscriptnormal-max𝑠superscriptsubscript𝐸𝑠normal-th\tau_{\mathrm{max}}g(\varpi_{\mathrm{sat}})\geq\mathrm{max}_{s}\ E_{s}^{% \mathrm{th}}italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT italic_g ( italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ) ≥ roman_max start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT, as it potentially allows driving the EH circuits at the saturation level during the transmission block.

III-B Order-aware time division

The previous time-beamforming allocation strategy may unintentionally power non-scheduled devices, in which case the approximation (5) will no longer hold. Motivated by this, we propose an order-aware time division algorithm in which the power/time allocation corresponding to each device is recomputed after 𝐏𝟐𝐏𝟐\mathbf{P2}bold_P2 is solved based on the energy they can harvest from others’ time-beamforming allocations. Specifically, the PB schedules at each time slot the device whose timeslot-beamforming allocation is the most polluting for other devices. For instance, during the first timeslot, the PB schedules the sthsuperscript𝑠ths^{\mathrm{th}}italic_s start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT device that satisfies

s=argmaxs′′s𝒮\s′′τたうs′′g(ϖs,s′′),𝑠superscript𝑠′′argmaxsubscriptfor-allsuperscript𝑠\𝒮superscript𝑠′′subscript𝜏superscript𝑠′′𝑔subscriptitalic-ϖsuperscript𝑠superscript𝑠′′s=\underset{s^{\prime\prime}}{\operatorname{arg\,max}}\sum_{\forall s^{\prime}% \in\mathcal{S}\backslash s^{\prime\prime}}\tau_{s^{\prime\prime}}g(\varpi_{s^{% \prime},s^{\prime\prime}}),italic_s = start_UNDERACCENT italic_s start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG roman_arg roman_max end_ARG ∑ start_POSTSUBSCRIPT ∀ italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ caligraphic_S \ italic_s start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_τたう start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_g ( italic_ϖ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) , (8)

where ϖs,s′′subscriptitalic-ϖsuperscript𝑠superscript𝑠′′\varpi_{s^{\prime},s^{\prime\prime}}italic_ϖ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT is the received power at device ssuperscript𝑠s^{\prime}italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT when transmitting the signal vector 𝐰s′′xs′′subscript𝐰superscript𝑠′′subscript𝑥superscript𝑠′′\mathbf{w}_{s^{\prime\prime}}x_{s^{\prime\prime}}bold_w start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, and then, we recompute the power allocation for the non-scheduled devices, i.e., s𝒮\sfor-allsuperscript𝑠\𝒮𝑠\forall s^{\prime}\in\mathcal{S}\backslash s∀ italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ caligraphic_S \ italic_s, according to

ps=N𝐡s12g1(E~sthτたうs),subscript𝑝superscript𝑠𝑁superscriptsubscriptdelimited-∥∥subscript𝐡superscript𝑠12superscript𝑔1superscriptsubscript~𝐸superscript𝑠thsubscript𝜏superscript𝑠\displaystyle p_{s^{\prime}}=\frac{N}{\lVert\mathbf{h}_{s^{\prime}}\rVert_{1}^% {2}}g^{-1}\left(\frac{\tilde{E}_{s^{\prime}}^{\mathrm{th}}}{\tau_{s^{\prime}}}% \right),italic_p start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG italic_N end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( divide start_ARG over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT end_ARG start_ARG italic_τたう start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG ) , (9)

unless psN𝐡s12<ϖ0subscript𝑝superscript𝑠𝑁superscriptsubscriptdelimited-∥∥subscript𝐡superscript𝑠12subscriptitalic-ϖ0\frac{p_{s^{\prime}}}{N}\lVert\mathbf{h}_{s^{\prime}}\rVert_{1}^{2}<\varpi_{0}divide start_ARG italic_p start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, in which case

{ps=ϖ0N𝐡s12,τたうs=E~sthg(ϖ0)},formulae-sequencesubscript𝑝superscript𝑠subscriptitalic-ϖ0𝑁superscriptsubscriptdelimited-∥∥subscript𝐡superscript𝑠12subscript𝜏superscript𝑠superscriptsubscript~𝐸superscript𝑠th𝑔subscriptitalic-ϖ0\displaystyle\Big{\{}p_{s^{\prime}}=\frac{\varpi_{0}N}{\lVert\mathbf{h}_{s^{% \prime}}\rVert_{1}^{2}},\qquad\tau_{s^{\prime}}=\frac{\tilde{E}_{s^{\prime}}^{% \mathrm{th}}}{g(\varpi_{0})}\Big{\}},{ italic_p start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_N end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_τたう start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT end_ARG start_ARG italic_g ( italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_ARG } , (10)

where E~sth=Esthτたうsg(ϖs,s)superscriptsubscript~𝐸superscript𝑠thsuperscriptsubscript𝐸superscript𝑠thsubscript𝜏𝑠𝑔subscriptitalic-ϖsuperscript𝑠𝑠\tilde{E}_{s^{\prime}}^{\mathrm{th}}=E_{s^{\prime}}^{\mathrm{th}}-\tau_{s}g(% \varpi_{s^{\prime},s})over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT = italic_E start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT - italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_g ( italic_ϖ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s end_POSTSUBSCRIPT ) is the updated energy requirement for the non-scheduled devices. Similarly, we schedule the remaining devices, discarding previously charged ones from the updates. Finally, Algorithm 1 sketches the full procedure.

Algorithm 1 Order-aware time division
1:  Input: {Esth,𝐡s}s𝒮,τたうmaxsubscriptsuperscriptsubscript𝐸𝑠thsubscript𝐡𝑠for-all𝑠𝒮subscript𝜏max\{E_{s}^{\mathrm{th}},\mathbf{h}_{s}\}_{\forall s\in\mathcal{S}},\tau_{\mathrm% {max}}{ italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT , bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT } start_POSTSUBSCRIPT ∀ italic_s ∈ caligraphic_S end_POSTSUBSCRIPT , italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT
2:  Solve 𝐏𝟐𝐏𝟐\mathbf{P2}bold_P2
3:  repeat
4:     Schedule the sthsuperscript𝑠ths^{\mathrm{th}}italic_s start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT device satisfying (8)
5:     Update: {ps,τたうs,E~sth}s𝒮\ssubscriptsubscript𝑝superscript𝑠subscript𝜏superscript𝑠superscriptsubscript~𝐸superscript𝑠thfor-allsuperscript𝑠\𝒮𝑠\{p_{s^{\prime}},\tau_{s^{\prime}},\tilde{E}_{s^{\prime}}^{\mathrm{th}}\}_{% \forall s^{\prime}\in\mathcal{S}\backslash s}{ italic_p start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT , italic_τたう start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT , over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT } start_POSTSUBSCRIPT ∀ italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ caligraphic_S \ italic_s end_POSTSUBSCRIPT using (9)-(10)
6:     Update: 𝒮𝒮\{s}𝒮\𝒮𝑠\mathcal{S}\leftarrow\mathcal{S}\backslash\{s\}caligraphic_S ← caligraphic_S \ { italic_s }
7:  until |𝒮|=1𝒮1|\mathcal{S}|=1| caligraphic_S | = 1
8:  Schedule the remaining device in 𝒮𝒮\mathcal{S}caligraphic_S
9:  Output: {ps,τたうs}subscript𝑝𝑠subscript𝜏𝑠\{p_{s},\tau_{s}\}{ italic_p start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , italic_τたう start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT } for all devices

III-C Charging all-at-once

In this subsection, we consider the benchmark technique allowing the PB to simultaneously charge all the devices. The PB uses a single analog precoder over the charging time. Hence, we can state the resulting optimization problem as

𝐏𝟑::𝐏𝟑absent\displaystyle\mathbf{P3:}\quadbold_P3 : min.p,𝐰,τたう\displaystyle\underset{p,\mathbf{w},\tau}{\mathrm{min.}}\quadstart_UNDERACCENT italic_p , bold_w , italic_τたう end_UNDERACCENT start_ARG roman_min . end_ARG pτたう𝑝𝜏\displaystyle p\tauitalic_p italic_τたう (11a)
s.t. τたうg(|𝐡sH𝐰|2)Esth,𝜏𝑔superscriptsuperscriptsubscript𝐡𝑠𝐻𝐰2superscriptsubscript𝐸𝑠th\displaystyle\tau g\left(|\mathbf{h}_{s}^{H}\mathbf{w}|^{2}\right)\geq E_{s}^{% \mathrm{th}},\quaditalic_τたう italic_g ( | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_w | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ≥ italic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT , s𝒮,for-all𝑠𝒮\displaystyle\forall s\in\cal S,∀ italic_s ∈ caligraphic_S , (11b)
τたうτたうmax,𝜏subscript𝜏max\displaystyle\tau\leq\tau_{\mathrm{max}},italic_τたう ≤ italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT , (11c)
|wn|2=pN,n=1,,N.formulae-sequencesuperscriptsubscript𝑤𝑛2𝑝𝑁𝑛1𝑁\displaystyle|w_{n}|^{2}=\frac{p}{N},\ n=1,\ldots,N.| italic_w start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_N end_ARG , italic_n = 1 , … , italic_N . (11d)

Since the objective (11a) is quasiconcave and the constraints (11b) and (11d) are non-convex, 𝐏𝟑𝐏𝟑\mathbf{P3}bold_P3 is a non-convex problem. To circumvent this, we resort to a heuristic method in which the optimal spatial direction is obtained from the following max-min weighted incident RF power (non-convex) problem

𝐏𝟒::𝐏𝟒absent\displaystyle\mathbf{P4:}\quadbold_P4 : max.𝐰min𝑠|𝐡sH𝐰|2Esth\displaystyle\underset{\mathbf{w}}{\mathrm{max.}}\quad\underset{s}{\mathrm{min% }}\ \frac{|\mathbf{h}_{s}^{H}\mathbf{w}|^{2}}{E^{\mathrm{th}}_{s}}underbold_w start_ARG roman_max . end_ARG underitalic_s start_ARG roman_min end_ARG divide start_ARG | bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_w | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG (12a)

such that the coefficients 1/Esth1subscriptsuperscript𝐸th𝑠1/E^{\mathrm{th}}_{s}1 / italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT prioritize the devices with higher energy demands. This guarantees near-optimal results for 𝐏𝟑𝐏𝟑\mathbf{P3}bold_P3. Then, 𝐏𝟒𝐏𝟒\mathbf{P4}bold_P4 can be recast into its epigraph form as

max.𝐰\displaystyle\underset{\mathbf{w}}{\mathrm{max.}}\quadunderbold_w start_ARG roman_max . end_ARG ξくしー𝜉\displaystyle\xiitalic_ξくしー (13a)
s.t. |𝐡sH𝐰|2ξくしーEsth,s𝒮.formulae-sequencesuperscriptsubscriptsuperscript𝐡𝐻𝑠𝐰2𝜉subscriptsuperscript𝐸th𝑠for-all𝑠𝒮\displaystyle|\mathbf{h}^{H}_{s}\mathbf{w}|^{2}\geq\xi E^{\mathrm{th}}_{s},% \quad\forall s\in\mathcal{S}.| bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT bold_w | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≥ italic_ξくしー italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , ∀ italic_s ∈ caligraphic_S . (13b)

Next, let us rewrite |𝐡sH𝐰|2=𝐡sH𝐰𝐰H𝐡s=tr(𝐖𝐇s)superscriptsubscriptsuperscript𝐡𝐻𝑠𝐰2subscriptsuperscript𝐡𝐻𝑠superscript𝐰𝐰𝐻subscript𝐡𝑠trsubscript𝐖𝐇𝑠|\mathbf{h}^{H}_{s}\mathbf{w}|^{2}=\mathbf{h}^{H}_{s}\mathbf{w}\mathbf{w}^{H}% \mathbf{h}_{s}=\mathrm{tr}(\mathbf{W}\mathbf{H}_{s})| bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT bold_w | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT bold_ww start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = roman_tr ( bold_WH start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ), with 𝐖=𝐰𝐰H𝐖superscript𝐰𝐰𝐻\mathbf{W}=\mathbf{w}\mathbf{w}^{H}bold_W = bold_ww start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT and 𝐇s=𝐡s𝐡sHsubscript𝐇𝑠subscript𝐡𝑠subscriptsuperscript𝐡𝐻𝑠\mathbf{H}_{s}=\mathbf{h}_{s}\mathbf{h}^{H}_{s}bold_H start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT being rank-1111 matrices, and recast 𝐏𝟒𝐏𝟒\mathbf{P4}bold_P4 into a semidefinite programming problem

𝐏𝟓::𝐏𝟓absent\displaystyle\mathbf{P5:}\quadbold_P5 : max.ξくしー,𝐖\displaystyle\underset{\xi,\mathbf{W}}{\mathrm{max.}}\quadstart_UNDERACCENT italic_ξくしー , bold_W end_UNDERACCENT start_ARG roman_max . end_ARG ξくしー𝜉\displaystyle\xiitalic_ξくしー (14a)
s.t. tr(𝐖𝐇s)ξくしーEsth,s𝒮,formulae-sequencetrsubscript𝐖𝐇𝑠𝜉subscriptsuperscript𝐸th𝑠for-all𝑠𝒮\displaystyle\mathrm{tr}(\mathbf{W}\mathbf{H}_{s})\geq\xi E^{\mathrm{th}}_{s},% \quad\forall s\in\mathcal{S},roman_tr ( bold_WH start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) ≥ italic_ξくしー italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , ∀ italic_s ∈ caligraphic_S , (14b)
𝐖0.succeeds-or-equals𝐖0\displaystyle\mathbf{W}\succeq 0.bold_W ⪰ 0 . (14c)

Here, we relaxed the rank-1111 requirement of 𝐖𝐖\mathbf{W}bold_W to make the problem convex. Then, we take 𝜽𝜽\bm{\theta}bold_italic_θしーた, where 𝐰=1Nej𝜽𝐰1𝑁superscript𝑒𝑗𝜽\mathbf{w}=\sqrt{\frac{1}{N}}e^{j\bm{\theta}}bold_w = square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_N end_ARG end_ARG italic_e start_POSTSUPERSCRIPT italic_j bold_italic_θしーた end_POSTSUPERSCRIPT, as the phase of the dominant eigenvector of 𝐖𝐖\mathbf{W}bold_W, which is optimal when 𝐏𝟓𝐏𝟓\mathbf{P5}bold_P5 yields a rank-1111 solution.

Then, from the constraint (11b), we derive the optimal power allocation for a given τたう𝜏\tauitalic_τたう as

p(τたう)=max𝑠g1(Esthτたう)1|𝐡sH𝐰|2,𝑝𝜏𝑠maxsuperscript𝑔1subscriptsuperscript𝐸th𝑠𝜏1superscriptsubscriptsuperscript𝐡𝐻𝑠𝐰2p(\tau)=\underset{s}{\mathrm{max}}\ g^{-1}\Big{(}\frac{E^{\mathrm{th}}_{s}}{% \tau}\Big{)}\frac{1}{|\mathbf{h}^{H}_{s}\mathbf{w}|^{2}},italic_p ( italic_τたう ) = underitalic_s start_ARG roman_max end_ARG italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( divide start_ARG italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_τたう end_ARG ) divide start_ARG 1 end_ARG start_ARG | bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT bold_w | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (15)

which is the transmit power required for charging the device with the highest ratio between the needed harvesting power and the input RF power when using the power-normalized precoder 𝐰𝐰\mathbf{w}bold_w. Finally, we perform an exhaustive search to find the pair (p,τたう)𝑝𝜏(p,\tau)( italic_p , italic_τたう ) that minimizes the objective function in (11a) by evaluating (15) over the interval τたう[maxsEsthg(ϖsat),τたうmax]𝜏subscriptmax𝑠subscriptsuperscript𝐸th𝑠𝑔subscriptitalic-ϖsatsubscript𝜏max\tau\in[\frac{\mathrm{max}_{s}\ E^{\mathrm{th}}_{s}}{g(\varpi_{\mathrm{sat}})}% ,\tau_{\mathrm{max}}]italic_τたう ∈ [ divide start_ARG roman_max start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_g ( italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ) end_ARG , italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT ]. After computing the optimal power allocation, we update the optimal (analog) precoder as 𝐰*=p𝐰superscript𝐰𝑝𝐰\mathbf{w}^{*}=\sqrt{p}\mathbf{w}bold_w start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT = square-root start_ARG italic_p end_ARG bold_w.

IV Practical considerations

In practice, the resolution of the phase shifters constrains the spatial flexibility of analog beamforming. Hence, our assumption of infinite resolution phase shifters upper bounds the actual performance of both time division and all-at-once schemes when using practical limited-resolution shifters [17]. This limitation motivates exploring alternative analog beamforming implementations in which the array pattern is controlled by switches, variable gain amplifiers, or even the induction of a nearby antenna. Notice that a formal comparison of those architectures requires careful consideration of power consumption and costs of the corresponding components. Besides, notice that scheduling groups of devices instead of using our proposed time division strategy becomes more appealing in massive IoT deployments. Therefore, charging one device at a time as the network grows may not suffice the energy demands due to excessive delays. Moreover, notice that our strategy extends to the multi-antenna RF-EH case when the signal is combined in the RF domain. In other cases, such as when the receiver comprises multiple RF-EH circuits, the extension is not straightforward. Finally, notice that our proposed strategy relies on estimating the channel state information at the beginning of the charging block for computing the optimal power and time allocation. However, depending on the coherence time of the channel, the channel state information of the latter scheduled devices may be inaccurate. In this regard, we can rely on a robust analog beamforming formulation [18] of our problem or, instead, exploit the channel’s statistics [19], which are easier to estimate and vary more slowly. We left the aforementioned concerns as topics for future work.

V Numerical results

Here, we evaluate the PB energy consumption under the proposed time division schemes, referred to as order-agnostic and order-aware for short, against the all-at-once strategy.222For the all-at-once strategy, we employ a linear interpolant method to fit g()𝑔g(\cdot)italic_g ( ⋅ ) (and its inverse) to the Powercast RF-EH circuit data, allowing us to evaluate (15) and adjust the beamforming power of the proposed time division strategies, to ensure a fair comparison.

Refer to caption
Figure 3: Geometry of the simulation setup. The antenna elements are separated by half the wavelength of the transmitted signal in both z𝑧zitalic_z and y𝑦yitalic_y directions.

As Fig. 3 illustrates, the PB, deployed at the origin, is equipped with a uniform rectangular array with the same number of antennas in both horizontal and vertical dimensions, i.e., N𝑁\sqrt{N}square-root start_ARG italic_N end_ARG. Meanwhile, the path-loss for the sthsuperscript𝑠ths^{\mathrm{th}}italic_s start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user located at a distance dssubscript𝑑𝑠d_{s}italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT from the PB is modeled as βべーたs=101.6ds2.7subscript𝛽𝑠superscript101.6superscriptsubscript𝑑𝑠2.7\beta_{s}=10^{-1.6}d_{s}^{-2.7}italic_βべーた start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 1.6 end_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2.7 end_POSTSUPERSCRIPT [20], while the channel is subject to Rician fading, thus

𝐡s=κかっぱβべーたs1+κかっぱ𝐡slos+βべーたs2(1+κかっぱ)𝐡snlos,subscript𝐡𝑠𝜅subscript𝛽𝑠1𝜅superscriptsubscript𝐡𝑠lossubscript𝛽𝑠21𝜅superscriptsubscript𝐡𝑠nlos\mathbf{h}_{s}=\sqrt{\frac{\kappa\beta_{s}}{1+\kappa}}\mathbf{h}_{s}^{\mathrm{% los}}+\sqrt{\frac{\beta_{s}}{2(1+\kappa)}}\mathbf{h}_{s}^{\mathrm{nlos}},bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = square-root start_ARG divide start_ARG italic_κかっぱ italic_βべーた start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG 1 + italic_κかっぱ end_ARG end_ARG bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_los end_POSTSUPERSCRIPT + square-root start_ARG divide start_ARG italic_βべーた start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG 2 ( 1 + italic_κかっぱ ) end_ARG end_ARG bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_nlos end_POSTSUPERSCRIPT , (16)

where 𝐡slossuperscriptsubscript𝐡𝑠los\mathbf{h}_{s}^{\mathrm{los}}bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_los end_POSTSUPERSCRIPT and 𝐡snlossuperscriptsubscript𝐡𝑠nlos\mathbf{h}_{s}^{\mathrm{nlos}}bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_nlos end_POSTSUPERSCRIPT are the line-of-sight (LoS) and the NLoS channel components. Moreover, the LoS factor κかっぱ𝜅\kappaitalic_κかっぱ is set to 10101010 and we model the LoS component of the channel as 𝐡slos=𝐡sh𝐡svsuperscriptsubscript𝐡𝑠lostensor-productsuperscriptsubscript𝐡𝑠superscriptsubscript𝐡𝑠𝑣\mathbf{h}_{s}^{\mathrm{los}}=\mathbf{h}_{s}^{h}\otimes\mathbf{h}_{s}^{v}bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_los end_POSTSUPERSCRIPT = bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT ⊗ bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_v end_POSTSUPERSCRIPT, where 𝐡sh=[1,ejπぱいsinθしーたssinϕs,,ejπぱい(N1)sinθしーたssinϕs]Tsuperscriptsubscript𝐡𝑠superscript1superscript𝑒𝑗𝜋subscript𝜃𝑠subscriptitalic-ϕ𝑠superscript𝑒𝑗𝜋𝑁1subscript𝜃𝑠subscriptitalic-ϕ𝑠𝑇\mathbf{h}_{s}^{h}\!=\![1,e^{j\pi\sin{\theta_{s}}\sin{\phi_{s}}},\ldots,e^{j% \pi(\sqrt{N}-1)\sin{\theta_{s}}\sin{\phi_{s}}}\!]^{T}\!bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT = [ 1 , italic_e start_POSTSUPERSCRIPT italic_j italic_πぱい roman_sin italic_θしーた start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT roman_sin italic_ϕ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , … , italic_e start_POSTSUPERSCRIPT italic_j italic_πぱい ( square-root start_ARG italic_N end_ARG - 1 ) roman_sin italic_θしーた start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT roman_sin italic_ϕ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, 𝐡sv=[1,ejπぱいcosθしーたs,,ejπぱい(N1)cosθしーたs]Tsuperscriptsubscript𝐡𝑠𝑣superscript1superscript𝑒𝑗𝜋subscript𝜃𝑠superscript𝑒𝑗𝜋𝑁1subscript𝜃𝑠𝑇\mathbf{h}_{s}^{v}\!=\!\![\!1,e^{j\pi\cos{\theta_{s}}},\ldots,e^{j\pi(\sqrt{N}% -1)\cos{\theta_{s}}}\!]^{T}\!bold_h start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_v end_POSTSUPERSCRIPT = [ 1 , italic_e start_POSTSUPERSCRIPT italic_j italic_πぱい roman_cos italic_θしーた start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , … , italic_e start_POSTSUPERSCRIPT italic_j italic_πぱい ( square-root start_ARG italic_N end_ARG - 1 ) roman_cos italic_θしーた start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT are the horizontal and vertical LoS components, respectively, for a given elevation angle θしーたssubscript𝜃𝑠\theta_{s}italic_θしーた start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT and azimuthal angle ϕssubscriptitalic-ϕ𝑠\phi_{s}italic_ϕ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT [21]. Finally, unless stated otherwise, we consider a setup with three IoT devices respectively located at 𝐯1=[0,5, 0]Tsubscript𝐯1superscript05 0𝑇\mathbf{v}_{1}=[0,\ -5,\ 0]^{T}bold_v start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = [ 0 , - 5 , 0 ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, 𝐯2=[5, 0,5]Tsubscript𝐯2superscript5 05𝑇\mathbf{v}_{2}=[5,\ 0,\ -5]^{T}bold_v start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = [ 5 , 0 , - 5 ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, and 𝐯3=[10, 10, 5]Tsubscript𝐯3superscript10105𝑇\mathbf{v}_{3}=[10,\ 10,\ 5]^{T}bold_v start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = [ 10 , 10 , 5 ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT (all distances in meters), given Cartesian coordinates, and Esth=4mJ,s𝒮formulae-sequencesubscriptsuperscript𝐸th𝑠4mJfor-all𝑠𝒮E^{\mathrm{th}}_{s}=4~{}\text{mJ},\forall s\in\mathcal{S}italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 4 mJ , ∀ italic_s ∈ caligraphic_S.

Fig. 4 shows the PB’s energy consumption (hereinafter denoted as E𝐸Eitalic_E) vs the maximum charging time τたうmaxsubscript𝜏max\tau_{\mathrm{max}}italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT for all strategies. As expected, the all-at-once strategy provides the shortest charging time, which is approximately maxsEsthg(ϖsat)subscriptmax𝑠subscriptsuperscript𝐸th𝑠𝑔subscriptitalic-ϖsat\frac{\mathrm{max}_{s}E^{\mathrm{th}}_{s}}{g(\varpi_{\mathrm{sat}})}divide start_ARG roman_max start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_g ( italic_ϖ start_POSTSUBSCRIPT roman_sat end_POSTSUBSCRIPT ) end_ARG, since all devices are charged simultaneously. However, once 𝐏𝟐𝐏𝟐\mathbf{P2}bold_P2 becomes feasible the order-agnostic outperforms the all-at-once strategy since scheduling one device at a time maximizes its achievable conversion efficiency. Further improvements are obtained by exploiting our order-aware scheduling (at the expense of a slight increase in computational complexity), specially when N=16𝑁16N=16italic_N = 16, showing that non-scheduled devices can also harvest energy. However, as the number of antennas increases, the energy beam narrows which reduces the amount of interference at non-scheduled devices. Notice that the energy consumption curves flatten for large values of τたうmaxsubscript𝜏max\tau_{\mathrm{max}}italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT. In such a case, all the RF-EH circuits operate at their maximum efficiency input power ϖ0subscriptitalic-ϖ0\varpi_{0}italic_ϖ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT when using the time division strategies. Meanwhile, for the all-at-once strategy, only the worst-performing device according to (15) is guaranteed to operate nearly at maximum conversion efficiency.

Refer to caption
Figure 4: PB’s energy consumption vs τたうmaxsubscript𝜏max\tau_{\mathrm{max}}italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT for the time division and all-at-once charging strategies and N{16,64}𝑁1664N\in\{16,64\}italic_N ∈ { 16 , 64 }. The vertical dash-dotted lines delimit the feasible regions for both approaches.

Fig. 5 shows how the network deployment, captured by the parameter αあるふぁ𝛼\alphaitalic_αあるふぁ, can change the performance gap among all strategies.

Refer to caption
Figure 5: PB’s energy consumption vs αあるふぁ𝛼\alphaitalic_αあるふぁ for N={16,64}𝑁1664N=\{16,64\}italic_N = { 16 , 64 }, and τたうmax=8ssubscript𝜏max8s\tau_{\mathrm{max}}=8~{}\text{s}italic_τたう start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 8 s.

Mathematically, the devices’ coordinates are updated for each value of αあるふぁ[0,1]𝛼01\alpha\in[0,1]italic_αあるふぁ ∈ [ 0 , 1 ] as (1αあるふぁ)𝐯s+αあるふぁ[2.5, 2.5, 2.5]T1𝛼subscript𝐯𝑠𝛼superscript2.52.52.5𝑇(1-\alpha)\mathbf{v}_{s}+\alpha[2.5,\ 2.5,\ 2.5]^{T}( 1 - italic_αあるふぁ ) bold_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_αあるふぁ [ 2.5 , 2.5 , 2.5 ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT such that all the devices approach the common spatial point [2.5, 2.5, 2.5]Tsuperscript2.52.52.5𝑇[2.5,\ 2.5,\ 2.5]^{T}[ 2.5 , 2.5 , 2.5 ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT as αあるふぁ𝛼\alphaitalic_αあるふぁ increases. Notice that, increasing the number of antennas reduces the performance gap between the time division strategies as a result of a narrower energy beam. Moreover, when all devices are deployed near each other, around αあるふぁ=0.9𝛼0.9\alpha=0.9italic_αあるふぁ = 0.9, the order-aware scheduling and the all-at-once strategies significantly outperform the order-agnostic scheduling approach. The poorer performance of the order-agnostic scheduling is due to the non-negligible harvested energy at the non-scheduled devices, which is not accurate when all devices are deployed close to each other, separated explicitly by sub-wavelength distances, and a single beam efficiently charges all devices simultaneously. Additionally, observe that under such conditions even the order-aware can become sub-optimal with respect to the all-at-once strategy, specially when N=64𝑁64N=64italic_N = 64 for which harvesting from non-intentional charging becomes less feasible.

VI Conclusions

We proposed an energy-efficient time division RF-WET strategy to charge an IoT network using analog beamforming. To this end, we demonstrated that for the point-to-point RF-WET scenario fitting the transfer function of the RF-EH circuit in the interval between maximum conversion efficiency and saturation suffices for computing the optimal power/time allocation. Results evinced the outstanding performance of the proposed strategy, which improves as the number of transmit antennas increases. Nevertheless, we acknowledge the limitations of this scheme when the network has urgent energy demands, or the number of devices grows massive. Moreover, our findings show that all-at-once strategy is appealing when the devices are tightly spatially clustered. As a result, we leave the problem of developing a scheduling algorithm combining both strategies’ advantages as future work.

Reproducible research: The simulation results can be reproduced using the Matlab code available at: https://github.com/Osmel-dev/EE-analog-beamforming-WET

References

  • [1] M. A. Ali and A. Jamalipour, “Dynamic aerial wireless power transfer optimization,” IEEE Trans. Veh. Technol., vol. 71, no. 4, pp. 4010–4022, 2022.
  • [2] X. Yuan, H. Jiang, Y. Hu, and A. Schmeink, “Joint analog beamforming and trajectory planning for energy-efficient UAV-enabled nonlinear wireless power transfer,” IEEE J. Sel. Areas Commun., vol. 40, no. 10, pp. 2914–2929, 2022.
  • [3] Y. Liang, M. Yin, Y. Zhang, W. Wang, W. Jia, and T. Wang, “Grouping reduces energy cost in directionally rechargeable wireless vehicular and sensor networks,” IEEE Trans. Veh. Technol., pp. 1–12, 2023.
  • [4] J. Chen, C. Yi, R. Wang, K. Zhu, and J. Cai, “Learning aided joint sensor activation and mobile charging vehicle scheduling for energy-efficient WRSN-based industrial IoT,” IEEE Trans. Veh. Technol., vol. 72, no. 4, pp. 5064–5078, 2023.
  • [5] H. Alves and O. A. Lopez, Wireless RF Energy Transfer in the Massive IoT Era: Towards Sustainable Zero-energy Networks.   John Wiley & Sons, 2021.
  • [6] UN General Assembly, “Transforming our world : the 2030 agenda for sustainable development,” https://www.refworld.org/legal/resolution/unga/2015/en/111816, 2015, A/RES/70/1, 21 October 2015 [Accessed 18 March 2024].
  • [7] O. L. A. López, H. Alves, R. D. Souza, S. Montejo-Sánchez, E. M. G. Fernández, and M. Latva-Aho, “Massive wireless energy transfer: Enabling sustainable IoT toward 6G era,” IEEE Internet Things J., vol. 8, no. 11, pp. 8816–8835, 2021.
  • [8] R. Palisetty, G. Eappen, J. L. G. Rios, J. C. M. Duncan, S. Domouchtsidis, S. Chatzinotas, B. Ottersten, B. Cortazar, S. D’Addio, and P. Angeletti, “Area-power analysis of FFT based digital beamforming for GEO, MEO, and LEO scenarios,” in VTC-Spring, 2022.
  • [9] J. Park, S. Lee, J. Chun, L. Jeon, and S. Hong, “A 28-GHz four-channel beamforming front-end IC with dual-vector variable gain phase shifters for 64-element phased array antenna module,” IEEE J. Solid-State Circuits, vol. 58, no. 4, pp. 1142–1159, 2023.
  • [10] C. Zhang, S. Shen, Z. Han, and R. Murch, “Analog beamforming using ESPAR for single-RF precoding systems,” IEEE Trans. Wirel. Commun., vol. 22, no. 7, pp. 4387–4400, 2023.
  • [11] M. Ataeeshojai, R. C. Elliott, W. A. Krzymieǹ, C. Tellambura, and J. Melzer, “Energy-efficient resource allocation in single-RF load-modulated massive MIMO HetNets,” IEEE Open J. Commun. Soc., vol. 1, pp. 1738–1764, 2020.
  • [12] S. Zhang, C. Guo, T. Wang, and W. Zhang, “ON–OFF analog beamforming for massive MIMO,” IEEE Transactions on Vehicular Technology, vol. 67, no. 5, pp. 4113–4123, 2018.
  • [13] B. Clerckx, K. Huang, L. R. Varshney, S. Ulukus, and M.-S. Alouini, “Wireless power transfer for future networks: Signal processing, machine learning, computing, and sensing,” IEEE J. Sel. Topics Signal Process., vol. 15, no. 5, pp. 1060–1094, 2021.
  • [14] Powercast, “Product datasheet P2110-915 MHz RF Powerharvester receiver,” p. 7, 2015. [Online]. Available: https://www.powercastco.com/wp-content/uploads/2016/11/p2110-datasheet-rev-b.pdf
  • [15] S. Boyd and L. Vandenberghe, Convex optimization.   Cambridge University Press, 2004.
  • [16] Y. Nesterov and A. Nemirovskii, Interior-point polynomial algorithms in convex programming.   SIAM, 1994.
  • [17] R. Dong, B. Shi, X. Zhan, F. Shu, and J. Wang, “Performance analysis of massive hybrid directional modulation with mixed phase shifters,” IEEE Trans. Veh. Technol., vol. 71, no. 5, pp. 5604–5608, 2022.
  • [18] L. Jiang and H. Jafarkhani, “Multi-user analog beamforming in millimeter wave MIMO systems based on path angle information,” IEEE Trans. Wireless Commun., vol. 18, no. 1, pp. 608–619, 2019.
  • [19] O. L. A. López, F. A. Monteiro, H. Alves, R. Zhang, and M. Latva-Aho, “A low-complexity beamforming design for multiuser wireless energy transfer,” IEEE Wireless Commun. Lett., vol. 10, no. 1, pp. 58–62, 2021.
  • [20] A. Goldsmith, Wireless communications.   Cambridge University Press, 2005.
  • [21] C. A. Balanis, Antenna theory: analysis and design.   John Wiley & Sons, 2015.