Round-based Super-Individuals - Balancing Speed and Accuracy

Agent- or individual-based models which are based on a continuous-time Markov chain semantics are increasingly receiving attention in simulation. To reduce computational cost, model aggregation techniques based on Markov chain lumping can be leveraged. However, for models with nested, attributed agents, and arbitrary functions determining their dynamics it is not trivial to find a partition that satisfies the lumpability conditions. Thus, we exploit the potential of the so-called super-individual approaches where sub-populations of agents are approximated by representatives based on some criteria for similarity, and propose a round-based execution scheme to balance speed and accuracy of the simulations. For realization we use an expressive rule-based modeling and simulation framework, evaluate the performance using a fish habitat model, and discuss open questions for future research.

[1]  Andrew J. Millar,et al.  Chromar, a Rule-based Language of Parameterised Objects , 2018, SASB.

[2]  Corrado Priami,et al.  A Rule-Based and Imperative Language for Biochemical Modeling and Simulation , 2012, SEFM.

[3]  Marten Scheffer,et al.  Super-individuals a simple solution for modelling large populations on an individual basis , 1995 .

[4]  Rocco De Nicola,et al.  On the Power of Attribute-Based Communication , 2016, FORTE.

[5]  Joachim Niehren,et al.  Author manuscript, published in "Computational Methods in Systems Biology, 6th International Conference CMSB (2008) 83-102" The Attributed Pi-Calculus with Priorities , 2009 .

[6]  Andrew J. Millar,et al.  Chromar, a language of parameterised agents , 2019, Theor. Comput. Sci..

[7]  Andrea Vandin,et al.  SPEEDING UP STOCHASTIC AND DETERMINISTIC SIMULATION BY AGGREGATION: AN ADVANCED TUTORIAL , 2018, 2018 Winter Simulation Conference (WSC).

[8]  Luca Cardelli,et al.  Syntactic Markovian Bisimulation for Chemical Reaction Networks , 2017, Models, Algorithms, Logics and Tools.

[9]  Adelinde M. Uhrmacher,et al.  Developing and validating a multi-level ecological model of eastern Baltic cod (Gadus morhua) in the Bornholm Basin – A case for domain-specific languages , 2017 .

[10]  Adelinde M. Uhrmacher,et al.  Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language , 2017, ACM Trans. Model. Comput. Simul..

[11]  Catherine Dibble,et al.  Dynamic Agent Compression , 2007, J. Artif. Soc. Soc. Simul..

[12]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[13]  Hazel R. Parry,et al.  A comparative analysis of parallel processing and super-individual methods for improving the computational performance of a large individual-based model , 2008 .

[14]  Heinz Koeppl,et al.  Lumpability abstractions of rule-based systems , 2010, Theor. Comput. Sci..

[15]  Jane Hillston,et al.  Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools , 2016, SFM.