- Research
- Open Access

# Smart home gateway system over Bluetooth low energy with wireless energy transfer capability

- Olga Galinina
^{1}Email author, - Konstantin Mikhaylov
^{2}, - Sergey Andreev
^{1}, - Andrey Turlikov
^{3}and - Yevgeni Koucheryavy
^{1}

**2015**:178

https://doi.org/10.1186/s13638-015-0393-3

© Galinina et al. 2015

**Received:**20 September 2014**Accepted:**20 May 2015**Published:**20 June 2015

## Abstract

As billions of sensors and smart meters connect to the Internet of Things (IoT), current wireless technologies are taking decisive steps to ensure their sustainable operation. One popular IoT scenario features a smart home service gateway, which becomes the central point of user’s home environment facilitating a multitude of tasks. Given that most IoT devices connected to residential gateway are small-scale and battery-powered, the key challenge is to extend their lifetime without recharging/replacing batteries. To this end, a novel radio technology named Bluetooth low energy (BLE) has recently been completed to enable energy-efficient data transfer. Another inspiring innovation is the capability of sensors to harvest wireless energy in their local environment. In this work, we envision a scenario where many in-home sensors are communicating with a smart gateway over the BLE protocol, while at the same time harvesting RF energy transmitted from the gateway wirelessly via a dedicated radio interface. We thoroughly investigate performance limitations of such wireless energy transfer interface (WETI) with dynamic analytical model and with important practical considerations. Our methodology delivers the upper bound on WETI operation coupled with BLE-based communication, which characterizes ultimate system performance over the class of practical radio and energy resource management algorithms.

## Keywords

- Internet of Things
- Wireless energy transfer
- Bluetooth low energy
- Sensors
- Smart home gateway

## 1 Introduction and background

Industry experts predict that on the order of 50 billion unattended devices be connected to the Internet by the year 2020, thus bringing revolutionary changes to how people, business, and society interact [1]. Such massive connectivity enables a plethora of emerging applications, ranging from utilities and vehicular telematics to healthcare and consumer electronics. Consequently, wireless technology has recently taken decisive steps to ensure sustainable operation of diverse Internet of Things (IoT) applications. As a response, mobile network operators are beginning to deploy novel IoT solutions allowing their customers additional degrees of control over already familiar environments.

One very attractive customer scenario is a smart home system, where residential gateways have already been used to provide broadband connectivity, quality of service (QoS), and software applications to the end users. As these systems evolve, operators foresee that *smart home service gateway* will be increasingly employed to control a wide variety of additional user functions, from home energy management and automation to social media interaction, connected storage, as well as multi-device printing and media streaming [2]. Hence, smart home gateway (HG) is becoming the central point of user’s home environment, and it is deemed increasingly important to ensure its flexible and stable operation.

Given that the majority of sensors, actuators, and smart meters connected to the smart HG are small-scale and battery-powered, the paramount concern in delivering sustainable home networking is energy efficiency. Indeed, the incentive to achieve all-time wireless connectivity should not, ideally, compromise the need to preserve the battery life of small-scale wireless sensors and maximize their operation time without recharging. With this constraint, intricate performance trade-offs arise between an individual device and the entire network. Ultimately, the goal of respective research is to not just extend device battery lifetime in order to provide a better user experience but also to be efficient with energy as a resource within a broader system and environmental context.

To this end, several exciting innovations have recently emerged, which become very relevant in the context of smart HG scenario. One of them is the introduction of novel energy-efficient technology for wireless sensor networks, named Bluetooth low energy (BLE). The BLE has become a result of Bluetooth Core Specification 4.0 [3] in 2010. The major purpose of developing the protocol was to enable transceivers with lower power consumption, reduced complexity, and more competitive price than the ones available with the classic Bluetooth [3, 4]. Although BLE operates in the same 2.4 GHz band and has inherited some features of the classical Bluetooth, the two technologies are not compatible [5, 6].

The initial studies (e.g., [5–7]) have shown that BLE technology can provide 1.5–2 times higher throughput, is more energy efficient, and has lower cost compared to alternative market solutions (e.g., IEEE 802.15.4). Another significant benefit of BLE, which is likely to boost its utilization even further, is its compatibility with most of mobile phones, tablets, and computers available on the market today. As the result, in the recent years, the majority of large consumer electronics manufacturers has started to replace in their product radio transceivers supporting only Bluetooth Classic with the ones compatible with both Bluetooth Classic and BLE (see e.g., [8] for the list of existing devices).

Another crucial innovation, which has captured the interest of academia and industry alike, is the *energy harvesting* capability of modern wireless equipment, driven by the evolution of ultra low-power electronics. With energy harvesting, devices may scavenge additional energy from the ambient environment, including solar power, electromagnetic waves, thermal energy, wind energy, salinity gradients, and kinetic energy [9]. The challenges and constraints faced by energy harvesting devices differ from those faced by devices powered by conventional energy sources and thus bring a fundamental shift in design principles compared to traditional systems with battery-operated devices [10].

Recent literature has already captured a rich set of unique energy harvesting features: the intermittent nature of harvested energy [11], the limited capacity and leakage of energy storage devices [12], as well as the constraints on device complexity [13]. Existing publications differ in their target scenarios (single, multiple, and cooperative links) [14, 15], various optimization targets and approaches (e.g., on-line vs. off-line optimization) [16, 17], key practical constraints (battery capacity and leakage, circuit power consumption, etc.) [18], as well as energy arrival considerations (continuous vs. discrete flows) [19]. Most recently, radio engineers have shown the possibility for a mobile device to use the excess availability of RF energy present in its local environment. Some call this the true future of energy harvesting technology, when a user does not need to charge the mobile device and only replaces a battery whenever it quits recharging [20].

The overview of the recent advances related to far-field wireless power transfer is presented in [21], where the authors focus on architectures of wireless energy receivers and compare the energy conversion efficiencies of the state-of-the-art hardware implementations. Moreover, [22] provides a comprehensive survey of the various energy transfer techniques and overviews a wide variety of design issues related to wireless power transfer and its practical applications. The paper discusses in detail the cases of single- and multi-hop energy transfer, presents the results, and discusses the capabilities of using multi-antenna wireless energy receivers and transmitters, as well as analyzes the perspectives of constructing RF-powered cognitive networks. The problem of optimizing the waveform for improving efficiency of wireless power transfer has been explored in [23].

