Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking

ACM Transactions on Autonomous and Adaptive Systems

Volumn 9, Issue 4, 2014, Pages

  Brambilla, Manuele ^a   Brutschy, Arne ^a   Dorigo, Marco ^a   Birattari, Mauro ^a  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

Aggregation; Foraging; Model checking; Prescriptive modeling; Swarm robotics; Top down design

Indexed keywords

AGGLOMERATION; DESIGN; ITERATIVE METHODS; MACHINE DESIGN; ROBOTS;

COLLECTIVE BEHAVIOR; FORAGING; INDIVIDUAL BEHAVIOR; ITERATIVE PROCESS; PRESCRIPTIVE MODELS; SWARM ROBOTICS; TECHNICAL SUPPORT; TOP DOWN DESIGN;

MODEL CHECKING;

EID: 84925533477     PISSN: 15564665     EISSN: 15564703     Source Type: Journal    
DOI: 10.1145/2700318     Document Type: Article

References (39)

1. C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. MIT Press, Cambridge, MA.
2. W. Banzhaf and N. Pillay. 2007. Why complex systems engineering needs biological development. Complexity 13, 2, 12-21.
3. K. Beck. 2003. Test-Driven Development: By Example. Addison-Wesley, Boston, MA.
4. S. Berman, A. Halasz, M. A. Hsieh, and V. Kumar. 2009. Optimized stochastic policies for task allocation in swarms of robots. IEEE Transactions on Robotics 25, 4, 927-937.
5. S. Berman, V. Kumar, and R. Nagpal. 2011. Design of control policies for spatially inhomogeneous robot swarms with application to commercial pollination. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'11). 378-385.
6. R. H. Bordini. 2009. Multi-Agent Programming: Languages, Tools and Applications, Vol. 2. Springer, New York. NY.
7. M. Brambilla, M. Dorigo, and M. Birattari. 2014. Property-Driven Design for Robot Swarms A Design Method Based on Prescriptive Modeling and Model Checking. Supplementary material available at http://iridia.ulb.ac.be/supp/IridiaSupp2014-003/index.html.
8. M. Brambilla, E. Ferrante, M. Birattari, and M. Dorigo. 2013. Swarm robotics: A review from the swarm engineering perspective. Swarm Intelligence 7, 1, 1-41.
9. M. Brambilla, C. Pinciroli, M. Birattari, and M. Dorigo. 2012. Property-driven design for swarm robotics. In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12). 139-146.
10. A. Brutschy. 2014. The TAM: A Device for Task Abstraction in Swarm Robotics Research. Technical Report TR/IRIDIA/2010-015.005. IRIDIA, Université Libre de Bruxelles, Brussels, Belgium.
11. F. Ciesinski and M. Größer. 2004. On probabilistic computation tree logic. In Validation of Stochastic Systems. Lecture Notes in Computer Science, Vol. 2925. Springer, 333-355.
12. C. Dixon, A. Winfield, and M. Fisher. 2012. Towards temporal verification of swarm robotic systems. Robotics and Autonomous Systems 60, 11, 1429-1441.
13. M. Dorigo, M. Birattari, and M. Brambilla. 2014. Swarm robotics. Scholarpedia 9, 1, 1463.
14. G. Francesca, M. Brambilla, A. Brutschy, L. Garattoni, R. Miletitch, G. Podevijn, A. Reina, T. Soleymani, M. Salvaro, C. Pinciroli, V. Trianni, and M. Birattari. 2014a. An experiment in automatic design of robot swarms. In Swarm Intelligence. Lecture Notes in Computer Science, Vol. 8667. Springer, 25-37.
15. G. Francesca, M. Brambilla, A. Brutschy, V. Trianni, and M. Birattari. 2014b. AutoMoDe: A novel approach to the automatic design of control software for robot swarms. Swarm Intelligence 8, 2, 89-112.
16. D. Goldberg and M. J. Matarić. 2001. Design and evaluation of robust behavior-based controllers for distributed multi-robot collection tasks. In Robot Teams: From Diversity to Polymorphism. A. K. Peters, Natick, MA, 315-344.
17. A. Gutiérrez, A. Campo, M. Dorigo, J. Donate, F. Monasterio-Huelin, and L. Magdalena. 2009. Open e-puck range and bearing miniaturized board for local communication in swarm robotics. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'09). 3111-3116.
18. H. Hamann. 2013. Towards swarm calculus: Urn models of collective decisions and universal properties of swarm performance. Swarm Intelligence 7, 2-3, 145-172.
19. H. Hamann and H. Wörn. 2008. A framework of space-time continuous models for algorithm design in swarm robotics. Swarm Intelligence 2, 2, 209-239.
20. H. Hansson and B. Jonsson. 1994. A logic for reasoning about time and reliability. Formal Aspects of Computing 6, 5, 512-535.
21. R. Jeanson, C. Rivault, J.-L. Deneubourg, S. Blanco, R. Fournier, C. Jost, and G. Theraulaz. 2005. Self-organized aggregation in cockroaches. Animal Behaviour 69, 1, 169-180.
22. S. Kazadi, J. R. Lee, and J. Lee. 2009. Model independence in swarm robotics. International Journal of Intelligent Computing and Cybernetics: Special Issue on Swarm Robotics 2, 4, 672-694.
23. S. Konur, C. Dixon, and M. Fisher. 2012. Analysing robot swarm behaviour via probabilistic model checking. Robotics and Autonomous Systems 60, 2, 199-213.
24. M. Kwiatkowska, G. Norman, and D. Parker. 2004. Probabilistic symbolic model checking with PRISM: A hybrid approach. International Journal on Software Tools for Technology Transfer 6, 2, 128-142.
25. K. Lerman and A. Galstyan. 2002. Mathematical model of foraging in a group of robots: Effect of interference. Autonomous Robots 13, 2, 127-141.
26. K. Lerman, A. Martinoli, and A. Galstyan. 2005. A review of probabilistic macroscopic models for swarm robotic systems. In Swarm Robotics. Lecture Notes in Computer Science, Vol. 3342. Springer, 143-152.
27. M. Massink, M. Brambilla, D. Latella, M. Dorigo, and M. Birattari. 2013. On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intelligence 7, 2-3, 201-228.
28. J. Miller and J. Mukerji. 2003. MDA Guide V1.0.1. Retrieved November 2, 2014, from http://www.omg.org/cgibin/doc?omg/03-06-01.
29. F. Mondada, M. Bonani, X. Raemy, J. Pugh, C. Cianci, A. Klaptocz, S. Magnenat, J.-C. Zufferey, D. Floreano, and A. Martinoli. 2009. The e-puck, a robot designed for education in engineering. In Proceedings of the 9th Conference on Autonomous Robot Systems and Competitions, Vol. 1. 59-65.
30. V. Nimal. 2010. Statistical Approaches for Probabilistic Model Checking. MSc Mini-Project Dissertation. Oxford University Computing Laboratory, Oxford, UK.
31. 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. M. Gambardella, and M. Dorigo. 2012. ARGoS: A modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intelligence 6, 4, 271-295.
32. G. Pini, A. Brutschy, M. Birattari, and M. Dorigo. 2009. Interference reduction through task partitioning in a robotic swarm. In Proceedings of the 6th International Conference on Informatics in Control, Automation, and Robotics (ICINCO'09). 52-59.
33. E. Ş ahin. 2005. Swarm robotics: From sources of inspiration to domains of application. In Swarm Robotics. Lecture Notes in Computer Science, Vol. 3342. Springer, 10-20.
34. R. F. Serfozo. 1979. An equivalence between continuous and discrete time Markov decision processes. Operations Research 27, 3, 616-620.
35. J. M. Smith. 1978. Models in Ecology. Cambridge University Press, Cambridge, MA.
36. A. F. T. Winfield, J. Sa, M. C. Fernandez-Gago, C. Dixon, and M. Fisher. 2005. On formal specification of emergent behaviours in swarm robotic systems. International Journal of Advanced Robotic Systems 2, 4, 363-370.
37. M. Wooldridge and N. R. Jennings. 1998. Pitfalls of agent-oriented development. In Proceedings of the 2nd International Conference on Autonomous Agents. 385-391.
38. F. Zambonelli, N. Jennings, and M. Wooldridge. 2001. Organisational abstractions for the analysis and design of multi-agent systems. In Agent-Oriented Software Engineering. Lecture Notes in Computer Science, Vol. 1957. Springer, 407-422.
39. D. Zarzhitsky, D. Spears, D. Thayer, and W. Spears. 2005. Agent-based chemical plume tracing using fluid dynamics. In Formal Approaches to Agent-Based Systems. Lecture Notes in Computer Science, Vol. 3228. Springer, 146-160.