EFFICIENT DECENTRALIZED COMMUNICATIONS IN SENSOR NETWORKS

This thesis is concerned with problems in decentralized communication in large networks. Namely, we address the problems of joint rate allocation and transmission of data sources measured at nodes, and of controlling the multiple access of sources to a shared medium. In our study, we consider in particular the important case of a sensor network measuring correlated data. In the first part of this thesis, we consider the problem of correlated data gathering by a network with a sink node and a tree communication structure, where the goal is to minimize the total transmission cost of transporting the information collected by the nodes, to the sink node. Two coding strategies are analyzed: a Slepian-Wolf model where optimal coding is complex and transmission optimization is simple, and a joint entropy coding model with explicit communication where coding is simple and transmission optimization is difficult. This problem requires a joint optimization of the rate allocation at the nodes and of the transmission structure. For the Slepian-Wolf setting, we derive a closed form solution and an efficient distributed approximation algorithm with a good performance. We generalize our results to the case of multiple sinks. For the explicit communication case, we prove that building an optimal data gathering tree is NP-complete and we propose various distributed approximation algorithms. We compare asymptotically, for dense networks, the total costs associated with Slepian-Wolf coding and explicit communication, by finding their corresponding scaling laws and analyzing the ratio of their respective costs. We argue that, for large networks and under certain conditions on the correlation structure, "intelligent", but more complex Slepian-Wolf coding provides unbounded gains over the widely used straightforward approach of opportunistic aggregation and compression by explicit communication. In the second part of this thesis, we consider a queuing problem in which the service rate of a queue is a function of a partially observed Markov chain, and in which the arrivals are controlled based on those partial observations so as to keep the system in a desirable mildly unstable regime. The optimal controller for this problem satisfies a separation property: we first compute a probability measure on the state space of the chain, namely the information state, then use this measure as the new state based on which to make control decisions. We give a formal description of the system considered and of its dynamics, we formalize and solve an optimal control problem, and we show numerical simulations to illustrate with concrete examples properties of the optimal control law. We show how the ergodic behavior of our queuing model is characterized by an invariant measure over all possible information states, and we construct that measure. Our results may be applied for designing efficient and stable algorithms for medium access control in multiple accessed systems, in particular for sensor networks.

[1]  Alex Zelikovsky,et al.  Improved Steiner tree approximation in graphs , 2000, SODA '00.

[2]  Baltasar Beferull-Lozano,et al.  Scaling laws for correlated data gathering , 2004, International Symposium onInformation Theory, 2004. ISIT 2004. Proceedings..

[3]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[4]  Pier Luigi Dragotti,et al.  Wavelet footprints and frames for signal processing and communication , 2002 .

[5]  Sekhar Tatikonda,et al.  Control under communication constraints , 2004, IEEE Transactions on Automatic Control.

[6]  Baltasar Beferull-Lozano,et al.  Networked Slepian-Wolf: theory, algorithms, and scaling laws , 2005, IEEE Transactions on Information Theory.

[7]  Richard L. Tweedie,et al.  Markov Chains and Stochastic Stability , 1993, Communications and Control Engineering Series.

[8]  Michael Gastpar,et al.  On the capacity of wireless networks: the relay case , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[9]  Cindy C. Parman,et al.  To code, or not to code? , 2003, The Journal of oncology management : the official journal of the American College of Oncology Administrators.

[10]  Truong Q. Nguyen,et al.  Wavelets and filter banks , 1996 .

[11]  Richard J. La,et al.  Utility-based rate control in the Internet for elastic traffic , 2002, TNET.

[12]  Kannan Ramchandran,et al.  Distributed source coding using syndromes (DISCUS): design and construction , 2003, IEEE Trans. Inf. Theory.

[13]  David Hasler,et al.  Perspectives on panoramic photography , 2002 .

[14]  Jan M. Rabaey,et al.  PicoRadio Supports Ad Hoc Ultra-Low Power Wireless Networking , 2000, Computer.

[15]  Deborah Estrin,et al.  Simultaneous Optimization for Concave Costs: Single Sink Aggregation or Single Source Buy-at-Bulk , 2003, SODA '03.

[16]  Bruce E. Hajek Stochastic approximation methods for decentralized control of multiaccess communications , 1985, IEEE Trans. Inf. Theory.

[17]  Dimitri P. Bertsekas,et al.  Network optimization : continuous and discrete models , 1998 .

[18]  Elliot Neil Linzer Arithmetic complexity and numerical properties of algorithms involving Toeplitz matrices , 1991, Signal Process..

[19]  Erkki Oja,et al.  A Complexity Minimization Approach for Estimating Fading Gaussian Channel in CDMA Communications , 2000 .

[20]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[21]  Mark William Garrett Contributions toward real-time services on packet switched networks , 1993 .