It has been shown that the signals featuring high peak-to-average power ratio (PAPR) are able to improve RF-DC conversion efficiency in rectifier circuits. Several real-life RF-powered applications for different practical scenarios have recently been implemented and described in [24–26]. Particularly, in [24], the authors describe a biomedical sensor/actuator implanted in human body which is remotely powered by a sink located on the body surface. The solution provided by [25] scavenges ambient energy from AM band and buffers it for further use by structural health monitoring wireless sensor. The authors claim that their scavenger could operate having the input radio signal as weak as −39 dBm. Finally, in [26], the authors present a battery-less WSN transceiver featuring simultaneous energy and information transfer, where the transceiver receives energy and data requests in 915 MHz downlink channel and replies in 2.45 GHz uplink channel.

*upper bound*on wireless energy harvesting capability by the sensors, which reveals the limits of any practical energy distribution mechanism. Particularly, we aim at evaluation of the key system parameters, such as overall data delay, as well as the probability of battery drain (power outage), and the average level of remaining battery power.

Fundamentally, there exist two possibilities for the analysis of our system, namely, discrete and *hybrid* continuous/discrete approaches, which differ in the properties of energy circulation process. Discrete techniques have been widely studied in the past literature, while hybrid techniques may be preferred when dealing with small granularity (which would otherwise result in prohibitive number of discrete states) and require solving a system of differential equations. A comprehensive overview of hybrid techniques (fluid models) may be found in [27]. Further, the work in [28] offers a general overview of fluid systems and numerical approaches to analyze them, while [29] describes in detail many special case problems for more general systems. Given the peculiarities of the considered smart home deployment, we focus on offering a hybrid fluid model in the course of this paper.

- 1.
A novel concept design of a smart home system, featuring BLE-based communication and wireless energy transmission from a residential gateway to the battery-powered sensors. The proposed architecture is novel and may be attractive for future commercial deployments.

- 2.
A dynamic flow-level 3D model for spatial sensor deployment and communication, which is more adequate for evaluating the data and energy transfer capabilities. Such model, when sensors are assumed to be located within a sphere, is a step ahead by contrast to past 2D models, full-buffer traffic assumptions, and symmetric systems where channel characteristics remain constant.

- 3.
An

*oracle-assisted*upper bound corresponding to the best-case energy acquisition and consumption, which allows to quantify the*optimistic regions*of the system operation, hence characterizing ultimate system performance over the class of practical radio and energy resource management algorithms. - 4.
A detailed technical discussion on the state-of-the-art communication and energy transfer capabilities with contemporary wireless technology. In particular, it reveals the practical limitations of wireless energy transfer, major impediments to sustainable energy operation, as well as indicates the way forward.

The rest of the text is organized as follows. Section 2 introduces the primary assumptions of the proposed system model, while Section 3 details our mathematical approach to characterize the system under study. Further, Section 4 summarizes the technology-related discussions on practical limitations of information and energy transfer, followed by some numerical results and conclusions.

## 2 Proposed dynamic system model

In this section, we introduce our integrated mathematical model, which captures system dynamics, spatial distribution of the sensing nodes, as well as wireless energy transfer/harvesting capabilities. The proposed system model is a powerful abstraction able to shed light on the operation of a realistic wireless network with rechargeable transmitters. We summarize the core assumptions of the model in what follows.

Our proposed model investigates the *flow-level dynamics* of a centralized wireless sensor network observed in stationary conditions. This network comprises a fixed number *M* of wireless devices performing the sensing functionality, that is, collecting temperature, motion, utility usage, or any other data, depending on the particular smart home application. The sensors are spatially distributed around the smart HG (home gateway) as shown in Fig. 1.

###
**Assumption**
**1**.

To characterize the averaged system performance *spatially*, we employ a stochastic spatial model in contrast to imposing fixed sensor locations. To this end, we assume that the locations of the sensors are driven from a Poisson point process (PPP) onto \(\mathbb {R}^{3}\).

###
**Assumption**
**2**.

*r*(according to the BLE protocol, see Section 4). Secondly, each sensor node hosts a separate wireless energy transfer interface (WETI), which harvests energy of the radio signal from the gateway and stores it in the rechargeable battery.

Generally, BLE communication enables both uplink (from sensors to smart HG) and downlink (reverse) data transmissions, but for the purpose of exposition, we omit the consideration of downlink direction thus focusing solely on uplink traffic. The downlink communication may easily be taken into account by means of considering the necessary BLE timings (as detailed in Section 4).

###
**Assumption**
**3**.

The smart HG is equipped with multiple BLE transceivers that enable the gateway to handle up to *K* simultaneous data links at a time (see Fig. 2
a). We further assume that the BLE transceivers at the gateway are synchronized and do not interfere with each other. The gateway additionally hosts a WETI radio that can share/transfer electromagnetic energy to the sensors and thus refill their power supply (see Section 4 for related practical considerations).

For the sake of notation, we term the sensor *active*, if it has some sensed data to transmit, or *inactive* otherwise.

###
**Assumption**
**4**.

Once a sensor acquires data to transmit, it enters the active state and remains there until these data are transmitted successfully (i.e., served by the gateway). We assume that an *inactive* sensor may generate new data of random size with the mean rate *λ*. The size of data is exponentially distributed with the average of *μ*
^{−1}.

In practice, once sensed data have arrived, the reporting sensor begins to send advertisement packets in the BLE advertisement channels (see Section 4 for detailed description) to notify the HG, which is subject to some delay. The gateway then constructs a particular schedule to serve these data by employing the available (unoccupied) data channels. The corresponding scheduling algorithm is typically implementation-specific and rather complex, attempting to ensure that the system operates with the highest possible efficiency.

To abstract away the intricate features of practical scheduling and provide good first-order understanding of the BLE operation with WETI capability, we seek to offer an *optimistic estimate* of the system operation. Correspondingly, we consider that the gateway is capable of constructing the optimal (in some sense) transmission schedule for the active sensors and that the use of advertising channels to do so does not impose overhead on the system. We thus arrive at an upper bound on any practical radio resource management algorithm.

Following such optimal schedule, the gateway establishes the connections with different sensors using the available channels. If there is no available channel for a newly activated sensor, it should be *waiting* for service according to the FIFO discipline. Once all the sensed data are forwarded to the HG, the sensor returns to inactive mode until the next activation. We further emphasize that the data transmission (service) time is strongly dependent on their size, as well as on the employed transmission rate.

