Towards Fault Reactiveness in Wireless Sensor Networks with Mobile Carrier Robots

W ireless sensor networks (WSN) increasingly permeate modern societies nowadays. But in spite of their plethora of successful applications, WSN are often unable to surmount many operational challenges that unexpectedly arise during their lifetime. Fortunately, robotic agents can now assist a WSN in various ways. This thesis illustrates how mobile robots which are able to carry a limited number of sensors can help the network react to sensor faults, either during or after its deployment in the monitoring region. Two scenarios are envisioned. In the first one, carrier robots surround a point of interest with multiple sensor layers (focused coverage formation). We put forward the first known algorithm of its kind in literature. It is energy-efficient, fault-reactive and aware of the bounded robot cargo capacity. The second one is that of replacing damaged sensing units with spare, functional ones (coverage repair), which gives rise to the formulation of two novel combinatorial optimization problems. Three nature-inspired metaheuristic approaches that run at a centralized location are proposed. They are able to find good-quality solutions in a short time. Two frameworks for the identification of the damaged nodes are considered. The first one leans upon diagnosable systems, i.e. existing distributed detection models in which individual units perform tests upon each other. Two swarm intelligence algorithms are designed to quickly and reliably spot faulty sensors in this context. The second one is an evolving risk management framework for WSNs that is entirely formulated in this thesis.

[1]  Ivan Stojmenovic,et al.  Strictly Localized Sensor Self-Deployment for Optimal Focused Coverage , 2011, IEEE Transactions on Mobile Computing.

[2]  K. Latha,et al.  Music-Inspired Optimization Algorithm: Harmony-Tabu for Document Retrieval Using Relevance Feedback , 2010, BAIP.

[3]  Rafael Bello,et al.  Two-Stage ACO to Solve the Job Shop Scheduling Problem , 2007, CIARP.

[4]  Amiya Nayak,et al.  A binary Particle Swarm Optimization approach to fault diagnosis in parallel and distributed systems , 2010, IEEE Congress on Evolutionary Computation.

[5]  Z. Geem Music-Inspired Harmony Search Algorithm: Theory and Applications , 2009 .

[6]  Plamen P. Angelov,et al.  Evolving fuzzy systems for data streams: a survey , 2011, WIREs Data Mining Knowl. Discov..

[7]  Fernando J. Velez,et al.  Application of Wireless Sensor Networks to Automobiles , 2008 .

[8]  Thomas Stützle,et al.  MAX-MIN Ant System , 2000, Future Gener. Comput. Syst..

[9]  B. John Oommen,et al.  Empirical Verification of a Strategy for Unbounded Resolution in Finite Player Goore Games , 2006, Australian Conference on Artificial Intelligence.

[10]  Zong Woo Geem,et al.  Music-Inspired Harmony Search Algorithm , 2009 .

[11]  Ivan Stojmenovic,et al.  Localized Self-Deployment of Mobile Sensors for Optimal Focused-Coverage Formation ( Technical Report ) , 2007 .

[12]  Andrew M. Tyrrell,et al.  Variable length genetic algorithms with multiple chromosomes on a variant of the Onemax problem , 2006, GECCO.

[13]  M. Afshar Partially constrained ant colony optimization algorithm for the solution of constrained optimization problems: Application to storm water network design , 2007 .

[14]  Plamen Angelov,et al.  Evolving Intelligent Systems: Methodology and Applications , 2010 .

[15]  José Neves,et al.  The fully informed particle swarm: simpler, maybe better , 2004, IEEE Transactions on Evolutionary Computation.

[16]  Daniel Minoli,et al.  Wireless Sensor Networks: Technology, Protocols, and Applications , 2007 .

[17]  Anna Sciomachen,et al.  A Lagrangian heuristic for the Prize CollectingTravelling Salesman Problem , 1998, Ann. Oper. Res..

[18]  Michel Gendreau,et al.  Traveling Salesman Problems with Profits , 2005, Transp. Sci..

[19]  Ivan Stojmenovic,et al.  Focused-coverage by mobile sensor networks , 2009, 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems.

[20]  Richard F. Hartl,et al.  A survey on pickup and delivery problems , 2008 .

[21]  Liang Cheng Shiu The robot deployment scheme for wireless sensor networks in the concave region , 2009, 2009 International Conference on Networking, Sensing and Control.

[22]  Dragos Calitoiu,et al.  Modeling with Non-cooperative Agents: Destructive and Non-Destructive Search Algorithms for Randomly Located Objects , 2011 .

[24]  S. Louis Hakimi,et al.  Characterization of Connection Assignment of Diagnosable Systems , 1974, IEEE Transactions on Computers.

[25]  Miroslaw Malek,et al.  A comparison connection assignment for diagnosis of multiprocessor systems , 1980, ISCA '80.