[22]  Thomas Kaijser A Limit Theorem for Partially Observed Markov Chains , 1975 .

[23]  Martin Vetterli,et al.  Image denoising and interpolation based on compression and edge models , 1998 .

[24]  Stefan Horbelt Splines and wavelets for image warping and projection , 2001 .

[25]  C. Weidmann Oligoquantization in low-rate lossy source coding , 2002 .

[26]  Tapani Ristaniemi,et al.  Blind separation of convolved mixtures for CDMA systems , 2000, 2000 10th European Signal Processing Conference.

[27]  Jack Edmonds,et al.  Maximum matching and a polyhedron with 0,1-vertices , 1965 .

[28]  Laurent Balmelli,et al.  Rate-distortion optimal mesh simplification for communications , 2002 .

[29]  Martin Vetterli,et al.  A computational theory of laurent polynomial rings and multidimensional fir systems , 1999 .

[30]  Pravin Varaiya,et al.  Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .

[31]  J. J. Garcia-Luna-Aceves,et al.  A multicast routing protocol for ad-hoc networks , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[32]  Anthony Ephremides,et al.  The Architectural Organization of a Mobile Radio Network via a Distributed Algorithm , 1981, IEEE Trans. Commun..

[33]  Fernando Paganini,et al.  Internet congestion control , 2002 .

[34]  Leandros Tassiulas,et al.  Fast Approximate Algorithms for Maximum Lifetime Routing in Wireless Ad-hoc Networks , 2000, NETWORKING.

[35]  Mingyan Liu,et al.  On the Many-to-One Transport Capacity of a Dense Wireless Sensor Network and the Compressibility of Its Data , 2003, IPSN.

[36]  Tapani Ristaniemi,et al.  Delay Estimation in CDMA Communications Using A FastICA Algorithm , 2000 .

[37]  Bernd Girod,et al.  Compression with side information using turbo codes , 2002, Proceedings DCC 2002. Data Compression Conference.

[38]  Jack K. Wolf,et al.  Noiseless coding of correlated information sources , 1973, IEEE Trans. Inf. Theory.

[39]  Dimitri P. Bertsekas,et al.  Data Networks , 1986 .

[40]  Martin Vetterli,et al.  Scalable compression and transmission of internet multicast video , 1996 .

[41]  Ram Ramanathan,et al.  Topology control of multihop wireless networks using transmit power adjustment , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[42]  Dimitri P. Bertsekas,et al.  Data networks (2nd ed.) , 1992 .

[43]  Marshall W. Bern,et al.  The Steiner Problem with Edge Lengths 1 and 2 , 1989, Inf. Process. Lett..

[44]  Frank Kelly,et al.  Mathematical modeling of the Internet , 1999 .

[45]  S. PradhanS.,et al.  Distributed source coding using syndromes (DISCUS) , 2006 .

[46]  Tapani Ristaniemi,et al.  Blind Separation Methods for CDMA Communications , 2000 .

[47]  Anna Scaglione,et al.  On the Interdependence of Routing and Data Compression in Multi-Hop Sensor Networks , 2002, MobiCom '02.

[48]  Erkki Oja,et al.  A fast algorithm for estimating overcomplete ICA bases for image windows , 1999, IJCNN'99. International Joint Conference on Neural Networks. Proceedings (Cat. No.99CH36339).

[49]  Xiao-Yu Hu Low-delay low-complexity error-correcting codes on sparse graphs , 2003 .

[50]  Gunnar Karlsson Subband coding for packet video , 1989 .

[51]  C.Y. Chong,et al.  Probabilistic models in engineering sciences , 1981, Proceedings of the IEEE.

[52]  Sanjoy K. Mitter,et al.  Control with Limited Information , 2001, Eur. J. Control.

[53]  Panganamala Ramana Kumar,et al.  RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN , 2001 .

[54]  Paramvir Bahl,et al.  Distributed Topology Control for Wireless Multihop Ad-hoc Networks , 2001, INFOCOM.

[55]  Gregory J. Pottie,et al.  Instrumenting the world with wireless sensor networks , 2001, 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.01CH37221).

[56]  Jelena Kovacevic,et al.  Filter banks and wavelets: Extensions and applications , 1992, Signal Processing.

[57]  M. Do Directional multiresolution image representations , 2002 .

[58]  Douglas S. Reeves,et al.  A distributed algorithm for delay-constrained unicast routing , 2000, TNET.

[59]  Charles E. Perkins,et al.  Ad hoc On-Demand Distance Vector (AODV) Routing , 2001, RFC.

[60]  Antonio Ortega Optimization techniques for adaptive quantization of image and video under delay constraints , 1994 .

[61]  Gregory Gutin,et al.  The traveling salesman problem , 2006, Discret. Optim..

