Fluid analysis of foraging ants

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

Volumn 7274 LNCS, Issue , 2012, Pages 152-165

  Massink, Mieke ^a   Latella, Diego ^a  

^a ISTI CNR   (Italy)

Author keywords

collective dynamics; emergence; Fluid flow; process algebra; self organisation

Indexed keywords

ANT COLONIES; COLLECTIVE DYNAMICS; COMPUTATIONALLY EFFICIENT; DISTRIBUTED INFORMATION RETRIEVAL; EMERGENCE; EMPIRICAL DATA; FLUID ANALYSIS; FLUID FLOW ANALYSIS; FOOD SOURCES; LOCAL INFORMATION; OPTIMISATIONS; PARTITION PROBLEM; PROCESS ALGEBRAS; SCHEDULING AND ROUTING; SELF-ORGANISATION; SHORTEST PATH; SHORTEST PATH ALGORITHMS; STOCHASTIC SIMULATIONS;

ALGEBRA; FLOW OF FLUIDS; STOCHASTIC MODELS;

SCHEDULING ALGORITHMS;

EID: 84862729579     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30829-1_11     Document Type: Conference Paper

References (20)

1. Ascens Project, http://www.ascens-ist.eu/
2. Bortolussi, L.: Stochastic concurrent constraint programming. In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006. ENTCS, vol. 164-3 (2006)
3. Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints 13(1-2), 66-90 (2008)
4. Bortolussi, L., Policriti, A.: Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS, vol. 5750, pp. 216-267. Springer, Heidelberg (2009)
5. 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 (2009)
6. Ciocchetta, F., Guerriero, M.L.: Modelling biological compartments in Bio-PEPA. ENTCS 227, 77-95 (2009)
7. Ciocchetta, F., Hillston, J.: Bio-PEPA: An extension of the process algebra PEPA for biochemical networks. ENTCS 194(3), 103-117 (2008)
8. Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. TCS 410(33-34), 3065-3084 (2009)
9. De Nicola, R., Katoen, J., Latella, D., Loreti, M.: StoKLAIM: A stochastic extension of KLAIM, CNR-ISTI Technical Report number ISTI-2006-TR-01 (2006)
10. Deneubourg, J.L., Aron, S., Goss, S., Pasteels, J.M.: The self-organizing exploratory pattern of the argentine ant. Journal of Insects Behaviour 3(2) (1990)
11. Dorigo, M., Stützle, T.: Ant Colony Optimization. The MIT Press (2004)
12. Gillepie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340-2361 (1977)
13. Goss, S., Aron, S., Deneubourg, J.L., Pasteels, J.M.: Self-organized shortcuts in the Argentine Ant. Naturwissenschaften 76, 579-581 (1989)
14. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33-43. IEEE Computer Society (2005)
15. Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure Markov processes. Journal of Applied Probability 7(1), 49-58 (1970)
16. Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review (2009)
17. 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)
18. Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science 25(3), 267-310 (1983)
19. Sumpter, D.J.T., Blanchard, G.B., Broomhead, D.S.: Ants and agents: a process algebra approach to modelling ant colony behaviour. Bulletin of Mathematical Biology 63, 951-980 (2001), doi:10.1006/bulm.2001.0252
20. Tofts, C.: The autosynchronisation of leptothorax acervorem (fabricius) described in WSCCS. Tech. Rep. ECS-LFCS-90-128, LFCS, University of Edinburgh (1990)