[26]  Baobing Wang,et al.  Storage-Centric Wireless Sensor Networks for Smart Buildings , 2013 .

[27]  Nicolas Jozefowiez,et al.  The vehicle routing problem: Latest advances and new challenges , 2007 .

[28]  Santosh S. Vempala,et al.  New Approximation Guarantees for Minimum-Weight k-Trees and Prize-Collecting Salesmen , 1999, SIAM J. Comput..

[29]  Gaurav S. Sukhatme,et al.  The Analysis of an Efficient Algorithm for Robot Coverage and Exploration based on Sensor Network Deployment , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[30]  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).

[31]  Arthur D. Friedman,et al.  System-Level Fault Diagnosis , 1980, Computer.

[32]  Ivan Stojmenovic,et al.  Localized Sensor Area Coverage with Low Communication Overhead , 2008, IEEE Trans. Mob. Comput..

[33]  Witold Pedrycz,et al.  From fuzzy sets to shadowed sets: Interpretation and computing , 2009, Int. J. Intell. Syst..

[34]  Witold Pedrycz,et al.  Granular Computing - The Emerging Paradigm , 2007 .

[35]  M. L. Tsetlin,et al.  Automaton theory and modeling of biological systems , 1973 .

[36]  S. Louis Hakimi,et al.  System-level diagnosis: Analysis of two new models , 1986, Inf. Sci..

[37]  Witold Pedrycz,et al.  Advances in Fuzzy Clustering and its Applications , 2007 .

[38]  Mourad Elhadef,et al.  An evolutionary algorithm for identifying faults in t-diagnosable systems , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[39]  B. John Oommen,et al.  Using Stochastic AI Techniques to Achieve Unbounded Resolution in Finite Player Goore Games and its Applications , 2007, 2007 IEEE Symposium on Computational Intelligence and Games.

[40]  G. A. Marcoulides Multilevel Analysis Techniques and Applications , 2002 .

[41]  Alexandre Salles da Cunha,et al.  Heuristic and exact algorithms for a min-max selective vehicle routing problem , 2011, Comput. Oper. Res..

[42]  Ivan Stojmenovic,et al.  The one-commodity traveling salesman problem with selective pickup and delivery: An ant colony approach , 2010, IEEE Congress on Evolutionary Computation.

[43]  Hongsheng Xi,et al.  Using hidden markov models to evaluate the real-time risks of network , 2008, 2008 IEEE International Symposium on Knowledge Acquisition and Modeling Workshop.

[44]  Q. H. Wu,et al.  Biologically inspired optimization: a review , 2009 .

[45]  Fanggeng Zhao,et al.  Genetic algorithm for the one-commodity pickup-and-delivery traveling salesman problem , 2009, Comput. Ind. Eng..

[46]  Chih-Yung Chang,et al.  Obstacle-Resistant Deployment Algorithms for Wireless Sensor Networks , 2009, IEEE Transactions on Vehicular Technology.

[47]  Mohammad Kazem Sayadia,et al.  A discrete firefly metaheuristic with local search for makespan minimization in permutation flow shop scheduling problems , 2010 .

[48]  Goran Martinović,et al.  Single-Commodity Vehicle Routing Problem with Pickup and Delivery Service , 2008 .

[49]  Rajeev Motwani,et al.  Approximating Capacitated Routing and Delivery Problems , 1999, SIAM J. Comput..

[50]  Witold Pedrycz,et al.  Evolvable fuzzy systems: some insights and challenges , 2010, Evol. Syst..

[51]  Amiya Nayak,et al.  Network Fault Diagnosis: An Artificial Immune System Approach , 2008, 2008 14th IEEE International Conference on Parallel and Distributed Systems.

[52]  Andrzej Pelc,et al.  Complexity of Fault Diagnosis in Comparison Models , 1992, IEEE Trans. Computers.

[53]  Ivan Stojmenovic,et al.  Wireless Sensor and Actuator Networks: Algorithms and Protocols for Scalable Coordination and Data Communication , 2010 .

[54]  Ivan Stojmenovic,et al.  Biconnecting a Network of Mobile Robots Using Virtual Angular Forces , 2010, 2010 IEEE 72nd Vehicular Technology Conference - Fall.

[55]  Jennifer C. Hou,et al.  Maintaining Sensing Coverage and Connectivity in Large Sensor Networks , 2005, Ad Hoc Sens. Wirel. Networks.

[56]  Tiko Kameda,et al.  A Diagnosing Algorithm for Networks , 1975, Inf. Control..

[57]  Thomas F. La Porta,et al.  Sensor relocation in mobile sensor networks , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[58]  M. Fischetti,et al.  AN ADDITIVE APPROACH FOR THE OPTIMAL SOLUTION OF THE PRIZE-COLLECTING TRAVELLING SALESMAN PROBLEM. VEHICLE ROUTING: METHODS AND STUDIES. STUDIES IN MANAGEMENT SCIENCE AND SYSTEMS - VOLUME 16 , 1988 .

