Property-driven design for swarm robotics

11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track

Volumn 2, Issue , 2012, Pages 664-671

  Brambilla, Manuele ^a   Pinciroli, Carlo ^a   Birattari, Mauro ^a   Dorigo, Marco ^a  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

Aggregation; Swarm engineering; Swarm robotics; Top down design

Indexed keywords

AGGLOMERATION; AUTONOMOUS AGENTS; ITERATIVE METHODS; MULTI AGENT SYSTEMS; ROBOTICS;

DESIGN AND DEVELOPMENT; DISCRETE TIME MARKOV CHAINS; HARDWARE INDEPENDENT; PROBABILISTIC COMPUTATION TREE LOGIC; SWARM ENGINEERING; SWARM ROBOTICS; TEST DRIVEN DEVELOPMENT; TOP-DOWN DESIGNS;

DESIGN;

EID: 84899465530     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. R. Abbott. Emergence explained. Complexity, 12(1):13-26, 2006.
2. J. Bachrach, J. Beal, and J. McLurkin. Composable continuous-space programs for robotic swarms. Neural Computation & Applications, 19:825-847, 2010.
3. E. Bahçeci and E. Şahin. Evolving aggregation behaviors for swarm robotic systems: A systematic case study. In Proceedings of the 2005 Swarm Intelligence Symposium - (SIS 2005), pages 333-340, Piscataway, NJ, 2005. IEEE Press.
4. L. Bayindir and E. Şahin. A review of studies in swarm robotics. Turkish Journal of Electrical Engineering, 15(2):115-147, 2007.
5. K. Beck. Test-driven Development: By Example. Addison-Wesley, Boston, MA, 2003.
6. S. Berman, A. Halasz, M. Hsieh, and V. Kumar. Optimized stochastic policies for task allocation in swarms of robots. IEEE Transactions on Robotics, 25(4):927-937, 2009.
7. B. Boehm. A spiral model of software development and enhancement. Computer, 21(5):61-72, 1988.
8. M. Brambilla, C. Pinciroli, M. Birattari, and M. Dorigo. Property-driven design for swarm robotics: Complete data, 2011. Supplementary information page at http://iridia.ulb.ac.be/supp/IridiaSupp2011-018/.
9. S. Camazine, J.-L. Deneubourg, N. R. Franks, J. Sneyd, G. Theraulaz, and E. Bonabeau. Self-Organization in Biological Systems. Princeton Studies in Complexity. Princeton University Press, Princeton, NJ, 2001.
10. F. Ciesinski and M. Größer. On probabilistic computation tree logic. In Validation of Stochastic Systems, number 2925 in Lecture Notes in Computer Science, pages 333-355. Springer, Berlin, Germany, 2004.
11. E. Clarke. Model checking. In Foundations of Software Technology and Theoretical Computer Science, number 1346 in Lecture Notes in Computer Science, pages 54-56. Springer, Berlin, Heidelberg, 1997.
12. D. Cleary. Perspectives on complex-system engineering. Collaborations, 3(2):1-4, 2005.
13. E. Şahin. Swarm robotics: from sources of inspiration to domains of application. In Swarm Robotics, Volume 3342 of Lecture notes in computer science, pages 10-20. Springer, Berlin, Heidelberg, 2005.
14. C. Dixon, A. Winfield, and M. Fisher. Towards temporal verification of emergent behaviours in swarm robotic systems. In Towards Autonomous Robotic Systems, Volume 6856 of Lecture Notes in Computer Science, pages 336-347. Springer, Berlin, Heidelberg, 2011.
15. A. Gutiérrez, A. Campo, M. Dorigo, J. Donate, F. Monasterio-Huelin, and L. Magdalena. Open e-puck range & bearing miniaturized board for local communication in swarm robotics. In IEEE International Conference on Robotics and Automation - ICRA 2009, pages 3111-3116. IEEE Press, Piscataway, NJ, 2009.
16. H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
17. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. Prism: A tool for automatic verification of probabilistic systems. In Tools and Algorithms for the Construction and Analysis of Systems, number 3920 in Lecture Notes in Computer Science, pages 441-444. Springer, Berlin, Germany, 2006.
18. R. Jeanson, C. Rivault, J.-L. Deneubourg, S. Blanco, R. Fournier, C. Jost, and G. Theraulaz. Self-organized aggregation in cockroaches. Animal Behaviour, 69(1):169-180, 2005.
19. S. Kazadi, J. R. Lee, and J. Lee. Model independence in swarm robotics. International Journal of Intelligent Computing and Cybernetics, Special Issue on Swarm Robotics, 2(4):672-694, 2009.
20. S. Konur and C. Dixon. Formal verification of probabilistic swarm behaviours. In Swarm Intelligence, 7th International Conference, ANTS 2010, Volume 6234 of Lecture Notes in Computer Science, pages 572-573. Springer, Berlin, Germany, 2010.
21. K. Lerman, A. Martinoli, and A. Galstyan. A review of probabilistic macroscopic models for swarm robotic systems. In Swarm robotics, Volume 3342 of Lecture Notes in Computer Science, pages 143-152. Springer, Berlin, Heidelberg, 2005.
22. A. Martinoli, A. J. Ijspeert, and F. Mondada. Understanding collective aggregation mechanisms: from probabilistic modelling to experiments with real robots. Robotics and Autonomous Systems, 29(1):51-63, 1999.
23. F. Mondada, M. Bonani, X. Raemy, J. Pugh, C. Cianci, A. Klaptocz, S. Magnenat, J.-C. Zufferey, D. Floreano, and A. Martinoli. The e-puck, a robot designed for education in engineering. In Proceedings of the 9th Conference on Autonomous Robot Systems and Competitions, Volume 1, pages 59-65, Portugal, 2009. IPCB: Instituto Politécnico de Castelo Branco.
24. S. Nolfi and D. Floreano. Evolutionary Robotics: The Biology, Intelligence, and Technology of Self-Organizing Machines. MIT Press, Cambridge, MA, 2000.
25. R. O'Grady, C. Pinciroli, A. L. Christensen, and M. Dorigo. Supervised group size regulation in a heterogeneous robotic swarm. In Proceedings of ROBOTICA 2009-9th International Conference on Autonomous Robot Systems and Competitions, pages 113-119. IPCB, Castelo Branco, Portugal, 2009.
26. L. Panait and S. Luke. Cooperative multi-agent learning: the state of the art. Autonomous Agents and Multi-Agent Systems, 11(3):387-434, 2005.
27. C. Pinciroli, V. Trianni, R. O'Grady, G. Pini, A. Brutschy, M. Brambilla, N. Mathews, E. Ferrante, G. A. Di Caro, F. Ducatelle, T. Stirling, A. Gutiérrez, L. M. Gambardella, and M. Dorigo. ARGoS: a modular, multi-engine simulator for heterogeneous swarm robotics. In Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'11), pages 5027-5034. IEEE Computer Society Press, Los Alamitos, CA, 2011.
28. J. M. Smith. Models in ecology. Cambridge University Press, Cambridge, MA, 1978.
29. O. Soysal and E. Şahin. A macroscopic model for self-organized aggregation in swarm robotic systems. In Swarm Robotics, Volume 4433 of Lecture Notes in Computer Science, pages 27-42. Springer, Berlin, Heidelberg, 2007.
30. W. M. Spears, D. F. Spears, J. C. Hamann, and R. Heil. Distributed, physics-based control of swarms of vehicles. Autonomous Robots, 17(2-3):137-162, 2004.
31. S. Stepney, F. Polack, and H. R. Turner. Engineering emergence. In 11th IEEE International Conference on Engineering of Complex Computer Systems, 2006. ICECCS 2006, pages 89-97. IEEE Press, Piscataway, NJ, 2006.
32. V. Trianni, R. Groß, T. H. Labella, E. Şahin, and M. Dorigo. Evolving aggregation behaviors in a swarm of robots. In W. Banzhaf, T. Christaller, P. Dittrich, J. T. Kim, and J. Ziegler, editors, Proceedings of the Seventh European Conference on Artificial Life (ECAL 2003), Volume 2801 of Lecture Notes in Computer Science, pages 865-874. Springer, Berlin, Heidelberg, 2003.