Skip to main content

AutoMoDe-Arlequin: Neural Networks as Behavioral Modules for the Automatic Design of Probabilistic Finite-State Machines

  • Conference paper
  • First Online:
Swarm Intelligence (ANTS 2020)

Abstract

We present Arlequin, an off-line automatic design method that produces control software for robot swarms by combining behavioral neural-network modules generated via neuro-evolution. The neural-network modules are automatically generated once, in a mission-agnostic way, and are then automatically assembled into probabilistic finite-state machines to perform various missions. With Arlequin, our goal is to reduce the amount of human intervention that is required for the implementation or the operation of previously published modular design methods. Simultaneously, we assess whether neuro-evolution can be used in a modular design method to produce control software that crosses the reality gap satisfactorily. We present robot experiments in which we compare Arlequin with Chocolate, a state of the art modular design method, and EvoStick, a traditional neuro-evolutionary swarm robotics method. The preliminary results suggest that automatically combining neural-network modules into probabilistic finite-state machines is a promising approach to the automatic conception of control software for robot swarms.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: languages for spatial computing. In: Marjan, M. (ed.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, pp. 436–501. IGI Global, Hershey (2012). https://doi.org/10.4018/978-1-4666-2092-6.ch016

  2. Berman, S., Kumar, V., Nagpal, R.: Design of control policies for spatially inhomogeneous robot swarms with application to commercial pollination. In: IEEE International Conference on Robotics and Automation, ICRA, Piscataway, NJ, USA, pp. 378–385. IEEE (2011). https://doi.org/10.1109/ICRA.2011.5980440

  3. Birattari, M.: On the estimation of the expected performance of a metaheuristic on a class of instances. How many instances, how many runs? Technical report TR/IRIDIA/2004-01, IRIDIA, Université libre de Bruxelles, Belgium (2004)

    Google Scholar 

  4. Birattari, M., Yuan, Z., Balaprakash, P., Stützle, T.: F-race and iterated F-race: an overview. In: Bartz-Beielstein, T., Chiarandini, M., Paquete, L., Preuss, M. (eds.) Experimental Methods for the Analysis of Optimization Algorithms, pp. 311–336. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-02538-9_13

    Chapter  Google Scholar 

  5. Bongard, J.C.: Evolutionary robotics. Commun. ACM 56(8), 74–83 (2013)

    Article  Google Scholar 

  6. Bongard, J.C., Lipson, H.: Once more unto the breach: co-evolving a robot and its simulator. In: Pollack, J.B., Bedau, M.A., Husbands, P., Watson, R.A., Ikegami, T. (eds.) Artificial Life IX: Proceedings of the Conference on the Simulation and Synthesis of Living Systems, pp. 57–62. MIT Press, Cambridge (2004)

    Google Scholar 

  7. Brambilla, M., Brutschy, A., Dorigo, M., Birattari, M.: Property-driven design for swarm robotics: a design method based on prescriptive modeling and model checking. ACM Trans. Auton. Adapt. Syst. 9(4), 17:1–17:28 (2014). https://doi.org/10.1145/2700318

  8. Brambilla, M., Ferrante, E., Birattari, M., Dorigo, M.: Swarm robotics: a review from the swarm engineering perspective. Swarm Intell. 7(1), 1–41 (2013). https://doi.org/10.1007/s11721-012-0075-2

    Article  Google Scholar 

  9. Bredeche, N., Haasdijk, E., Prieto, A.: Embodied evolution in collective robotics: a review. Front. Robot. AI 5, 12 (2018). https://doi.org/10.3389/frobt.2018.00012

    Article  Google Scholar 

  10. Brooks, R.A.: Artificial life and real robots. In: Varela, F.J., Bourgine, P. (eds.) Towards a Practice of Autonomous Systems. Proceedings of the First European Conference on Artificial Life, pp. 3–10. MIT Press, Cambridge (1992)

    Google Scholar 

  11. Chambers, J.M., Cleveland, W.S., Kleiner, B., Tukey, P.A.: Graphical Methods For Data Analysis. CRC Press, Belmont (1983)

    MATH  Google Scholar 

  12. Doncieux, S., Mouret, J.-B.: Beyond black-box optimization: a review of selective pressures for evolutionary robotics. Evol. Intell. 7(2), 71–93 (2014). https://doi.org/10.1007/s12065-014-0110-x

    Article  Google Scholar 

  13. Dorigo, M., Birattari, M., Brambilla, M.: Swarm robotics. Scholarpedia 9(1), 1463 (2014). https://doi.org/10.4249/scholarpedia.1463

    Article  Google Scholar 

  14. Duarte, M., et al.: Evolution of collective behaviors for a real swarm of aquatic surface robots. Plos One 11(3), e0151834 (2016). https://doi.org/10.1371/journal.pone.0151834

    Article  Google Scholar 

  15. Duarte, M., Oliveira, S.M., Christensen, A.L.: Evolution of hierarchical controllers for multirobot systems. In: Sayama, H., Rieffel, J., Risi, S., Doursat, R., Lipson, H. (eds.) Artificial Life 14. Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems, pp. 657–664. MIT Press, Cambridge (2014). https://doi.org/10.7551/978-0-262-32621-6-ch105

  16. Floreano, D., Husbands, P., Nolfi, S.: Evolutionary robotics. In: Siciliano, B., Khatib, O. (eds.) Springer Handbook of Robotics, pp. 1423–1451. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-30301-5_62

    Chapter  Google Scholar 

  17. Floreano, D., Mondada, F.: Evolution of plastic neurocontrollers for situated agents. In: Maes, P., Matarić, M.J., Meyer, J.A., Pollack, J.B., Wilson, S.W. (eds.) From Animals to Animats 4: Proceedings of the Fourth International Conference on Simulation of Adaptive Behavior (SAB), pp. 402–410. MIT Press, Cambridge (1996)

    Google Scholar 

  18. Francesca, G., Birattari, M.: Automatic design of robot swarms: achievements and challenges. Front. Robot. AI 3(29), 1–9 (2016). https://doi.org/10.3389/frobt.2016.00029

    Article  Google Scholar 

  19. Francesca, G., et al.: AutoMoDe-chocolate: automatic design of control software for robot swarms. Swarm Intell. 9(2–3), 125–152 (2015). https://doi.org/10.1007/s11721-015-0107-9

  20. Francesca, G., Brambilla, M., Brutschy, A., Trianni, V., Birattari, M.: AutoMoDe: a novel approach to the automatic design of control software for robot swarms. Swarm Intell. 8(2), 89–112 (2014). https://doi.org/10.1007/s11721-014-0092-4

    Article  Google Scholar 

  21. Garattoni, L., Francesca, G., Brutschy, A., Pinciroli, C., Birattari, M.: Software infrastructure for e-puck (and TAM). Technical report TR/IRIDIA/2015-004, IRIDIA, Université libre de Bruxelles, Belgium (2015)

    Google Scholar 

  22. Geman, S., Bienenstock, E., Doursat, R.: Neural networks and the bias/variance dilemma. Neural Comput. 4(1), 1–58 (1992). https://doi.org/10.1162/neco.1992.4.1.1

    Article  Google Scholar 

  23. Gomes, J., Christensen, A.L.: Task-agnostic evolution of diverse repertoires of swarm behaviours. In: Dorigo, M., Birattari, M., Blum, C., Christensen, A.L., Reina, A., Trianni, V. (eds.) ANTS 2018. LNCS, vol. 11172, pp. 225–238. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00533-7_18

    Chapter  Google Scholar 

  24. Gutiérrez, Á., Campo, A., Dorigo, M., Donate, J., Monasterio-Huelin, F., Magdalena, L.: Open e-puck range & bearing miniaturized board for local communication in swarm robotics. In: Kosuge, K. (ed.) IEEE International Conference on Robotics and Automation, ICRA, Piscataway, NJ, USA, pp. 3111–3116. IEEE (2009). https://doi.org/10.1109/ROBOT.2009.5152456

  25. Hamann, H.: Swarm Robotics: A Formal Approach. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74528-2

    Book  Google Scholar 

  26. Hamann, H., Wörn, H.: A framework of space-time continuous models for algorithm design in swarm robotics. Swarm Intell. 2(2–4), 209–239 (2008). https://doi.org/10.1007/s11721-008-0015-3

    Article  Google Scholar 

  27. Hasselmann, K., Robert, F., Birattari, M.: Automatic design of communication-based behaviors for robot swarms. In: Dorigo, M., Birattari, M., Blum, C., Christensen, A.L., Reina, A., Trianni, V. (eds.) ANTS 2018. LNCS, vol. 11172, pp. 16–29. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00533-7_2

    Chapter  Google Scholar 

  28. Jakobi, N.: Evolutionary robotics and the radical envelope-of-noise hypothesis. Adapt. Behav. 6(2), 325–368 (1997). https://doi.org/10.1177/105971239700600205

    Article  Google Scholar 

  29. Jakobi, N.: Minimal simulations for evolutionary robotics. Ph.D. thesis, University of Sussex, Falmer, UK (1998)

    Google Scholar 

  30. Jakobi, N., Husbands, P., Harvey, I.: Noise and the reality gap: the use of simulation in evolutionary robotics. In: Morán, F., Moreno, A., Merelo, J.J., Chacón, P. (eds.) ECAL 1995. LNCS, vol. 929, pp. 704–720. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-59496-5_337

    Chapter  Google Scholar 

  31. Kazadi, S.: Model independence in swarm robotics. Int. J. Intell. Comput. Cybern. 2(4), 672–694 (2009). https://doi.org/10.1108/17563780911005836

    Article  MathSciNet  MATH  Google Scholar 

  32. Koos, S., Mouret, J.B., Doncieux, S.: The transferability approach: crossing the reality gap in evolutionary robotics. IEEE Trans. Evol. Comput 17(1), 122–145 (2013). https://doi.org/10.1109/TEVC.2012.2185849

    Article  Google Scholar 

  33. Kuckling, J., Ligot, A., Bozhinoski, D., Birattari, M.: Behavior trees as a control architecture in the automatic modular design of robot swarms. In: Dorigo, M., Birattari, M., Blum, C., Christensen, A.L., Reina, A., Trianni, V. (eds.) ANTS 2018. LNCS, vol. 11172, pp. 30–43. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00533-7_3

    Chapter  Google Scholar 

  34. Ligot, A., Birattari, M.: On mimicking the effects of the reality gap with simulation-only experiments. In: Dorigo, M., Birattari, M., Blum, C., Christensen, A.L., Reina, A., Trianni, V. (eds.) ANTS 2018. LNCS, vol. 11172, pp. 109–122. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00533-7_9

    Chapter  Google Scholar 

  35. Ligot, A., Birattari, M.: Simulation-only experiments to mimic the effects of the reality gap in the automatic design of robot swarms. Swarm Intell. 14(1), 1–24 (2019). https://doi.org/10.1007/s11721-019-00175-w

    Article  Google Scholar 

  36. Ligot, A., Hasselmann, K., Birattari, M.: AutoMoDe-Arlequin: neural networks as behavioral modules for the automatic design of probabilistic finite state machines: supplementary material (2020). http://iridia.ulb.ac.be/supp/IridiaSupp2020-005/index.html

  37. Lopes, Y.K., Trenkwalder, S.M., Leal, A.B., Dodd, T.J., Groß, R.: Supervisory control theory applied to swarm robotics. Swarm Intell. 10(1), 65–97 (2016). https://doi.org/10.1007/s11721-016-0119-0

    Article  Google Scholar 

  38. López-Ibáñez, M., Dubois-Lacoste, J., Pérez Cáceres, L., Birattari, M., Stützle, T.: The irace package: iterated racing for automatic algorithm configuration. Oper. Res. Perspect. 3, 43–58 (2016). https://doi.org/10.1016/j.orp.2016.09.002

    Article  MathSciNet  Google Scholar 

  39. Miglino, O., Lund, H.H., Nolfi, S.: Evolving mobile robots in simulated and real environments. Artif. Life 2(4), 417–434 (1995). https://doi.org/10.1162/artl.1995.2.4.417

    Article  Google Scholar 

  40. Mondada, F., et al.: The e-puck, a robot designed for education in engineering. In: Gonçalves, P., Torres, P., Alves, C. (eds.) Proceedings of the 9th Conference on Autonomous Robot Systems and Competitions, pp. 59–65. Instituto Politécnico de Castelo Branco, Castelo Branco (2009)

    Google Scholar 

  41. Nolfi, S., Floreano, D.: Evolutionary Robotics: The Biology, Intelligence, and Technology of Self-Organizing Machines. MIT Press, Cambridge (2000)

    Google Scholar 

  42. Pinciroli, C., Beltrame, G.: Buzz: a programming language for robot swarms. IEEE Softw. 33(4), 97–100 (2016). https://doi.org/10.1109/MS.2016.95

    Article  Google Scholar 

  43. Pinciroli, C., et al.: ARGoS: a modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intell. 6(4), 271–295 (2012). https://doi.org/10.1007/s11721-012-0072-5

    Article  Google Scholar 

  44. Reina, A., Valentini, G., Fernández-Oto, C., Dorigo, M., Trianni, V.: A design pattern for decentralised decision making. PLOS ONE 10(10), e0140950 (2015). https://doi.org/10.1371/journal.pone.0140950

    Article  Google Scholar 

  45. Salman, M., Ligot, A., Birattari, M.: Concurrent design of control software and configuration of hardware for robot swarms under economic constraints. PeerJ Comput. Sci. 5, e221 (2019). https://doi.org/10.7717/peerj-cs.221

    Article  Google Scholar 

  46. Silva, F., Duarte, M., Correia, L., Oliveira, S.M., Christensen, A.L.: Open issues in evolutionary robotics. Evol. Comput. 24(2), 205–236 (2016). https://doi.org/10.1162/EVCO_a_00172

    Article  Google Scholar 

  47. Trianni, V.: Evolutionary Swarm Robotics. Springer, Berlin (2008). https://doi.org/10.1007/978-3-540-77612-3

    Book  Google Scholar 

  48. Trianni, V.: Evolutionary robotics: model or design? Front. Robot. AI 1, 13 (2014). https://doi.org/10.3389/frobt.2014.00013

    Article  Google Scholar 

  49. Wolpert, D.: On bias plus variance. Neural Comput. 9, 1211–1243 (1997). https://doi.org/10.1162/neco.1997.9.6.1211

    Article  Google Scholar 

Download references

Acknowledgements

The experiments were conceived by the three authors and performed by AL and KH. The article was drafted by AL and revised by the three authors. The research was directed by MB.

The project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 681872). MB acknowledges support from the Belgian Fonds de la Recherche Scientifique – FNRS.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mauro Birattari .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ligot, A., Hasselmann, K., Birattari, M. (2020). AutoMoDe-Arlequin: Neural Networks as Behavioral Modules for the Automatic Design of Probabilistic Finite-State Machines. In: Dorigo, M., et al. Swarm Intelligence. ANTS 2020. Lecture Notes in Computer Science(), vol 12421. Springer, Cham. https://doi.org/10.1007/978-3-030-60376-2_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-60376-2_21

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-60375-5

  • Online ISBN: 978-3-030-60376-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics