Wireless Sensor Network
Vol.5 No.10(2013), Article ID:37994,5 pages DOI:10.4236/wsn.2013.510023

Saturated Power Control Scheme for Kalman Filtering via Wireless Sensor Networks*

Dongmei Zhang1, Zhuangwei Miao1, Xingang Wang2

1College of Science, Zhejiang University of Technology, Zhejiang, China

2College of Information Engineering, Zhejiang, China

Email: meidzh@zjut.edu.cn, miao.z.w@zjut.edu.cn, wxg@zjut.edu.cn

Copyright © 2013 Dongmei Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Received August 12, 2013; revised September 12, 2013; accepted September 19, 2013

Keywords: Power Control; Kalman Filtering; Fading Channel; Packet Dropout

ABSTRACT

We investigate the Kalman filtering problem via wireless sensor networks over fading channels. When part or all of the observation measurements are lost in a random fashion, we obtain the conclusion that the packet dropout probabilities depend upon the time-varying channel gains and the transmission power levels used by the sensors. We develop a saturated power controller which trades off sensor energy expenditure versus state estimation accuracy. The latter is measured by the expected value of the future covariance matrices provided by the associated time-varying Kalman filter. We study the statistical convergence properties of the error covariance matrix and pointed out the existence of the admissible packet arrival probability bound.

1. Introduction

Recently, the rapid evolution of wireless sensor networks, see e.g., [1-4] has made wireless sensors (WSs) cheap and reliable enough to be brought into commercial use. WSs offers several advantages for industrial control systems, such as flexibility, low cost, and fast deployment. Furthermore, WSs and actuators can be placed where wires cannot go, or where power sockets are unavailable. The use of wireless communications for state estimation and closed loop control, however, also brings new challenges in system design.

A drawback of using wireless channels is that they are subject to fading and interference, which frequently leads to packet errors [5-8]. Interestingly, the time-variability of the fading channel can be compensated for by adjusting the power levels [9-13]. Since energy is severely limited in most WS applications, power control design involves trading energy consumption for accuracy [14-18]. Thus, an important challenge is to design suitable power control schemes [19].

Kalman filters are widespread in estimation and control applications, and the effect of random measurement losses on filter stability has received considerable attention in the literature. In particular, Sinopoli et al. [20]

studied a single link estimation setup for linear timeinvariant (LTI) plants where the packet dropout processes are independent and identically distributed (i.i.d.). In this modeling paradigm, it was assumed that the packet dropout probability remains unchanged from one transmission to the next, and all the sensor measurements need to be encoded in a single packet and the sensors should be collocated. The result was extended to deal with the general case of multi-channel Kalman filtering problem [21]. The existence of the critical arrival rate of the observation was proved and both the upper and the lower bound were computed. Plarre and Bullo [22] examines a state estimation architecture with two channels affected by i.i.d. packet dropouts. The case of Kalman filtering with a single link was investigated in Huang and Dey [23-25], where the packet dropouts are described by a time homogeneous two-state Markov chain. Zhang [26] considered a multi-rate distributed estimation problem for wireless sensor networks with packet dropout, the output measurements of the adjacent nodes’ are utilized to generate the state estimation and then fused. In [27], sufficient conditions are established which ensure the convergence of the Kalman filter co-variance matrix. The conditions obtained are used to formulate stabilizing optimal power allocation laws which minimize the total power used by each sensor.

Inspired by the previous work [27], saturated power controllers are designed which provide a time-varying successful probability by inverting the channel gain. We can prove that there exists a critical value such that the expectation of the estimation error covariance is always bounded if the arrival probability of an observation at time is greater than the value. We call the critical value as the admissible packet arrival rate and the computational procedure is presented to design the power controller gain according to the value.

Notation: We write for the conditional probability of given, and for the unconditional probability. A random vector, which is Gaussian distributed with mean value m and covariance matrix is denoted by.

2. Problem Formulation

Consider an uncontrolled LTI n-dimensional systems:

(1)

where the initial system state is Gaussian distributed with mean and covariance. The driving noise process is i.i.d., where each.

To remotely estimate the system state sequence, a network of L sensors is used. Each sensor provides a nosiy measurement signal, say:

(2)

where is an i.i.d. process with each

The L values in (2) are transmitted through the wireless links to the single gateway. The received signals are then used to remotely estimate the state of system (1). In the following scenario, we assume that L = 2 for the sake of convenience, i.e., there are two measurement outputs encoded separately and sent over different wireless channels at each time step:

with.

2.1. Channel with Rayleigh Fading

In the present work, we will adopt a block-fading channel gain model, which is a common information theoretic model for fading wireless channels where the channel power gains remain invariant over a block [21]. Furthermore, we assume the single measurement to be a packet, thus, the block length equals the packet transmission time. The associated channel gain processes are denoted by (“”), which are exponentially distributed with cdf

(3)

where,.

Suppose that the binary phase shift keying transmission over the i.i.d. block fading additive white Gaussian noise channels is used [26]. Each sensor measurement consists of a packet containing b bits. Since the bit errors are independent within a packet, the success probabilities can be written as, see [6],

(4)

After approximate calculation, we have the following theorem.

Theorem 1

(5)

Proof: For a random variable, its cdf can be represented by

It is easy to see

The second equality is obtained if we approximate square with round, i.e.,

and obtain

which yields (5). This ends the proof of Theorem 1.

Since the l links between sensors and gateway are wireless, transmission errors are likely to occur. Faulty packets will be discarded when estimating the system state. We will model transmission effects by introducing the l binary stochastic arrival processes, where:

The success probabilities of are determined by the propagation environment and transmission power. In the present work, the saturated power controller is used

(6)

where is the peak power level, and is the power controller gain for the channel. Moreover,

(7)

For further reference, we also define the overall arrival process of all l links, say via

(8)

We will assume that the data transmission incorporates error detection coding. Hence, the gateway knows the packets received from the sensors contain errors or not. Thus, at any time k, the past and present realizations of the overall transmission process are available at the gateway. For state estimation purposes, the system amounts to sampling (1)-(2) only at the successful transmission instants of each sensor link. Indeed, the conditional probability distribution of the system state at any time k, given the correctly received sensor measurements up to time k, is Gaussian.

Let, we define

The time update of the Kalman filter is independent of the observation process and thus stays the same as in the classical Kalman filter:

(9)

The measurement update is now stochastic since the received measurements depend on the random variables and.

Let, a general form of the error covariance matrix is given by

(10)

In the next section, we will focus on the statistical properties of the error estimation covariance.

3. Convergence Conditions

First, we define the modified algevraic Riccati equation for the Kalman filter with random packet dropout as follows,

(11)

Some useful properties of the function are presented and the proof can be found in [21].

Lemma 1 [21] is concanve and nondecreasing function in X.

Lemma 2 [21] For fixed, is decreasing in, vice versa for.

Lemma 3 [21].

Lemma 4 [21] Suppose matrices and such that, then a), the iteration converges and

(12)

independent of initial condition P0.

b) is the unique positive semidefinite solution of

Lemma 5 [21] Assuming is controllable and observable. Fix. If is unstable for, whereas stable for, then such that

(13)

Furthermore, there exists a positive semidefinite matrix as a function of the initial condition, such that

(14)

The vice visa for fixed.

The following theorem gives the power controller gain region for the above critical value.

Theorem 2 Assuming is controllable and observable. Fix. If is unstable which meets (13), then the corresponding power controller gain satisfies

(15)

for mentioned above.

Proof: The proof is established based on Theorem 1 and Lemma 5. When, Equation (5) has an equivalent form

when, we can easily obtain

when, we obtain from (6), which yields

this ends the proof of Theorem 2.

The distributed protocol mentioned above is sketched below:

Procedure:

Step 1) For given, we use bisection method to find. For, search the interval to find some, such that .

Step 2) For the same and, search the interval to find some, such that. Use this method, we can find the greatest lower bound of the critical value.

Step 3) Design the power controller gain according to the above admissive upper bound obtained in Step 2).

Remark 1 It follows from the reasoning above that one can improve the transmission reliability and the state estimation accuracy for a given wireless propagation environment simply by increasing the power controller gain used by the transmitter. However, it is of fundamental importance to save energy in wireless sensor networks. There is the tradeoff between the stability of Kalman filter and a energy resource.

