Skip to main content

Data-Informed Parameter Synthesis for Population Markov Chains

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNBI,volume 11773))

Abstract

Population models are widely used to model different phenomena: animal collectives such as social insects, flocking birds, schooling fish, or humans within societies, as well as molecular species inside a cell, cells forming a tissue. Animal collectives show remarkable self-organisation towards emergent behaviours without centralised control. Quantitative models of the underlying mechanisms can directly serve important societal concerns (for example, prediction of seismic activity [5]), inspire the design of distributed algorithms (for example, ant colony algorithm [1]), or aid robust design and engineering of collective, adaptive systems under given functionality and resources, which is recently gaining attention in vision of smart cities [3, 4]. Quantitative prediction of the behaviour of a population of agents over time and space, each having several behavioural modes, results in a high-dimensional, non-linear, and stochastic system [2]. Hence, computational modelling with population models is challenging, especially when the model parameters are unknown and experiments are expensive.

This work has been presented at Hybrid Systems and Biology - HSB 2019. TP’s research is supported by the Ministry of Science, Research and the Arts of the state of Baden-Württemberg, and the DFG Centre of Excellence 2117 ‘Centre for the Advanced Study of Collective Behaviour’ (ID: 422037984), MH’s research is supported by Young Scholar Fund (YSF), project no. \(P83943018 FP 430\_/18\). MN’s research is supported by the Mentorship grant from the Zukunftskolleg. DŠ’s research is supported by the Czech Grant Agency grant no. GA18-00178S.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Dorigo, M., Birattari, M., Blum, C., Clerc, M., Stützle, T., Winfield, A.F.T. (eds.): ANTS 2008. LNCS, vol. 5217. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87527-7

    Book  MATH  Google Scholar 

  2. Giardina, I.: Collective behavior in animal groups: theoretical models and empirical studies. HFSP J. 2(4), 205–219 (2008)

    Article  Google Scholar 

  3. Hillston, J.: Challenges for quantitative analysis of collective adaptive systems. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 14–21. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-05119-2_2

    Chapter  Google Scholar 

  4. Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 83–119. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-34096-8_4

    Chapter  Google Scholar 

  5. Mai, M., et al.: Monitoring pre-seismic activity changes in a domestic animal collective in central Italy. In: EGU General Assembly Conference Abstracts, vol. 20, p. 19348 (2018)

    Google Scholar 

  6. Nouvian, M., Reinhard, J., Giurfa, M.: The defensive response of the honeybee Apis mellifera. J. Exp. Biol. 219(22), 3505–3517 (2016)

    Article  Google Scholar 

  7. Shorter, J.R., Rueppell, O.: A review on self-destructive defense behaviors in social insects. Insectes Sociaux 59(1), 1–10 (2012)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to Matej Hajnal , Tatjana Petrov or David Šafránek .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hajnal, M., Nouvian, M., Petrov, T., Šafránek, D. (2019). Data-Informed Parameter Synthesis for Population Markov Chains. In: Bortolussi, L., Sanguinetti, G. (eds) Computational Methods in Systems Biology. CMSB 2019. Lecture Notes in Computer Science(), vol 11773. Springer, Cham. https://doi.org/10.1007/978-3-030-31304-3_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-31304-3_32

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-31303-6

  • Online ISBN: 978-3-030-31304-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics