# A Mathematical Framework for Agent Based Models of Complex Biological Networks

- 641 Downloads
- 26 Citations

## Abstract

Agent-based modeling and simulation is a useful method to study biological phenomena in a wide range of fields, from molecular biology to ecology. Since there is currently no agreed-upon standard way to specify such models, it is not always easy to use published models. Also, since model descriptions are not usually given in mathematical terms, it is difficult to bring mathematical analysis tools to bear, so that models are typically studied through simulation. In order to address this issue, Grimm et al. proposed a protocol for model specification, the so-called ODD protocol, which provides a standard way to describe models. This paper proposes an addition to the ODD protocol which allows the description of an agent-based model as a dynamical system, which provides access to computational and theoretical tools for its analysis. The mathematical framework is that of algebraic models, that is, time-discrete dynamical systems with algebraic structure. It is shown by way of several examples how this mathematical specification can help with model analysis. This mathematical framework can also accommodate other model types such as Boolean networks and the more general logical models, as well as Petri nets.

## Keywords

Agent based models Algebraic models## Preview

Unable to display preview. Download preview PDF.

## References

- Castiglione, F., Duca, K., Jarrah, A. S., Laubenbacher, R., Hochberg, D., & Thorley-Lawson, D. A. (2007). Simulating Epstein-Barr virus infection with c-immsim.
*Bioinformatics*,*23*, 1371–1377. CrossRefGoogle Scholar - Eubank, S., Guclu, H., Anil Kumar, V. S., Marathe, M. V., Toroczkai, Z., Srinivasan, A., & Wang, N. (2004). Modelling disease outbreaks in realistic urban social networks.
*Nature*,*429*(6988), 180–184. CrossRefGoogle Scholar - Gardner, M. (1970). The fantastic combinations of John Conway’s new solitaire game “life”.
*Sci. Am.*,*223*, 120–123. CrossRefGoogle Scholar - Grayson, D. R., & Stillman, M. E. (2009). Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.
- Greuel, G.-M., Pfister, G., & Schönemann, H. (2009). Singular 3-1-0—A computer algebra system for polynomial computations. http://www.singular.uni-kl.de.
- Grimm, V., & Railsback, S. F. (2010).
*A course in individual-based and agent-based modeling*. Unpublished manuscript. Princeton University Press. Google Scholar - Grimm, V., Berger, U., Bastiansen, F., Eliassen, S., Ginot, V., Giske, J., Goss-Custard, J., Grand, T., Heinz, S. K., Huse, G., Huth, A., Jepsen, J. U., Jørgensen, C., Mooij, W. M., Müller, B., Pe’er, G., Piou, C., Railsback, S. F., Robbins, A. M., Robbins, M. M., Rossmanith, E., Rüger, N., Strand, E., Souissi, S., Stillman, R. A., Vabø, R., Visser, U., & DeAngelis, D. L. (2006). A standard protocol for describing individual-based and agent-based models.
*Ecol. Model.*,*198*(1–2), 115–126. CrossRefGoogle Scholar - Hardy, S., & Robillard, P. N. (2004). Modeling and simulation of molecular biology systems using petri nets: modeling goals of various approaches.
*J. Bioinform. Comput. Biol.*,*2*(4), 595–613. CrossRefGoogle Scholar - Hinkelmann, F. (2010). Interpolation parser for truth tables. Available at http://admg.vbi.vt.edu/software/interpolation-tool-for-truth-tables.
- Jarrah, A. S., Laubenbacher, R., & Veliz-Cuba, A. (2010). The dynamics of conjunctive and disjunctive boolean network models.
*Bull. Math. Biol.*doi: 10.1007/s11538-010-9501-z. MathSciNetGoogle Scholar - Laubenbacher, R., Jarrah, A., Mortveit, H., & Ravi, S. S. (2009). The mathematics of agent-based modeling formalisms. In
*Encyclopedia of complexity and system science*. Berlin: Springer. Google Scholar - Lidl, R., & Niederreiter, H. (1997).
*Finite fields*. Cambridge: Cambridge University Press. Google Scholar - Pe’er, G. U. Y., Saltz, D., & Frank, K. (2005). Virtual corridors for conservation management.
*Conserv. Biol.*,*19*(6), 1997–2003. CrossRefGoogle Scholar - Pogson, M., Smallwood, R., Qwarnstrom, E., & Holcombe, M. (2006). Formal agent-based modelling of intracellular chemical interactions.
*Biosystems*,*85*(1), 37–45. CrossRefGoogle Scholar - Shmulevich, I., Dougherty, E. R., Kim, S., & Zhang, W. (2002). Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks.
*Bioinformatics*,*18*(2), 261–274. CrossRefGoogle Scholar - Thomas, R., & D’Ari, R. (1998).
*Biological feedback*. Boca Raton: CRC Press. Google Scholar - Veliz-Cuba, A., Jarrah, A. S., & Laubenbacher, R. (2010). Polynomial algebra of discrete models in systems biology.
*Bioinformatics*,*26*(13), 1637–1643. CrossRefGoogle Scholar - Wang, Z., Birch, C. M., Sagotsky, J., & Deisboeck, T. S. (2009). Cross-scale, cross-pathway evaluation using an agent-based non-small cell lung cancer model.
*Bioinformatics*,*25*(18), 2389–2396. CrossRefGoogle Scholar