4. Conclusions

An energy efficient power control scheme for state estimation via wireless sensor networks operating over fading channels was presented. The time variability of the fading channels frequently leads to transmission errors with subsequent random packet drops. State estimation in the face of intermittent observations was then performed by a time-varying Kalman filter. In our scheme, the transmission power of the radio amplifier of each of the wireless sensors was controlled by the gateway. For that purpose, we proposed a saturated power controller.

The results in this paper can also be generalized to the case where the observation data is contained in more than two packets. In the generalization, the Kalman filter updating upon one or more packet losses can be computed in the same manner since we can always divide the observation into two parts: the received and the lost. The statistical properties of the error covariance matrix iteration stay the same with appropriate extensions. In our future work, we would like to study the convergence properties of the Kalman filtering problem.

REFERENCES

  1. H. Gharavi and S. P. Kumar, “Special Section on Sensor Networks Andapplications,” Proceedings of the IEEE, Vol. 91, No. 8, 2003, pp. 1151-1152. http://dx.doi.org/10.1109/JPROC.2003.814925
  2. P. Havinga, J. C. Hou and F. Zhao, “Wireless Sensor Networks,” IEEE Wireless Communications, Vol. 11, No. 12, 2004, pp. 4-5.
  3. M. Ilyas, I. Mahgoub and L. Kelly, “Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems,” CRC-Press, Boca Raton, 2004. http://dx.doi.org/10.1201/9780203489635
  4. X. Shen, Q. Zhang and Q. M. Cai, “Wireless Sensor Networking,” IEEE Wireless Communications, Vol. 14, No. 6, 2007, pp. 4-5. http://dx.doi.org/10.1109/MWC.2007.4407220
  5. J. P. Hespanha, P. Naghshtabrizi and Y. Xu, “A Survey of Recent Results in Networked Control Systems,” Proceedings of the IEEE, Vol. 1, No. 95, 2007, pp. 138-162. http://dx.doi.org/10.1109/JPROC.2006.887288
  6. J. G. Proakis, “Digital Communications,” McGraw-Hill, New York, 1995.
  7. L. Schenato, B. Sinopoli, M. Franceschetti, K. Poolla and S. S. Sastry, “Foundations of Control and Estimation over Lossy Networks,” Proceedings of the IEEE, Vol. 95, No. 1, 2007, pp. 163-187. http://dx.doi.org/10.1109/JPROC.2006.887306
  8. D. M. Zhang and X. G. Wang, “Static Output Feedback Control of Networked Control Systems with Packet Dropout,” International Journal of Systems Science, Vol. 43, No. 4, 2012, pp. 665-672. http://dx.doi.org/10.1080/00207721.2010.517873
  9. R. Buche and H. J. Kushner, “Control of Mobile Communications with Time Varying Channels in Heavy Traffic,” IEEE Transactions on Automatic Control, Vol. 47, No. 6, 2002, pp. 992-1003. http://dx.doi.org/10.1109/TAC.2002.1008363
  10. C. D. Charalambous, S. M. Djouadi and S. Z. Denic, “Stochastic Power Control for Wireless Networks via SDEs: Probabilistic QoS Measures,” IEEE Transactions on Automatic Control, Vol. 51, No. 12, 2005, pp. 4396- 4401.
  11. F. Gunnarsson and F. Gustafsson, “Control Theory Aspects of Power Control in UMTS,” Control Engineering Practice, Vol. 11, No. 10, 2003, pp. 1113-1125. http://dx.doi.org/10.1016/S0967-0661(03)00062-5
  12. S. V. Hanly and D.-N. Tse, “Power Control and Capacity of Spread Spectrum Wireless Networks,” Automatica, Vol. 35, No. 12, 1999, pp. 1987-2012. http://dx.doi.org/10.1016/S0005-1098(99)00133-8
  13. M. Huang, P. E. Caines and R. P. Malham, “Uplink Power Adjustment in Wireless Communication Systems: A Stochastic Control Analysis,” IEEE Transactions on Automatic Control, Vol. 49, No. 10, 2004, pp. 1693-1708. http://dx.doi.org/10.1109/TAC.2004.835388
  14. G. Caire, G. Taricco and E. Biglieri, “Optimum Power Control over Fading Channels,” Institute of Electrical and Electronics Engineers, Transactions on Information Theory, Vol. 45, No. 5, 1999, pp. 1468-1489. http://dx.doi.org/10.1109/18.771147
  15. N. A. Pantazis and D. D. Vergados, “A Survey on Power Control Issues in Wireless Sensor Networks,” IEEE Communication Surveys and Tutorials, Vol. 9, No. 4, 2007, pp. 86-107. http://dx.doi.org/10.1109/COMST.2007.4444752
  16. P. G. Park, C. Fischione and K. H. Johansson, “Experimental Evaluation of Power Control Algorithms for Wireless Sensor Networks,” Proceedings of the IFAC World Congress, Seoul, 2008.
  17. J.-J. Xiao, S. Cui, Z.-Q. Luo and A. J. Goldsmith, “Power Scheduling of Universal Decentralized Estimation in Sensor Networks,” IEEE Transactions on Signal Processing, Vol. 54, No. 2, 2006, pp. 413-422. http://dx.doi.org/10.1109/TSP.2005.861898
  18. X. Zhang, H. V. Poor and M. Chiang, “Optimal Power Allocation for Distributed Detection over MIMO Channels in Wireless Sensor Networks,” IEEE Transactions on Signal Processing, Vol. 56, No. 9, 2008, pp. 4124- 4140. http://dx.doi.org/10.1109/TSP.2008.924639
  19. D. M. Zhang, X. G. Wang and J. Liu, “Robust Power Control Method for Wireless Sensor Networks with Static Output Feedback,” Journal of Control Theory and Application, Vol. 10, No. 1, 2012, pp. 44-49. http://dx.doi.org/10.1007/s11768-012-0035-9
  20. B. Sinopoli, L. Schenato, M. Franceschetti, K. Poolla, M. I. Jordan and S. S. Sastry, “Kalman Filtering with Intermittent Observations,” IEEE Transactions on Automatic Control, Vol. 49, No. 9, 2004, pp. 1453-1464. http://dx.doi.org/10.1109/TAC.2004.834121
  21. X. H. Liu and G. Andrea, “Kalman Filtering with Partial Observation Losses,” Proceedings of 43rd IEEE CDC, Bahamas, 14-17 December 2004, pp. 4180-4186.
  22. K. Plarre and F. Bullo, “On Kalman Filtering for Detectable Systems with Intermittent Observations,” IEEE Transactions on Automatic Control, Vol. 54, No. 2, 2009, pp. 386-390. http://dx.doi.org/10.1109/TAC.2008.2008347
  23. M. Huang and S. Dey, “Stability of Kalman Filtering with Markovian Packet Losses,” Automatica, Vol. 43, No. 4, 2007, pp. 598-607. http://dx.doi.org/10.1016/j.automatica.2006.10.023
  24. Z. Jin, V. Gupta and R. Murray, “State Estimation over Packet Dropping Networks Using Multiple Description Coding,” Automatica, Vol. 42, No. 9, 2006, pp. 1441- 1452. http://dx.doi.org/10.1016/j.automatica.2006.03.020
  25. L. Shi, M. Epstein and R. M. Murray, “Kalman Filtering over a Packet-Dropping Network: A Probabilistic Perspective,” IEEE Transactions on Automatic Control, Vol. 55, No. 3, 2010, pp. 594-604. http://dx.doi.org/10.1109/TAC.2009.2039236
  26. W. A. Zhang, G. Feng and L. Yu, “Multi-Rate Distributed Fusion Estimation for Sensor Networks with Packet Losses,” Automatica, Vol. 48, No. 9, 2012, pp. 2016-2028. http://dx.doi.org/10.1016/j.automatica.2012.06.027
  27. E. D. Quevedo, A. Anders, S. L. Alex and D. Subhrakanti, “On Kalman Filtering over Fading Wireless Channels with Controlled Transmission Powers,” Automatica, Vol. 48, No. 7, 2012, pp. 1306-1316. http://dx.doi.org/10.1016/j.automatica.2012.03.025

NOTES

*This work is supported by National Natural Science Foundation (NNSF) of China under Grant 61074039, 61273116 and 1101367.