[62]  Patrick Thiran,et al.  Connectivity in ad-hoc and hybrid networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[63]  Randy H. Katz,et al.  Next century challenges: mobile networking for “Smart Dust” , 1999, MobiCom.

[64]  Deborah Estrin,et al.  Modelling Data-Centric Routing in Wireless Sensor Networks , 2002 .

[65]  Steven H. Low,et al.  Optimization flow control—I: basic algorithm and convergence , 1999, TNET.

[66]  Ivan Stojmenovic,et al.  Ad hoc Networking , 2004 .

[67]  Pravin Varaiya,et al.  Capacity, mutual information, and coding for finite-state Markov channels , 1996, IEEE Trans. Inf. Theory.

[68]  Roger Wattenhofer,et al.  Network correlated data gathering with explicit communication: NP-completeness and algorithms , 2006, IEEE/ACM Transactions on Networking.

[69]  V. Sharma,et al.  Entropy and channel capacity in the regenerative setup with applications to Markov channels , 2001, Proceedings. 2001 IEEE International Symposium on Information Theory (IEEE Cat. No.01CH37252).

[71]  Baltasar Beferull-Lozano,et al.  Networked Slepian-Wolf: Theory and Algorithms , 2004, EWSN.

[72]  Hayder M. S. Radha,et al.  Efficient image representation using binary space partitioning trees , 1994, Signal Process..

[73]  Sergio Verdú,et al.  Bits through queues , 1994, Proceedings of 1994 IEEE International Symposium on Information Theory.

[74]  Krishna M. Sivalingam,et al.  Data gathering in sensor networks using the energy*delay metric , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[75]  P. Prandoni Optimal segmentation techniques for piecewise stationary signals , 1999 .

[76]  Tapani Ristaniemi,et al.  Fading channel estimation by mutual information minimization for Gaussian stochastic processes , 2000, 2000 IEEE International Conference on Communications. ICC 2000. Global Convergence Through Communications. Conference Record.

[77]  Michael Gastpar,et al.  Distributed signal processing and communications: on the interaction of sources and channels , 2003, 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)..

[78]  V. Jacobson,et al.  Congestion avoidance and control , 1988, SIGCOMM '88.

[79]  Jonathan Hong,et al.  Discrete Fourier, Hartley, and cosine transforms in signal processing , 1994, Signal Process..

[80]  Sanjeev Arora,et al.  Polynomial time approximation schemes for Euclidean TSP and other geometric problems , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[81]  Imrich Chlamtac,et al.  Virtual path network topology optimization using random graphs , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[82]  Alistair I. Mees,et al.  Convergence of an annealing algorithm , 1986, Math. Program..

[83]  Baltasar Beferull-Lozano,et al.  Power-efficient sensor placement and transmission structure for data gathering under distortion constraints , 2006, Third International Symposium on Information Processing in Sensor Networks, 2004. IPSN 2004.

[84]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[85]  Martin Vetterli,et al.  Power efficient gathering of correlated data: optimization, NP-completeness and heuristics , 2003, MOCO.

[86]  Tapani Ristaniemi,et al.  CDMA delay estimation using fast ICA algorithm , 2000, 11th IEEE International Symposium on Personal Indoor and Mobile Radio Communications. PIMRC 2000. Proceedings (Cat. No.00TH8525).

[87]  Deborah Estrin,et al.  Directed diffusion for wireless sensor networking , 2003, TNET.

[88]  Bruce E. Hajek,et al.  Cooling Schedules for Optimal Annealing , 1988, Math. Oper. Res..

[89]  Wendi Heinzelman,et al.  Energy-efficient communication protocol for wireless microsensor networks , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[90]  Edward A. Lee,et al.  Adaptive Signal Models: Theory, Algorithms, and Audio Applications , 1998 .

[91]  Gregory J. Pottie,et al.  Wireless integrated network sensors , 2000, Commun. ACM.

[92]  Zoran Pecenovic Integrating visual and semantic descriptions for effective, flexible and user-friendly image retrieval , 2003 .

[93]  Teresa H. Meng,et al.  Minimum energy mobile wireless networks , 1998, ICC '98. 1998 IEEE International Conference on Communications. Conference Record. Affiliated with SUPERCOMM'98 (Cat. No.98CH36220).

[94]  Kannan Ramchandran,et al.  Distributed source coding using syndromes (DISCUSS): design and construction , 1999 .

[95]  Baltasar Beferull-Lozano,et al.  On network correlated data gathering , 2004, IEEE INFOCOM 2004.

[96]  Kamil Metin Uz,et al.  Multiresolution systems for video coding , 1994, Signal Process..

[97]  Christian M. Reidys,et al.  Combinatorial Landscapes , 2002, SIAM Rev..

[98]  Sergio D. Servetto,et al.  Flow control for multiple access queues , 2001 .