###
**Assumption**
**5**.

In certain conditions, the connection between a sensor and the gateway may be closed during service (e.g., due to transmission link errors, etc.) after some time, which we assume random and exponentially distributed with the average of *ν*
^{−1}.

Further, we consider a rate-power function, which characterizes the data rate achievable at some transmit power level by a particular modulation and coding scheme.

###
**Assumption**
**6**.

*p*of a sensor and its corresponding data rate

*r*are coupled by the Shannon’s formula:

where *p* is the output power of the RF power amplifier, *w* is the channel bandwidth, and *N*
_{0} is the noise power.

The parameter *γ* stands for the channel gain, and it is assumed to be proportional to some power function of the distance *d* between the transmitter and the receiver. We intentionally omit the consideration of fading effects, focusing on the long-term averages, as dictated by our problem formulation.

###
**Assumption**
**7**.

*γ*, we impose a respective upper bound, such that the signal propagation is defined by:

where *G* is the propagation constant, *k* is the propagation exponent. We note that *γ*
_{
max
} characterizes the maximum level of SNR at the distance \(d_{0} = \left (\frac {G}{\gamma _{\textit {max}}} \right)^{\frac {1}{k}}\), so that its further increase does not impact the achievable data rate.

*p*

_{min}and

*p*

_{max}, respectively). Interestingly, the value of

*p*

_{max}defines the strict border on the distance between the sensors and the gateway. Equivalently, all sensors able to maintain the required data rate

*r*should be positioned within a sphere of radius

*R*:

Additionally, from Assumption 1 on the PPP follows the uniform distribution in a certain area. Therefore, we may further consider that all of the sensors are uniformly distributed within the sphere of radius *R*.

By contrast to much conventional research, our model also enables a more detailed consideration of the power consumption based on a particular device profile.

###
**Assumption**
**8**.

Therefore, we assume the following levels of power consumption at the sensor:

(i) transmit power consumption *P*
_{
tx
}=*p*+*P*
_{
c
}, as long as the sensor is sending data, where *p* is the radiated power and *P*
_{
c
} is the constant circuit power;

(ii) active power consumption *P*
_{
a
}, when the sensor has some data and awaits service;

(iii) inactive power consumption, when the sensor has no data to transmit, which is assumed to be zero without loss of generality.

*P*

_{ tx }and

*P*

_{ a }, we also employ the following model for energy replenishment (see Fig. 3). Generally, the WETI of a sensor converts the received RF energy to electrical energy, which is then stored in a rechargeable battery. Since the corresponding wireless technology is not widely available at the moment, below we assume a generic operation of the respective energy harvesting mechanism to provide a first-order evaluation. It can be further tailored to any practical operation, when the details of a particular energy transfer technology are known.

###
**Assumption**
**9**.

We further assume that all the sensors may be split into *L*≥1 classes by the volume of the harvested RF energy *h*
_{1},…,*h*
_{
L
}, which are dependent on the particular WETI technology, as well as on the distance between the gateway and the sensor. For the energy replenishment process, we assume similar propagation parameters differentiating them with the index *H* (e.g., *k*
_{
H
}, *G*
_{
H
}, etc.).

The introduction of *L* classes reflects our intuition on that the volume of energy harvested by WETI drops with the increasing distance (if the energy transfer parameters at the gateway are fixed). However, the actual energy degradation parameters, as well as the exact practical number of such classes may be difficult to define before corresponding systems are implemented as prototypes (even though we share some of our thinking on this in Section 4). Regardless of the final properties shown by WETI, we propose that the system would realize priority service for the sphere edge sensors to balance the harvested/transmitted energy in the system.

To continue with the *optimistic estimate* for the power consumption/replenishment analysis, we consider that the system is managed by an *oracle*, which collects all the harvested energy by the sensors energy into a *common* rechargeable battery (buffer) of capacity *B* and then distributes it between the active sensors (see Fig. 3). Even though in a practical system such rechargeable batteries naturally belong to individual sensors, the assumption of a shared energy storage allows us to construct an upper bound on the feasible energy management mechanisms.

Generally, the total energy inflow into the oracle’s energy buffer should be modeled by an appropriate random process for the given type of energy source (e.g., WETI type). Here, to provide an initial evaluation, we assume that such replenishment process is continuous with the rate of *h*
_{
l
} for the sensor of class *l*. Finally, the harvested energy is instantaneously stored in the common buffer and may be spent immediately after.

## 3 Our mathematical approach

The proposed analytical approach is constructed as follows. First, we address the spatial system features and deliver the stationary distribution of distances between the sensors and the gateway. This distribution translates into the respective distributions of transmit powers, as well as levels of harvested energy, depending on the distance to the gateway. Further, we provide an underlying solution, characterizing system behavior without energy replenishment accounted for, which essentially is the baseline Markov process. In some special cases (e.g., when all sensors belong to the same energy replenishment class, *L*=1), this process may be reformulated as one-dimensional birth-death process, or as an *L*-dimensional process for *L*>1. Basing on such process, we introduce a *Markov process-driven fluid queue model* of energy level evolution, which captures data transmission together with energy expenditure/replenishment processes.

### 3.1 Spatial characteristics

Given that the sensors are distributed in the 3D space around the gateway (see our system model in Section 2), we begin with calculating their average power consumption in the system. To this end, the distribution of the individual transmit powers may be given as follows.

###
**Proposition**
**1**.

###
*Proof*.

*R*centered at the gateway. Hence, we obtain the distribution of distances between a sensor and the gateway, that is, the distance between a random point within the sphere and its center. Due to the uniform distribution, the probability density function of sensor coordinates

*f*(

*x*,

*y*) is defined as:

We also remind that the transmit power consumption is lower-limited by *p*
_{min}. Without loss of generality, we specify that *d*
_{0} (or *γ*
_{max}-limited SNR, see above) corresponds to *p*
_{min} (otherwise, it can be forced by updating, e.g., *d*
_{0} to the maximum value).

and the individual power distribution may be given by (4).