[59]  Dario Pompili,et al.  Handling Mobility in Wireless Sensor and Actor Networks , 2010, IEEE Transactions on Mobile Computing.

[60]  Ivan Stojmenovic,et al.  Back-Tracking Based Sensor Deployment by a Robot Team , 2010, 2010 7th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON).

[61]  Bruce L. Golden,et al.  The team orienteering problem , 1996 .

[62]  Leonard Kleinrock,et al.  QoS control for sensor networks , 2003, IEEE International Conference on Communications, 2003. ICC '03..

[63]  Michel Gendreau,et al.  The hot strip mill production scheduling problem: A tabu search approach , 1998, Eur. J. Oper. Res..

[64]  Amiya Nayak,et al.  A (4n − 9)/3 diagnosis algorithm for generalised cube networks , 2010, Int. J. Parallel Emergent Distributed Syst..

[65]  Jimmy J. M. Tan,et al.  On the faulty sensor identification algorithm of wireless sensor networks under the PMC diagnosis model , 2010, The 6th International Conference on Networked Computing and Advanced Information Management.

[66]  Alain Hertz,et al.  Metaheuristics for the team orienteering problem , 2005, J. Heuristics.

[67]  Antoni Ligęza,et al.  Logical Foundations for Rule-Based Systems , 2006 .

[68]  G. F. Sullivan,et al.  An O(t3 + |E|) Fault Identification Algorithm for Diagnosable Systems , 1988, IEEE Trans. Computers.

[69]  M Dorigo,et al.  Ant colonies for the travelling salesman problem. , 1997, Bio Systems.

[70]  Xu Li,et al.  An Integrated Self-deployment and Coverage Maintenance Scheme for Mobile Sensor Networks , 2006, MSN.

[71]  Yuanyuan Yang,et al.  Adaptive Triangular Deployment Algorithm for Unattended Mobile Sensor Networks , 2005, IEEE Transactions on Computers.

[72]  Tony White,et al.  A swarm-based crossover operator for genetic programming , 2008, GECCO '08.

[73]  A. Kai Qin,et al.  Harmony search with differential mutation based pitch adjustment , 2011, GECCO '11.

[74]  Sophie N. Parragh,et al.  A survey on pickup and delivery problems Part I : Transportation between customers and depot , 2007 .

[75]  Thomas Stützle,et al.  Frankenstein's PSO: A Composite Particle Swarm Optimization Algorithm , 2009, IEEE Transactions on Evolutionary Computation.

[76]  Liping Zheng,et al.  Design and Simulation of Simulated Annealing Algorithm with Harmony Search , 2010, ICSI.

[77]  Hnin Yu Shwe,et al.  DoS Attack Mining in Sensor Node Replacement , 2007, ISPA Workshops.

[78]  Kumpati S. Narendra,et al.  Learning automata - an introduction , 1989 .

[79]  Kjetil Haslum,et al.  Multisensor Real-time Risk Assessment using Continuous-time Hidden Markov Models , 2006, 2006 International Conference on Computational Intelligence and Security.

[80]  Y. Charlie Hu,et al.  Sensor replacement using mobile robots , 2007, Comput. Commun..

[81]  Annalisa Massini,et al.  Push & Pull: autonomous deployment of mobile sensors for a complete coverage , 2010, Wirel. Networks.

[82]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[83]  Mohammed Azmi Al-Betar,et al.  Adaptive genetic algorithm using harmony search , 2010, GECCO '10.

[84]  Rudolf Ahlswede,et al.  On diagnosability of large multiprocessor networks , 2008, Discret. Appl. Math..

[85]  Plamenka Borovska,et al.  Comparison of parallel metaheuristics for solving the TSP , 2008, CompSysTech.

[86]  Andrzej Pelc,et al.  Undirected Graph Models for System-Level Fault Diagnosis , 1991, IEEE Trans. Computers.

[87]  David Simplot-Ryl,et al.  Localized Sensor Self-deployment with Coverage Guarantee in Complex Environment , 2009, ADHOC-NOW.

[88]  Marco Dorigo,et al.  Ant colony optimization , 2006, IEEE Computational Intelligence Magazine.

[89]  Gerhard P. Hancke,et al.  Industrial Wireless Sensor Networks: Challenges, Design Principles, and Technical Approaches , 2009, IEEE Transactions on Industrial Electronics.

[90]  Xu Li,et al.  ZONER: A ZONE-based Sensor Relocation Protocol for Mobile Sensor Networks , 2006, Proceedings. 2006 31st IEEE Conference on Local Computer Networks.

