Analysing robot swarm decision-making with bio-PEPA

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7461 LNCS, Issue , 2012, Pages 25-36

  Massink, Mieke ^a   Brambilla, Manuele ^b   Latella, Diego ^a   Dorigo, Marco ^b   Birattari, Mauro ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC LANGUAGES; BIOCHEMICAL SYSTEMS; FLUID FLOW ANALYSIS; MULTIPLE MODELS; ROBOT SWARMS; SCALABLE SYSTEMS; SINGLE DESCRIPTIONS; STATISTICAL MODELS; STOCHASTIC SIMULATIONS; SWARM ROBOTICS; SYSTEM SPECIFICATION;

ARTIFICIAL INTELLIGENCE; BIOCHEMISTRY; DECISION MAKING; MODEL CHECKING; SPECIFICATIONS; STOCHASTIC MODELS;

ROBOTICS;

EID: 84866383783     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32650-9_3     Document Type: Conference Paper

References (22)

1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking Continuous Time Markov Chains. ACM Transactions on Computational Logic 1(1), 162-170 (2000)
2. Baier, C., Katoen, J.-P., Hermanns, H.: Approximate Symbolic Model Checking of Continuous-Time Markov Chains (Extended Abstract). In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 146-162. Springer, Heidelberg (1999)
3. Brambilla, M., Pinciroli, C., Birattari, M., Dorigo, M.: Property-driven design for swarm robotics. In: Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012. IFAAMAS (in press, 2012)
4. Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M.L., Hillston, J.: The Bio-PEPA Tool Suite. In: Proc. of the 6th Int. Conf. on Quantitative Evaluation of Systems (QEST 2009), pp. 309-310. IEEE Computer Society, Washington, DC (2009)
5. Ciocchetta, F., Hillston, J.: Bio-PEPA: An extension of the process algebra PEPA for biochemical networks. ENTCS 194(3), 103-117 (2008)
6. Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. TCS 410(33-34), 3065-3084 (2009)
7. Şahin, E.: Swarm Robotics: From Sources of Inspiration to Domains of Application. In: Şahin, E., Spears, W.M. (eds.) Swarm Robotics 2004. LNCS, vol. 3342, pp. 10-20. Springer, Heidelberg (2005)
8. Dixon, C., Winfield, A., Fisher, M.: Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. In: Groß, R., Alboul, L., Melhuish, C., Witkowski, M., Prescott, T.J., Penders, J. (eds.) TAROS 2011. LNCS, vol. 6856, pp. 336-347. Springer, Heidelberg (2011)
9. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340-2361 (1977)
10. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the 2th International Conference on Quantitative Evaluation of SysTems (QEST 2005), pp. 33-43. IEEE Computer Society, Washington, DC (2005)
11. Ijspeert, A., Martinoli, A., Billard, A., Gambardella, L.M.: Collaboration through the exploitation of local interactions in autonomous collective robotics: The stick pulling experiment. Autonomous Robots 11, 149-171 (2001)
12. Kleinrock, L.: Queueing Systems. Theory, vol. 1. Wiley, New York (1975)
13. Konur, S., Dixon, C., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. Robotics and Autonomous Systems 60(2), 199-213 (2012)
14. Kurtz, T.: Solutions of ordinary differential equations as limits of pure jump Markov processes. Journal of Applied Probability 7, 49-58 (1970)
15. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585-591. Springer, Heidelberg (2011)
16. Lerman, K., Martinoli, A., Galstyan, A.: A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems. In: Şahin, E., Spears, W.M. (eds.) Swarm Robotics 2004. LNCS, vol. 3342, pp. 143-152. Springer, Heidelberg (2005)
17. Martinoli, A., Easton, K., Agassounon, W.: Modeling swarm robotic systems: a case study in collaborative distributed manipulation. The International Journal of Robotics Research 23(4-5), 415-436 (2004)
18. Massink, M., Latella, D., Bracciali, A., Harrison, M., Hillston, J.: Scalable context-dependent analysis of emergency egress models. Formal Aspects of Computing 24(2), 267-302 (2012)
19. Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling Non-linear Crowd Dynamics in Bio-PEPA. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 96-110. Springer, Heidelberg (2011)
20. Massink, M., Brambilla, M., Latella, D., Dorigo, M., Birattari, M.: Analysing robot swarm decision-making with Bio-PEPA: Complete data (2012), Supplementary information page at http://iridia.ulb.ac.be/supp/IridiaSupp2012- 012/
21. Montes de Oca, M.A., Ferrante, E., Scheidler, A., Pinciroli, C., Birattari, M., Dorigo, M.: Majority-rule opinion dynamics with differential latency: A mechanism for self-organized collective decision-making. Swarm Intelligence 5(3-4), 305-327 (2011)
22. Scheidler, A.: Dynamics of majority rule with differential latencies. Phys. Rev. E 83, 031116 (2011)