We emphasize that in case when *i* independent sensors are active, the total consumed power is determined by the random value *y*
_{
i
}, where \(y_{i} =\sum _{n=1}^{\min (i,K)} p_{n}\) is the sum of random variables, the distributions of which we already know. The straightforward convolution of *K* distributions at hand is an intricate technical problem, and therefore, we suggest an alternative approach. Correspondingly, we calculate the convolution of two random variables and then investigate the distribution of *y*
_{
i+1}=*y*
_{
i
}+*p*, given that *y*
_{
i
},*i*≥2 may be approximated by the normal distribution. Using the expectation and the variance from (5)–(6) only, we arrive at a tight approximation for the distribution \(F_{y_{i}}(y_{i})\) and the corresponding expectation *E*[*y*
_{
i
}], which we do not detail in the paper due to the simplicity of its calculation.

###
**Generalization**
**1**.

Importantly, by similar reasoning, we may characterize the *arbitrary distribution* of sensors around the gateway, if required in practice.

*i*sensors in service (as we were not focusing on those actively waiting, but on those transmitting), we find the

*random*power consumption

*P*

_{ i }for

*i*sensors. Then, we include into consideration both transmit and circuit power levels of the

*random*transmitting sensors, as well as the active power of the waiting sensors:

where *i*
_{0}= min(*i*,*K*) is the number of transmitting sensors and *p*
_{
n
} is the transmit power of a random sensor *n* located at a particular point. We remind that during the data transmission by the tagged sensor, the rest (*i*−1) sensors remain active according to the BLE operation and consume *P*
_{
a
} power units.

###
**Proposition**
**2**.

*total system*power consumption \(\bar {p}_{i}\) may be determined by averaging the sum of point-dependent levels

*p*

_{ n },0≤

*n*≤

*i*of individual sensor power consumptions:

where \(y_{i} \,=\,\sum _{n=1}^{i}\! p_{n}\) is the sum of random transmit powers.

###
**Generalization**
**2**.

*L*>1, there are simultaneously

*i*=

*i*

_{1}+…+

*i*

_{ L }sensors of different energy replenishment classes in the system. Then, the spatially averaged power distribution would be dependent on the discipline of sensors’ service. For example, assuming priority in serving the sphere edge sensors, where the energy class corresponds to the priority class (i.e., worse energy conditions yield higher service priority), we arrive at the following formulation:

where \(E_{s}[y_{i}] \!=E\left [\sum _{n=1}^{i}\! p_{n}\right ]\) is the expectation of the sum of random transmit powers across a given energy class. The solution for the system under this or any similar condition constitutes a separate technical problem and remains out of scope of this paper.

### 3.2 Underlying Markov process

In what follows, we incorporate a dynamic component into the static spatial model detailed above and apply the theory of Markov processes to analyze our system in its *stationary mode*. Hence, we consider the system at the embedded points, corresponding to the data arrivals and departures. According to the system model in Section 2, the data service time has an exponentially distributed random boundary with the rate *ν*, which gives a combination of service rates.

###
**Proposition**
**3**.

*N*(

*t*) constitutes the one-dimensional birth-death process (BDP, see “horizontal” process in Fig. 4) with the following transitions:

*Q*(

*x*)∈

**R**

^{(M+1)×(M+1)}, conditioning on the particular level of energy

*x*>0, does not depend on

*x*and is given as:

*M*/

*M*/

*K*/

*M*/

*M*model. In the range 0≤

*n*≤

*K*<

*M*, we obtain:

*K*≤

*n*≤

*M*, the stationary probabilities are:

###
**Generalization**
**3**.

Accounting for *several classes* of energy replenishment, we transform the BDP into an *L*-dimensional Markov process. Therefore, such finite Markov process has (*M*+1)^{
L
} states and the corresponding infinitesimal generator *Q* has to be updated accordingly.

*L*>1) may be defined as:

where *q*
_{
j
} is the probability that a sensor belongs to class *j*.

Even for the case of two classes, it is not straightforward (however, possible) to analyze the corresponding system in the closed form. The following approach allows numerical derivation of the system parameters for the arbitrary number of classes *L*.

### 3.3 Fluid queue model

Here, we concentrate on characterizing the energy-related properties of our system. We remind that every sensor is equipped with a rechargeable battery of volume *B*, which may provide energy for communication, as well as recharge with the energy harvested from the gateway by WETI. That, all together, may be represented as a *fluid queue* driven by the above BDP with the state *N*(*t*). Hence, we describe the fluid model by the process *S*(*t*)={*N*(*t*),*X*(*t*);*t*≥0} describing the state of the fluid queue with a single (common) energy buffer of the oracle, where *X*(*t*)∈[0,*B*] is the fluid level of the energy buffer at time *t* and *B* is the maximum fluid level (see example in Fig. 4). We note that the system driven by the one-dimensional process may be extended for the case of *L*>1.

*π*(

*x*) and the fluid mass function

*c*(

*x*) as:

*B*), the following system of the ordinary differential equations (ODE) should be satisfied:

*q*

_{ ij }is an element of the infinitesimal generator matrix

*Q*,

*π*(

*x*) ∈

**R**

^{1×(M+1)}is the transposed vector of stationary fluid density at the corresponding state,

*R*∈

**R**

^{(M+1)×(M+1)}is the diagonal matrix consisting of elements

*r*

_{ i }, and

*r*

_{ i }is the fluid rate at the state

*i*. The fluid rate equals to:

where *h*=*M*
*h*
_{1} is the average total harvested energy in case of *L*=1 energy replenishment classes. For the case of *L*>1, *r*
_{
i
} is recalculated accordingly.

Importantly, in case of unconstrained energy supply we may set \(\frac {d}{dx} \pi (x) = 0\). Therefore, the equation (9) transforms (for the stationary mode) into a system of linear equations, which follows from Chapman-Kolmogorov equations of Markov process described above and may be solved easily.

###
**Proposition**
**4**.

We assume here that the spatial distribution and the service process are independent, which may not seem practical, but in the longer-term and averaged across space yields similar results. Therefore, in our analysis we abstract away the exact history of sensor arrivals and departures. The latter effectively translates into the assumption that the distribution of powers by the transmitting sensors is time-independent and we consider all the transmitting sensors at the state *i* to be distributed according to (4). The spatially-averaged power consumption is calculated according to Proposition 2.

Furthermore, we note that the rate *r*
_{
i
} depends on the number of active sensors and does not depend on the fluid level and, hence, continuous. Otherwise, it is possible to address a number of particular cases according to [29].

###
**Generalization**
**4**.

*d*

_{1},…,

*d*

_{ L−1}, where

*d*

_{ L }=