[91]  Tao Li,et al.  A new pheromone trail-based genetic algorithm for comparative genome assembly , 2008, Nucleic acids research.

[92]  Andrew Gelman,et al.  Data Analysis Using Regression and Multilevel/Hierarchical Models , 2006 .

[93]  Witold Pedrycz,et al.  Shadowed sets in the characterization of rough-fuzzy clustering , 2011, Pattern Recognit..

[94]  Leonard Kleinrock,et al.  Using Finite State Automata to Produce Self-Optimization and Self-Control , 1996, IEEE Trans. Parallel Distributed Syst..

[95]  Ivan Stojmenovic,et al.  Mesh-Based Sensor Relocation for Coverage Maintenance in Mobile Sensor Networks , 2007, UIC.

[96]  Amiya Nayak,et al.  Carrier-Based Focused Coverage Formation in Wireless Sensor and Robot Networks , 2011, IEEE Transactions on Automatic Control.

[97]  Jiming Chen,et al.  Novel Deployment Schemes for Mobile Sensor Networks , 2007, Sensors.

[98]  Jie Wu,et al.  A hierarchical structure based coverage repair in wireless sensor networks , 2008, 2008 IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications.

[99]  Amiya Nayak,et al.  An evolving risk management framework for wireless sensor networks , 2011, 2011 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA) Proceedings.

[100]  Thomas F. La Porta,et al.  Proxy-based sensor deployment for mobile sensor networks , 2004, 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems (IEEE Cat. No.04EX975).

[101]  Chris Rose,et al.  A Break in the Clouds: Towards a Cloud Definition , 2011 .

[102]  Ivan Stojmenovic,et al.  Sensor Placement in Sensor and Actuator Networks , 2010 .

[103]  Sanjay Jha,et al.  Location-free fault repair in hybrid sensor networks , 2006, InterSense '06.

[104]  Pedro Larrañaga,et al.  Genetic Algorithms for the Travelling Salesman Problem: A Review of Representations and Operators , 1999, Artificial Intelligence Review.

[105]  Luiz Antonio Nogueira Lorena,et al.  Hybrid Metaheuristic for the Prize Collecting Travelling Salesman Problem , 2008, EvoCOP.

[106]  Russell C. Eberhart,et al.  A discrete binary version of the particle swarm algorithm , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[107]  Sheng-Fa Yuan,et al.  Fault diagnostics based on particle swarm optimisation and support vector machines , 2007 .

[108]  Constantin Oprean,et al.  Elitist ant system for route allocation problem , 2008 .

[109]  Ivan Stojmenovic,et al.  Randomized Robot-Assisted Relocation of Sensors for Coverage Repair in Wireless Sensor Networks , 2010, 2010 IEEE 72nd Vehicular Technology Conference - Fall.

[110]  Wei Li,et al.  Wireless array based sensor relocation in mobile sensor networks , 2009, IWCMC.

[111]  Moshe Dror,et al.  Redistribution of Self-service Electric Cars: A Case of Pickup and Delivery , 1998 .

[112]  Zbigniew Michalewicz,et al.  Genetic Algorithms + Data Structures = Evolution Programs , 1992, Artificial Intelligence.

[113]  Dong Xuan,et al.  On Deploying Wireless Sensors to Achieve Both Coverage and Connectivity , 2006, 2009 5th International Conference on Wireless Communications, Networking and Mobile Computing.

[114]  Hai Liu,et al.  Simple movement control algorithm for bi-connectivity in robotic sensor networks , 2010, IEEE Journal on Selected Areas in Communications.

[115]  Xin-She Yang,et al.  Nature-Inspired Metaheuristic Algorithms , 2008 .

[116]  David J. Evans,et al.  A comparison-based diagnosis algorithm tailored for crossed cube multiprocessor systems , 2005, Microprocess. Microsystems.

[117]  Ivan Stojmenovic,et al.  Routing with Guaranteed Delivery in Ad Hoc Wireless Networks , 2001, Wirel. Networks.

[118]  R. Rengaswamy,et al.  Comprehensive design of a sensor network for chemical plants based on various diagnosability and reliability criteria. 1. Framework , 2002 .

[119]  GERNOT METZE,et al.  On the Connection Assignment Problem of Diagnosable Systems , 1967, IEEE Trans. Electron. Comput..

[120]  Huan Liu,et al.  Building a distributed robot garden , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[121]  Xin-She Yang,et al.  Firefly Algorithms for Multimodal Optimization , 2009, SAGA.

[122]  James Kennedy,et al.  Particle swarm optimization , 2002, Proceedings of ICNN'95 - International Conference on Neural Networks.

[123]  Witold Pedrycz,et al.  Shadowed c-means: Integrating fuzzy and rough clustering , 2010, Pattern Recognit..