Abstract
The importance of swarm robotics systems in both academic research and real-world applications is steadily increasing. However, to reach widespread adoption, new models that ensure the secure cooperation of large groups of robots need to be developed. This work introduces a method to encapsulate cooperative robotic missions in an authenticated data structure known as a Merkle tree. With this method, operators can provide the “blueprint” of the swarm’s mission without disclosing its raw data. In other words, data verification can be separated from data itself. We propose a system where robots in a swarm, to cooperate toward mission completion, have to “prove” their integrity to their peers by exchanging cryptographic proofs. We show the implications of this approach for two different swarm robotics missions: foraging and maze formation. In both missions, swarm robots were able to cooperate and carry out sequential tasks without having explicit knowledge about the mission’s high-level objectives. The results presented in this work demonstrate the feasibility of using Merkle trees as a cooperation mechanism for swarm robotics systems in both simulation and real-robot experiments, which has implications for future decentralized robotics applications where security plays a crucial role.
Register and access this article for free
As a service to the community, this article is available for free.
Access the full article
View all access options to continue reading this article.
Supplementary Material
Summary
Sections S1 to S4
Figs. S1 to S4
Movies S1 to S5
Resources
REFERENCES AND NOTES
1
M. Dorigo, M. Birattari, M. Brambilla, Swarm robotics. Scholarpedia 9, 1463 (2014).
2
R. D’Andrea, Guest Editorial: A revolution in the warehouse: A retrospective on kiva systems and the grand challenges ahead. IEEE Trans. Autom. Sci. Eng. 9, 638–639 (2012).
3
T. Blender, T. Buchner, B. Fernandez, B. Pichlmaier, C. Schlegel, Managing a mobile agricultural robot swarm for a seeding task, in Proceedings of the IECON 2016—42nd Annual Conference of the IEEE Industrial Electronics Society (IEEE, 2016), pp. 6879–6886.
4
D. Albani, J. IJsselmuiden, R. Haken, V. Trianni, Monitoring and mapping with robot swarms for agricultural applications, in Proceedings of the 2017 14th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS) (IEEE, 2017), pp. 1–6.
5
Y. Chen, Z. Du, M. García-Acosta, Robot as a service in cloud computing, in Proceedings of the 2010 Fifth IEEE International Symposium on Service Oriented System Engineering, SOSE ’10, IEEE Computer Society, Washington, DC, 2010, pp. 151–158.
6
H. He, S. Kamburugamuve, G. Fox, W. Zhao, Cloud based real-time multi-robot collision avoidance for swarm robotics. Int. J. Grid Distrib. Comput. 9, 339–358 (2016).
7
M. H. A. Majid, M. R. Arshad, Design of an autonomous surface vehicle (ASV) for swarming application, in Proceedings of the 2016 IEEE/OES Autonomous Underwater Vehicles (AUV) (IEEE, 2016), pp. 230–235.
8
Y. Mulgaonkar, A. Makineni, L. Guerrero-Bonilla, V. Kumar, Robust aerial robot Swarms without collision avoidance. IEEE Robot. Autom. Lett. 3, 596–603 (2018).
9
D. Rus, M. T. Tolley, Design, fabrication and control of origami robots. Nat. Rev. Mater. 3, 101–112 (2018).
10
E. Castello Ferrer, S. Y. Hanay, Demo: A low-cost, highly customizable robotic platform for testing mobile sensor networks, in Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc ’15, ACM, New York, NY, 2015, pp. 411–412.
11
N. Oxman, J. Duro-Royo, S. Keating, B. Peters, E. Tsai, Towards robotic swarm printing. Archit. Design 84, 108–115 (2014).
12
D. Chaudhari, S. A. Bhosale, A review on management of logistics using swarm robotics, in Proceedings of the 2016 International Conference on Communication and Signal Processing (ICCSP) (IEEE, 2016), pp. 0371–0373.
13
A. Heinla, A. Martinson, K. Volkov, A. Macks, L. Roberts, I. Mandre, M. Liivik, T. Liivik, I. Liivik, Method and system for autonomous or semi-autonomous delivery, U.S. Patent 0232839A1 (9 April 2018).
14
A. L. Alfeo, E. Castello Ferrer, Y. Lizarribar Carrillo, A. Grignard, L. Alonso Pastor, D. T. Sleeper, M. G.C.A. Cimino, B. Lepri, G. Vaglini, K. Larson, M. Dorigo, A. Pentland, Urban Swarms: A new approach for autonomous waste management, in Proceedings of the 2019 International Conference on Robotics and Automation (ICRA) (IEEE, 2019), pp. 4233–4240.
15
G.-Z. Yang, J. Bellingham, P. E. Dupont, P. Fischer, L. Floridi, R. Full, N. Jacobstein, V. Kumar, M. McNutt, R. Merrifield, B. J. Nelson, B. Scassellati, M. Taddeo, R. Taylor, M. Veloso, Z. L. Wang, R. Wood, The grand challenges of Science Robotics. Sci. Robot. 3, eaar7650 (2018).
16
P. Scharre, in Robotics on the Battlefield Part II: The Coming Swarm, Center for New American Security (2014), pp. 1–4.
17
S. Vivek, D. Yanni, P. J. Yunker, J. L. Silverberg, Cyberphysical risks of hacked internet-connected vehicles. Phys. Rev. E 100, 012316 (2019).
18
R. N. Akram, K. Markantonakis, K. Mayes, O. Habachi, D. Sauveron, A. Steyven, S. Chaumette, Security, privacy and safety evaluation of dynamic and static fleets of drones, in Proceedings of the 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC) (IEEE, 2017), pp. 1–12.
19
S. Gil, S. Kumar, M. Mazumder, D. Katabi, D. Rus, Guaranteeing spoof-resilient multi-robot networks. Autonom. Robots 41, 1383–1400 (2017).
20
A. Prorok, V. Kumar, A macroscopic privacy model for heterogeneous robot swarms. ANTS 2016 Lecture Notes in Comp. Sci. 9882, 15–27 (2016).
21
A. Prorok, V. Kumar, Towards differentially private aggregation of heterogeneous robots. Distrib. Autonom. Robot. Syst. Springer Proc. Adv. Robot. 6, 587–601 (2018).
22
A. L. Christensen, R. O’Grady, M. Birattari, M. Dorigo, Exogenous fault detection in a collective robotic task. Adv. Artif. Life Proc. ECAL 2007 4648, 555–564 (2007).
23
A. L. Christensen, R. O’Grady, M. Dorigo, Synchronization and Fault Detection in Autonomous Robots, in Proceedings of the 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2008) (IEEE, 2008), pp. 4139–4140.
24
S. Nouyan, R. Groß, M. Bonani, F. Mondada, M. Dorigo, Teamwork in self-organized robot colonies. IEEE Trans. Evol. Comput. 13, 695–711 (2009).
25
A. G. Millard, J. Timmis, A. F. T. Winfield, Towards exogenous fault detection in swarm robotic systems, in Towards Autonomous Robotic Systems. TAROS 2013 (Lecture Notes in Computer Science, Springer, 2013), pp. 429–430.
26
J. D. Bjerknes, A. F. T. Winfield, On fault tolerance and scalability of swarm robotic systems, in Distributed Autonomous Robotic Systems: The 10th International Symposium (Springer, 2013), pp. 431–444.
27
V. Strobel, E. Castello Ferrer, M. Dorigo, Managing Byzantine robots via blockchain technology in a swarm robotics collective decision making scenario, in Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS, 2018), pp. 541–549.
28
V. Strobel, E. Castello Ferrer, M. Dorigo, Blockchain technology secures robot swarms: A comparison of consensus protocols and their resilience to Byzantine robots. Front. Robot. AI 7, 54 (2020).
29
A. F. Winfield, J. Nembrini, Safety in numbers: Fault-tolerance in robot swarms. Int. J. Model. Identifi. Control 1, 30–37 (2006).
30
F. Higgins, A. Tomlinson, K. M. Martin, Survey on security challenges for swarm robotics, in Proceeding of the IEEE 2009 Fifth International Conference on Autonomic and Autonomous Systems (IEEE, 2009), pp. 307–312.
31
I. Sargeant, A. Tomlinson, Review of potential attacks on robotic swarms, in Proceedings of 2016 SAI Intelligent Systems Conference (IntelliSys) (Lecture Notes in Networks and Systems, Springer, 2018), vol. 16, pp. 628–646.
32
M. Dorigo, D. Floreano, L. M. Gambardella, F. Mondada, S. Nolfi, T. Baaboura, M. Birattari, M. Brambilla, A. Brutschy, D. Burnier, A. Campo, A. L. Christensen, A. Decugniere, G. Di Caro, F. Ducatelle, E. Ferrante, A. Forster, J. Martinez Gonzales, J. Guzzi, V. Longchamp, S. Magnenat, N. Mathews, M. Montes de Oca, R. O’ Grady, C. Pinciroli, G. Pini, P. Retornaz, J. Roberts, V. Sperati, T. Stirling, T. Stutzle, V. Trianni, E. Tuci, A. E. Turgut, F. Vaussard, Swarmanoid: A novel concept for the study of heterogeneous robotic swarms. IEEE Robot. Autom. Mag. 20, 60–71 (2013).
33
J. Werfel, K. Petersen, R. Nagpal, Designing collective behavior in a termite-inspired robot construction team. Science 343, 754–758 (2014).
34
R. C. Merkle, A digital signature based on a conventional encryption function. Adv. Cryptol. 293, 369–378 (1988).
35
F. Mondada, M. Bonani, X. Raemy, J. Pugh, C. Cianci, A. Klaptocz, S. Magnenat, J.C. Zufferey, D. Floreano, A. Martinoli, The e-puck, a robot designed for education in engineering, in Proceedings of the 9th Conference on Autonomous Robot Systems and Competitions (IPCB, 2009), vol. 1, pp. 59–65.
36
S. Halevi, D. Harnik, B. Pinkas, A. Shulman-Peleg, Proofs of ownership in remote storage systems, in Proceedings of the 18th ACM Conference on Computer and Communications Security (ACM, 2011), pp. 491–500.
37
J. A. Marvel, R. Bostelman, J. Falco, Multi-robot assembly strategies and metrics. ACM Comput. Surv. 51, 1–32 (2018).
38
A. Farinelli, N. Boscolo, E. Zanotto, E. Pagello, Advanced approaches for multi-robot coordination in logistic scenarios. Robot. Autonom. Syst. 90, 34–44 (2017).
39
I. Roman-Ballesteros and C. F. Pfeiffer, A framework for cooperative multi-robot surveillance tasks, in Proceedings of the Electronics, Robotics and Automotive Mechanics Conference (CERMA’06) (IEEE, 2006), vol. 2, pp. 163–170.
40
L. Garattoni, M. Birattari, Autonomous task sequencing in a robot swarm. Sci. Robot. 3, eaat0430 (2018).
41
C. E. Shannon, A mathematical theory of communication. Bell Syst. Tech. J. 27, 379–423 (1948).
43
A. Stranieri, A.E. Turgut, M. Salvaro, G. Francesca, A. Reina, M. Dorigo, M. Birattari, “IRIDIA’s arena tracking system” (Technical Report TR/IRIDIA/2013-013, IRIDIA, Université libre de Bruxelles, 2013), pp. 1–7.
44
M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote, J. Leibs, B. Wheeler, A. Ng, ROS: An open-source robot operating system. ICRA Workshop Open Source Software 3, (2009).
45
A. Tiderko, F. Hoeller, T. Röhling, The ROS multimaster extension for simplified deployment of multi-robot systems. Robot Operat. Syst. 1, 629–650 (2016).
46
A. Drogoul, E. Amouroux, P. Caillou, B. Gaudou, A. Grignard, N. Marilleau, P. Taillandier, M. Vavasseur, D. A. Vo, J. D. Zucker, GAMA: A spatially explicit, multi-level, agent-based modeling and simulation platform. Adv. Pract. Appl. Agents Multi-Agent Syst. 1, 271–274 (2013).
47
C. Pinciroli, V. Trianni, R. O’Grady, G. Pini, A. Brutschy, M. Brambilla, N. Mathews, E. Ferrante, G. Di Caro, F. Ducatelle, M. Birattari, L. C. Gambardella, M. Dorigo, ARGoS: A modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intell. 6, 271–295 (2012).
48
A. D. Maynard, Navigating the fourth industrial revolution. Nat. Nanotechnol. 10, 1005–1006 (2015).
49
W. E. Forum, The future of jobs: Employment, skills and workforce strategy for the fourth industrial revolution. Global Challenge Insight Rep. World Eco. Forum 2016, 1–167 (2016).
50
K. Schwab, The Fourth Industrial Revolution (World Economic Forum, 2017).
51
E. Sisinni, A. Saifullah, S. Han, U. Jennehag, M. Gidlund, Industrial internet of things: Challenges, opportunities, and directions. IEEE Trans. Indust. Inform. 14, 4724–4734 (2018).
52
S. Park, N. Crespi, H. Park, S.-H. Kim, IoT routing architecture with autonomous systems of things, in Proceedings of the 2014 IEEE World Forum on Internet of Things (WF-IoT) (IEEE, 2014), vol. 1, pp. 442–445.
53
G. A. Bekey, Autonomous Robots: From Biological Inspiration to Implementation and Control (MIT Press, 2005).
54
F. Fahimi, Autonomous Robots: Modeling, Path Planning, and Control (Springer, 2009).
55
J. Lee, B. Bagheri, H.-A. Kao, A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufac. Lett. 3, 18–23 (2015).
56
Y.-Y. Hsieh, “The rise of decentralized autonomous organizations: Coordination and growth within cryptocurrencies,” thesis, University of Western Ontario (2018).
57
M. Swan, Blockchain: Blueprint for a New Economy (O’Reilly Media, 2015).
58
M. Swan, Blockchain thinking: The brain as a decentralized autonomous corporation [Commentary]. IEEE Technol. Soc. Mag. 34, 41–52 (2015).
59
V. Buterin, in A Next-Generation Smart Contract and Decentralized Application Platform (White Paper, 2014), pp. 1–36.
60
I. Lianos, P. Hacker, S. Eich, G. Dimitropoulos, Regulating Blockchain: Techno-Social and Legal Challenges (Oxford Univ. Press, 2019).
61
P. Veena, S. Panikkar, S. Nair, P. Brody, Empowering the Edge: Practical Insights on a Decentralized Internet of Things (IBM Institute for Business Value, 2015).