*R*, with the harvested power

*h*

_{1},..,

*h*

_{ L }, we may further calculate the average harvested energy for the system

*E*[

*h*] by taking into account the distribution of sensors from different energy classes. By derivations similar to those in Proposition 2, we may estimate the average transmit power consumed by

*i*sensors of a given class

*l*basing on:

*l*may be found by using:

*B*, which may be obtained similarly to [28]:

The boundary conditions in (11) constitute an intricate part of our solution. In Appendix, we detail the proposed approach to establish the boundary conditions, solve a corresponding system of differential equations minding the specific operation of our system, and finally obtain the stationary probability distribution *π*(*x*) (27) and the probability mass functions *c*(0),*c*(*B*) (26).

*number of active sensors*as:

Here, we omit a separate consideration of *λ*=0 (all the corresponding integrals may be easily obtained for the term *α*
_{
i
}
*ϕ*
_{
i
} instead of \(\phantom {\dot {i}\!}{\alpha _{i}}\phi _{i} e^{\lambda _{i}x}\)).

*π*(

*x*), we produce the average number of active sensors \(\bar {N}\) and the average data delay \(\bar {T}\) as:

*x*(26):

## 4 Summary of technology-based considerations

This section summarizes our considerations on the state-of-the-art BLE technology and how it translates to our system model in Section 2, as well as on the potential performance of wireless energy transfer. In particular, we investigate the technology-related limitations of WETI together with the most prominent solutions to improve its performance.

### 4.1 Communication over BLE technology

The below text describes the operation of the BLE technology in more detail, so that to substantiate the system model built in Section 2. On the physical layer (PHY), BLE operates in the unlicensed industrial, scientific, and medical (ISM) 2.4 GHz band and uses the Gaussian frequency shift keying (GFSK) with the bandwidth-time product equal to 0.5 and the symbol rate of 1 mega-symbol per second. This leads to a fixed transmission rate *r* in Assumption 2.

For a BLE transmitter, according to the current specification [3], the power of output radio signal should range from −20 to +10 dBm and the sensitivity level of the BLE receiver should be below −70 dBm, which translates to the limits *p*
_{min} and *p*
_{max} on the allowed transmit power. In order to simplify the design of the transceivers, the maximum length of PHY BLE packets with all the headers is set at 47 bytes [6].

The available frequency band is divided into 40 2-MHz wide channels. Three of the channels are assigned specifically for advertising and discovery of the services and are called *advertising channels*. The remaining 37 *data channels* might be used for peer-to-peer data transfers. We envision that in practice, fewer channels may actually be available for smart home operation (as some of the channels may be reserved by the human user) and thus arrive at the variable number of channels *K* in Assumption 3. The data transfer between BLE devices is bound to time units known as advertising and connection events.

*initiator*) is received, the two devices start peer-to-peer connection in the data channels. Depending on the specifics of the implementation and the application, a BLE advertiser might either send its advertisements in a single advertising channel or sequentially switch between different advertising channels. The minimum time period between the starts of two consecutive advertising events is defined as:

*master*and the

*advertiser*becomes the

*slave*. As shown in Fig. 6, at the beginning of each connection event (referred to as the connection event anchor point), the used radio channel is changed following the pre-agreed sequence. The communication in each connection event is started by the master, which sends a frame to the slave. The master and the slave alternate sending the frames on the same data channel while at least one of the devices has data to transmit or until the end of the current connection event. This yields our assumption on non-interfering and synchronous data channels in Assumption 3.

In the case if either the master or the slave receives two consecutive frames with CRC errors, the connection event is closed. The same happens if either device misses a radio packet. Once the connection event is closed, both master and slave might switch to low-power mode up to the start of the next connection event. The parameters of the connection (e.g., the connection event interval – *connInterval* or the list of used data channels) might be updated dynamically. The connection is closed either by the devices once the link is not required any more or automatically due to the connection timeout (ranges from 100 ms to 32 s). All of the above motivates our Assumption 5 on the connection closing interval.

In more detail, the timing of connection events is determined using two parameters, namely, the *connInterval*, and the slave latency (*connSlaveLatency*). The connInterval is a multiple of 1.25 ms and has values ranging from 7.5 ms to 4.0 s. The connSlaveLatency (connSlaveLatency≤500) defines the maximum number of consecutive connection events in which a slave device is not required to listen to the master and enables energy saving. The period between the frames on the same data channel is equal to the Interframe Space period (IFS) set at 150 *μ*
*s*. The maximum link layer (LL) payload of a BLE data frame is just 27 bytes [6, 30]. These timings help us produce numerical results in the following section.

### 4.2 Technical limitations of wireless energy transfer

The state-of-the-art on the radio energy powered radios today is well illustrated by Figure 1 in [31]. Accordingly, to enable wireless energy transfer, the power of the received radio signal should be above −30 dBm. The reason for this is that less powerful radio signals are unable to provide the minimum voltage required to commutate the stages of diode rectifiers, which are used for retrieving the energy of the received radio signal.

Another major challenge related to wireless energy harvesting/transfer is that the efficiency of RF-DC conversion strongly depends on the power of the received radio signal (see, e.g., Figures 17 and 19 in [32] or Figure 3 in [33]). Whereas the latter problem has been partially solved in [34] by employing rectifiers with the reconfigurable number of stages, the efficiency of corresponding systems still does not exceed 60 %.

Finally, in practical cases, the efficiency of energy transfer from the rectifier’s output to the energy buffer is also below 100 %, and it varies for different rectifier output voltages (e.g., the work in [35] indicates the best-case efficiency of around 90 %).

In light of the above technological limitations and accounting for the restrictions by the frequency regulation agencies (i.e., Finnish Communications Regulatory Authority, FICORA) on the use of the unlicensed ISM channels [36], we decided to investigate the following important questions: a) which frequency bands would be most attractive for WETI (wireless energy transfer interface), b) what is the maximum feasible distance of wireless energy transfer, and c) what is the actual amount of energy one can potentially transfer from the home gateway to the sensors.

Input parameters for WETI efficiency calculations

Receive antenna: | Halfwave dipole |

Radio propagation model: | Friis equation |

Min power of received RF signal enabling WETI: | −30 dBm |

Efficiency of the rectifier (RF-DC conversion): | 30 % |

Energy storing efficiency (DC to capacitor): | 90 % |

Expected efficiency of practical WETI operation

