Data-driven approach to ensuring fault tolerance and efficiency of swarm systems

Swarms of drones are increasingly deployed to perform a variety of monitoring tasks. However, despite a growing popularity of swarm-based monitoring solutions, there is still a lack of approaches that allow the designers to ensure that a swarm configuration maximizes coverage of the monitored area and delivers the desired quality of the monitored data. A drone might fail or run out of energy and hence leave some blind spots in the monitored area. Moreover, an inefficient configuration resulting in the energy-greedy communication can quickly deplete the batteries of the drones and force a premature mission termination. We propose a novel data-driven integrated solution that combines learning and optimization over the streams of monitored data to ensure fault tolerance and efficiency of the swarm navigation. The benchmarking results demonstrate that the proposed approach allows us to significantly improve the coverage and energy efficiency characteristics.

[1]  Elena Troubitsyna,et al.  Formal Development and Assessment of a Reconfigurable On-board Satellite System , 2012, SAFECOMP.

[2]  Hannu Tenhunen,et al.  Placement of Smart Mobile Access Points in Wireless Sensor Networks and Cyber-Physical Systems Using Fog Computing , 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld).

[3]  Elena Troubitsyna,et al.  Formal Development of Critical Multi-agent Systems: A Refinement Approach , 2012, 2012 Ninth European Dependable Computing Conference.

[4]  Elena Troubitsyna,et al.  Verifying Mode Consistency for On-Board Satellite Software , 2010, SAFECOMP.

[5]  Caro Lucas,et al.  Imperialist competitive algorithm: An algorithm for optimization inspired by imperialistic competition , 2007, 2007 IEEE Congress on Evolutionary Computation.

[6]  Elena Troubitsyna,et al.  Formal reasoning about resilient goal-oriented multi-agent systems , 2017, Sci. Comput. Program..

[7]  Elena Troubitsyna,et al.  Towards Probabilistic Modelling in Event-B , 2010, IFM.

[8]  Elena Troubitsyna,et al.  Developing mode-rich satellite software by refinement in Event-B , 2013, Sci. Comput. Program..

[9]  Masoud Daneshtalab,et al.  PICA: Multi-population Implementation of Parallel Imperialist Competitive Algorithms , 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).

[10]  Annabelle McIver,et al.  The probabilistic steam boiler: a case study in probabilistic data refinement , 1998 .

[11]  Elena Troubitsyna,et al.  The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation , 2015, SAFECOMP.

[12]  Elena Troubitsyna,et al.  Formal Goal-Oriented Development of Resilient MAS in Event-B , 2012, Ada-Europe.

[13]  Masoud Daneshtalab,et al.  Safety-Aware Control of Swarms of Drones , 2017, SAFECOMP Workshops.

[14]  Elena Troubitsyna,et al.  Integrating stochastic reasoning into Event-B development , 2014, Formal Aspects of Computing.

[15]  Jukka Suomela Computational Complexity of Relay Placement in Sensor Networks , 2006, SOFSEM.

[16]  Zhiping Lin,et al.  Extreme Learning Machine for Clustering , 2015 .

[17]  Elena Troubitsyna,et al.  Formal Development and Quantitative Assessment of a Resilient Multi-robotic System , 2013, SERENE.

[18]  Elena Troubitsyna,et al.  Developing Mode-Rich Satellite Software by Refinement in Event B , 2010, FMICS.