Frequency band | |||||||
---|---|---|---|---|---|---|---|

5725–5875 MHz | 2400–2483.5 MHz | 869.4–869.65 MHz | 433.05–434.79 MHz | 138.2–138.45 MHz | 40.66–40.79 MHz | 26.85–27.255 MHz | |

Maximum duty cycle, % | 100 | 100 | 10 | 100 | 10 | 100 | 100 |

Maximum power, mW | 25 EIRP | 10 EIRP | 500 ERP | 10 ERP | 500 ERP | 500 ERP | 500 ERP |

Antenna length, cm | 2.6 | 6.1 | 17.2 | 34.5 | 108.5 | 368.6 | 555.6 |

Maximum distance between gateway and sensor for WETI, m | 0.8 | 1.2 | 31.8 | 9 | 200 | 680 | 1025 |

Amount of power transfered into energy and buffered, mW | 0 | 0 | 0.02 | 0.0017 | 0.86 | 10 | 22.7 |

Harvesting time for enabling transmission of one BLE packet, s | infinity | infinity | 1.8 | 22 | 0.05 | 0.004 | 0.002 |

Portion of energy for powering active BLE transceiver replenished by WETI, % | 0 | 0 | 0.03 | 0.003 | 1.4 | 16.4 | 37.2 |

Our results indicate that for high frequencies, due to lower maximum permitted transmit power and higher path losses, it is practically impossible to enable sustainable WETI operation for the distances above 1 m. Further, although low frequencies have sufficient maximum permitted transmit power and significantly lower path losses, the major challenge in employing those for energy transfer is the design of the antennas. In our calculations, we assumed the halfwave dipole antennas. As revealed in Table 2, the length of such an antenna, e.g., for 40 MHz band, is about 3.6 m. Hardly, the antenna of such length is feasible for most of contemporary smart home applications.

Meanwhile, the use of smaller antennas would significantly reduce the energy of received radio signal and might, in turn, introduce some undesired directivity issues as well. However, an attractive compromise between the maximum permitted transmit power, path losses, and antenna efficiency is achieved in 869.5 MHz band (see Table 2). Nonetheless, even there, the gateway transmitting with the full permitted power might currently provide only 0.03 % of the energy required for continuous operation of a BLE transceiver located at a distance of 5 m away. Note that in our calculations, we used the free-space propagation model and the parameters corresponding to the best reported research prototypes, and thus the results for a real-life system might be even less optimistic.

Therefore, while enablement of RF energy transfer promises many inspiring benefits, there is much further work required for making such systems a reality. Among the primary technical challenges is: how to produce the signal strong enough to enable energy harvesting at the output of the sensor’s antenna. This problem might be approached from different angles. First, if we are to go for the sub-100 MHz band with lower path losses, there is a pressing need for the high-efficient small-size antennas, which are not available today. The second opportunity is to stay at higher frequencies, but to increase the power of the energy carrying radio signal. This might be done by updating the conservative limitations in the currently available bands, as well as by introducing novel sub-band(s), specifically dedicated for wireless energy transfer.

Both paths require the involvement of the frequency regulation authorities and demand further studies on the possible effects of the radio waves on the environment and human health in order to determine the permitted power. Alternatively, the WETI efficiency problem might be solved by outlining the way to reduce the minimum required level of the radio signal to enable energy harvesting (i.e., well below −30 dBm). This can be done either via improving parameters of the diodes used in current rectifier designs or by suggesting new rectifier architectures. Finally, the most realistic option considering the current state of the technology seems to employ highly directional antennas. This, in turn, would require simple and precise node localization mechanisms, as well as technology to enable cheap and simple antennas with a changeable radiation pattern. However, we are hopeful that the outlined technical issues are solved in the very near future.

## 5 Selected numerical results and conclusions

Employed numerical parameters

Notation | Parameter description | Value |
---|---|---|

| Slot length | 10 ms |

| Number of sensors | var |

| Average arrival rate per sensor | var |

| Average size of data | 512 bytes [37] |

| Number of available channels | 37 [3] |

| Fixed data rate | 236.7 kbit/s |

| Operational frequency | 2.4 GHz [3] |

| Spectral bandwidth | 2 MHz [3] |

| Propagation exponent | 4 [38] |

| Wavelength | 0.123 m |

| Max power of RF amplifier | 10 mW [3] |

| Min power of RF amplifier | 0.01 mW [3] |

| Consumption of a waiting sensor | 2 mW [6] |

| Circuit power consumption | 60 mW [6] |

| Energy buffer capacity | 2 mAh [39] |

| Antenna gain | 1.64 |

In the following results, we outline the unstable region of system operation, which corresponds to the situation when the power outage probability *P*
_{empty} or, literally, the battery drain probability (when the energy level *X* hits its minimum of 0) exceeds some threshold *ε* for particular data and energy arrival rates. In particular, if *P*
_{empty}>*ε*, then the respective operation region corresponds to the *system-wide energy outage*, which in practice yields frequent events when there is no energy at the sensor to continue communication. Even though sensors might be equipped with pre-charged batteries (which would translate into initial charge level in our model), system instability threatens sustainable sensor operation and may drain its battery power quickly.

In summary, we conclude that our mathematical approach may be very useful to provide initial understanding of the smart home system operation with energy transfer/harvesting functionality for a wide range of practical parameters. Its applicability goes far beyond simple delay and load estimations, allowing to investigate and predict more complex system events, such as a large-scale power outage. We expect the proposed framework to be applicable at the design time of the future smart home gateway deployments enhanced with wireless energy transfer capability.

In the future, we plan to prototype the envisioned smart home system in hardware and test it in practice. This will enable us to study the validity of our current assumptions, as well as provide data for calibrating our model. The first prototype will be based on the currently available commercial radio energy transfer solutions for 868 MHz band and off-the-shelf BLE systems-on-chip. The conceptual functionality of the prototype system is as follows.

Once acquiring some sensed data for the gateway, a sensor enables its BLE transceiver and starts advertising. The event interval is set based on the energy arrival rate. Using the information on the sensor data at each node, its importance for the over-the-top applications, and accounting for the available sensors energy, the gateway builds the schedule for its BLE transceivers. Following the defined schedule, the transceivers establish the connections with the sensors over the data channels and receive the data. Once all the data from a sensor are transferred, the node switches to the low-power mode until a new portion of data arrives.

Note that the gateway may be made aware of the coexisting wireless networks (e.g., WiFi, ZigBee, etc.) and might thus ban the use of radio channels utilized by those for BLE. Given that the BLE transceivers on the gateway are properly synchronized, only the casual interference might affect communication. In our experiments, we plan to study the operation of the system both for the nodes with periodic (e.g., temperature/humidity sensors) and event-based (e.g., movement sensors) traffic generation.

## 6 Appendix

This appendix describes the process of obtaining solution to the differential equations under the given boundary conditions. Importantly, depending on the system parameters for some state *j*
_{0}, it may happen that \(r_{j_{0}}(0) = 0\). In existing literature, this situation is referred to as *zero state* and requires special treatment.

*r*

_{ j }: negative, positive, and zero. We introduce the corresponding sets of indexes: (.)

^{+},(.)

^{0},(.)

^{−}with respect to the sign of

*r*

_{ j }and denote

*π*

^{(+)},

*π*

^{(0)},

*π*

^{(−)}as the probability density of the states

*j*with the respective level of

*r*

_{ j }. Therefore, we rewrite the system of equations (9) as:

where *Q*
^{(..)},*R*
^{(.)} are the sub-matrices of *Q* and *R*, corresponding to the states with negative, zero, and positive rates.

where \(q_{j_{0},j_{0}} = - \left (\lambda _{j_{0}} + \mu _{j_{0}}\right)\).

and \(\tilde {R}\), \(\tilde {\pi }\) are obtained by excluding the components of zero state.

### 6.1 Boundary conditions transform

*B*may be rewritten as:

so that *c*
^{.}(0) and *c*
^{.}(*B*) are the parts of the transposed vectors of probabilities (corresponding to empty and full buffer *c*(0) and *c*(*B*)∈**R**
^{(M+1)×1}, respectively).

### 6.2 Solving the system of differential equations

*ϕ*∈

**R**

^{1×M }[28], such that after substituting it back into our system we arrive at the characteristic equation:

where *I* is the identity matrix, *λ* is the eigenvalue of the matrix \(\tilde {Q} \tilde {R}^{-1}\), and *ϕ* is the respective transposed eigenvector.

where *λ*
_{
i
} and *ϕ*
_{
i
} are the eigenvalues and the corresponding transposed eigenvectors of the matrix (*Q*
*R*
^{−1}), *α*
_{
i
} are auxiliary coefficients, which may be obtained from the initial conditions.

*α*

_{ i }, we substitute (23) into the boundary conditions (21):

*c*

^{∗}=(

*c*

^{−}(0),

*c*

^{+}(

*B*))∈

**R**

^{1×M },

*ϕ*

_{ ij }are the elements of the matrix of eigenvectors

*Φ*∈

**R**

^{ M×M }, and

*g*

_{ ij }are the elements of the matrix

*G*:

*M*equations together with 2

*M*-dimensional vector of unknown variables:

*A*

*x*=0, where:

*π*(

*x*):

We note that if there is no zero state, we exploit the same way of solving the differential equation, by assuming *Q*
^{(..)}=0 corresponding to zero state. Another technical issue that might cause numerical instability is the low rank of the matrix *A*, when a particular element becomes large enough (e.g., for positive eigenvalues). This may be avoided by setting the corresponding *α*=0 and reformulating *A*.

By means of the above calculations, we establish the stationary distribution *π*(*x*) from (27) and the mass probability functions *c*(0),*c*(*B*) in (26), such that all the stationary parameters in our system may finally be derived.

## Declarations

## Authors’ Affiliations

## References

- Ericsson, More than 50 Billion Connected Devices, White Paper, February 2011. http://www.akos-rs.si/files/Telekomunikacije/Digitalna_agenda/Internetni_protokol_Ipv6. More-than-50-billion-connected-devices.pdf. Accessed May 2015.
- J Hosek, P Masek, D Kovac, M Ries, F Kropfl. Universal smart energy communication platform. In: International Conference on Intelligent Green Building and Smart Grid (IEEEUS, 2014), pp. 1–4.Google Scholar
- Bluetooth SIG, Bluetooth Specification Version 4. The Bluetooth Special Interest Group: Kirkland, WA, USA.Google Scholar
- R Heydon,
*Bluetooth low energy: the developer’s handbook*, 1st edition (Prentice Hall, Inc., A Pearson Education Company, Upper Saddle River, New Jersey, 2012).Google Scholar - C Gomez, J Oller, J Paradells, Overview and evaluation of Bluetooth Low Energy: an emerging low-power wireless technology. Sensors. 12(9), 11734–11753 (2012).View ArticleGoogle Scholar
- K Mikhaylov, N Plevritakis, J Tervonen, Performance analysis and comparison of Bluetooth Low Energy with IEEE 802.15.4 and SimpliciTI. J. Sens. Actuator Networks. 2(3), 589 (2013).View ArticleGoogle Scholar
- A Dementyev, S Hodges, S Taylor, J Smith. Power consumption analysis of Bluetooth Low Energy, ZigBee and ANT sensor nodes in a cyclic sleep scenario, In: Proc. 2013 IEEE Int. Wireless Symp (IEEEUS, 2013), pp. 1–4.Google Scholar
- Bluetooth Smart and Smart Ready Products Now Available. http://www.bluetooth.com/Pages/Bluetooth-Smart-Devices-List.aspx. Accessed 26.02.2014.
- S Ulukus, K Huang, R Zhang, N Mehta, L Tassiulas, Special issue on energy harvesting in wireless networks. J. Commun. Netw. 14, 115–120 (2012).View ArticleGoogle Scholar
- D Gunduz, K Stamatiou, N Michelusi, M Zorzi, Designing intelligent energy harvesting communication systems. IEEE Commun. Mag. 52, 210–216 (2014).View ArticleGoogle Scholar
- K Tutuncuoglu, A Yener, Optimum transmission policies for battery limited energy harvesting nodes. IEEE Trans. Wirel. Commun. 11, 1180–1189 (2012).View ArticleGoogle Scholar
- J Xu, R Zhang, Throughput optimal policies for energy harvesting wireless transmitters with non-ideal circuit power. Selected Areas Commun., IEEE J. 32(2), 322–332 (2014).View ArticleGoogle Scholar
- O Orhan, E Erkip. Throughput maximization for energy harvesting two-hop networks. In: Proc. of the IEEE International Symposium on Information Theory (IEEEUS, 2013), pp. 1596–1600.Google Scholar
- C Ho, R Zhang, Optimal energy allocation for wireless communications with energy harvesting constraints. IEEE Trans. Signal Process. 60, 4808–4818 (2012).MathSciNetView ArticleGoogle Scholar
- N Pappas, M Kountouris, J Jeon, A Ephremides, A Traganitis. Network-level cooperation in energy harvesting wireless networks. In: Global Conference on Signal and Information Processing (GlobalSIP) (IEEEUS, 2013), pp. 383–386.Google Scholar
- O Ozel, K Tutuncuoglu, J Yang, S Ulukus, A Yener, Transmission with energy harvesting nodes in fading wireless channels: optimal policies. IEEE J. Selected Areas Commun. 29, 1732–1743 (2011).View ArticleGoogle Scholar
- P Blasco, D Gunduz, M Dohler, A learning theoretic approach to energy harvesting communication system optimization. IEEE Trans. Wirel. Commun. 12, 1872–1882 (2013).View ArticleGoogle Scholar
- B Devillers, D Gunduz, A general framework for the optimization of energy harvesting communication systems with battery imperfections. J. Commun. Netw. 14, 130–139 (2012).View ArticleGoogle Scholar
- P Mitran. On optimal online policies in energy harvesting systems for compound Poisson energy arrivals. In: Proc. of the IEEE International Symposium on Information Theory (IEEEUS, 2012), pp. 960–964.Google Scholar
- W Lumpkins, Nikola Tesla’s dream realized: wireless power energy harvesting. IEEE Consum. Electron. Mag. 3, 39–42 (2014).View ArticleGoogle Scholar
- CR Valenta, GD Durgin, Harvesting wireless power: survey of energy-harvester conversion efficiency in far-field, wireless power transfer systems. IEEE Microw. Mag. 15(4), 108–120 (2014).View ArticleGoogle Scholar
- X Lu, P Wang, D Niyato, DI Kim, Z Han, Wireless networks with RF energy harvesting: a contemporary survey. Commun. Surv. Tutor, IEEE. 17(2), 757–789 (2015).View ArticleGoogle Scholar
- A Collado, A Georgiadis, Optimal waveforms for efficient wireless power transmission. IEEE Microw. Wirel. Components Lett. 24(5), 354–356 (2014).View ArticleGoogle Scholar
- EG Kilinc, MA Ghanad, F Maloberti, C Dehollain, A remotely powered implantable biomedical system with location detector. Biomed. Circuits Syst., IEEE Trans. 9(1), 113–123 (2015).View ArticleGoogle Scholar
- X Wang, A Mortazawi, Medium wave energy scavenging for wireless structural health monitoring sensors. IEEE Trans. Microw. Theory Tech. 62(4/2), 1067–1073 (2014).View ArticleGoogle Scholar
- G Papotto, F Carrara, A Finocchiaro, G Palmisano, A 90-nm CMOS 5-Mbps crystal-less RF-powered transceiver for wireless sensor network nodes. IEEE J. Solid-State Circuit. 49(2), 335–346 (2014).View ArticleGoogle Scholar
- M Telek, M Gribaudo. Fluid models in performance analysis. Materials of 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation. http://www.sti.uniurb.it/events/sfm07pe/slides/Telek.pdf. Accessed May 2015.
- M Telek, in
*ICEP Imperial College Energy Performance Colloquium*. Markov fluid models for energy and performance analysis, (2012). http://webspn.hit.bme.hu/~telek/cikkek/tele12cslides.pdf. Accessed May 2015. - MA Gribaudo, MA Telek, in Formal Methods for Performance Evaluation. Fluid models in performance analysis (Springer Berlin Heidelberg, 2007), pp. 271–317.Google Scholar
- K Mikhaylov, J Tervonen, Multihop data transfer service for Bluetooth Low Energy. ITS Telecommunications (ITST). 2013 13th International Conference on, vol., no., pp. 319,324, 5-7 Nov. 2013.Google Scholar
- NE Roberts, DD Wentzloff, in
*Proc. 2012 IEEE Radio Frequency Integrated Circuits Symp*. A 98nW wake-up radio for wireless body area networks (IEEEUS, 2012), pp. 373–376.View ArticleGoogle Scholar - T Le, K Mayaram, T Fiez, Efficient far-field radio frequency energy harvesting for passively powered sensor networks. Solid-State Circuits, IEEE J. 43(5), 1287–1302 (2008).View ArticleGoogle Scholar
- J Guo, X Zhu. An improved analytical model for RF-DC conversion efficiency in microwave rectifiers. In: Proc. 2012 IEEE MTT-S Int. Microwave Symp. Digest, (2012), pp. 1–3.Google Scholar
- S Scorcioni, A Bertacchini, L Larcher, A 868MHz CMOS RF-DC power converter with –17 dBm input power sensitivity and efficiency higher than 40% over 14dB input power range. ESSCIRC (ESSCIRC), 2012 Proceedings of the, vol., no., pp.109,112, 17-21 Sept. 2012.Google Scholar
- Texas Instruments, bq25504 -Ultra Low Power Boost Converter with Battery Management for Energy Harvester Applications. http://www.ti.com/product/bq25504. SLUSAH0A (2012).
- Regulation on Collective Frequencies for License-exempt Radio Transmitters and on Their Use. Finnish Communications Regulatory Authority, FICORA 15 AF, https://www.viestintavirasto.fi/attachments/Viestintavirasto15AF2013M_en.pdf. Accessed 27.02.2014.
- M Cheong, TGah Functional Requirements and Evaluation Methodology, doc. IEEE 802.11-11/0905r4. https://mentor.ieee.org/802.11/dcn/11/11-11-0905-04-00ah-tgah-functional-requirements-and-evaluation-methodology.doc. Accessed May 2015.
- C De Morais Cordeiro, D Sadok, DP Agrawal, Piconet interference modeling and performance evaluation of Bluetooth MAC protocol. Global Telecommunications Conference, 2001. GLOBECOM ’01. IEEE. vol.5, no., pp.2870,2874 vol.5, 2001.Google Scholar
- K Mikhaylov, J Tervonen, Energy efficient data restoring after power-downs for wireless sensor networks nodes with energy scavenging. In: IFIP International Conference on New Technologies, Mobility and Security (2011). pp. 1–5.Google Scholar

## Copyright

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.