Skip to main content
Top

2015 | OriginalPaper | Chapter

Exploring Synthetic Mass Action Models

Authors : Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler

Published in: Hybrid Systems Biology

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this work we propose a model that can be used to study the dynamics of mass action systems, systems consisting of a large number of individuals whose behavior is influenced by other individuals that they encounter. Our approach is rather synthetic and abstract, viewing each individual as a probabilistic automaton that can be in one of finitely many discrete states. We demonstrate the type of investigations that can be carried out on such a model using the Populus toolkit. In particular, we illustrate how sensitivity to initial spatial distribution can be observed in simulation.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
Actually bilinear if one assumes the probability of triple encounters to be zero, as is often done in Chemistry.
 
2
A probabilistic automaton [15] is a Markov chain with an input alphabet where each input symbol induces a different transition matrix. It is also known as a Markov Decision Process (MDP) in some circles.
 
3
We export the primed variable notation from program verification where x stands for x[t] and \(x'\) denotes \(x[t+1]\).
 
4
We write the algorithm using the normalized state notation x but the combinatorial calculation underlying the derivation of probabilities will be based on the particle count X.
 
Literature
1.
go back to reference Andrews, S.S., Bray, D.: Stochastic simulation of chemical reactions with spatial resolution and single molecule detail. Phys. Biol. 1(3), 137 (2004)CrossRef Andrews, S.S., Bray, D.: Stochastic simulation of chemical reactions with spatial resolution and single molecule detail. Phys. Biol. 1(3), 137 (2004)CrossRef
2.
go back to reference Ball, P.: Critical Mass: How One Thing Leads to Another. Macmillan, London (2004) Ball, P.: Critical Mass: How One Thing Leads to Another. Macmillan, London (2004)
3.
go back to reference Bortolussi, L., Hillston, J.: Checking individual agent behaviours in markov population models by fluid approximation. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 113–149. Springer, Heidelberg (2013) CrossRef Bortolussi, L., Hillston, J.: Checking individual agent behaviours in markov population models by fluid approximation. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 113–149. Springer, Heidelberg (2013) CrossRef
4.
go back to reference Burrage, K., Burrage, P.M., Leier, A., Marquez-Lago, T., Nicolau Jr., D.V.: Stochastic simulation for spatial modelling of dynamic processes in a living cell. In: Koeppl, H., Setti, G., di Bernardo, M., Densmore, D. (eds.) Design and Analysis of Biomolecular Circuits, pp. 43–62. Springer, New York (2011)CrossRef Burrage, K., Burrage, P.M., Leier, A., Marquez-Lago, T., Nicolau Jr., D.V.: Stochastic simulation for spatial modelling of dynamic processes in a living cell. In: Koeppl, H., Setti, G., di Bernardo, M., Densmore, D. (eds.) Design and Analysis of Biomolecular Circuits, pp. 43–62. Springer, New York (2011)CrossRef
5.
go back to reference Cardelli, L.: Artificial biochemistry. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 429–462. Springer, Heidelberg (2009)CrossRef Cardelli, L.: Artificial biochemistry. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 429–462. Springer, Heidelberg (2009)CrossRef
6.
go back to reference Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)CrossRef Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)CrossRef
7.
go back to reference Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys. 115, 1716 (2001)CrossRef Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys. 115, 1716 (2001)CrossRef
8.
go back to reference Gillespie, D.T.: Stochastic simulation of chemical kinetics. Annu. Rev. Phys. Chem. 58, 35–55 (2007)CrossRef Gillespie, D.T.: Stochastic simulation of chemical kinetics. Annu. Rev. Phys. Chem. 58, 35–55 (2007)CrossRef
9.
go back to reference Halász, A.M., Pryor, M.M., Wilson, B.S., Edwards, J.S.: Spatio-temporal modeling of membrane receptors (2015). under review Halász, A.M., Pryor, M.M., Wilson, B.S., Edwards, J.S.: Spatio-temporal modeling of membrane receptors (2015). under review
10.
go back to reference Julius, A.A., Halász, Á., Sakar, M.S., Rubin, H., Kumar, V., Pappas, G.J.: Stochastic modeling and control of biological systems: the Lactose regulation system of escherichia coli. IEEE Trans. Autom. Control 53, 51–65 (2008)MathSciNetCrossRef Julius, A.A., Halász, Á., Sakar, M.S., Rubin, H., Kumar, V., Pappas, G.J.: Stochastic modeling and control of biological systems: the Lactose regulation system of escherichia coli. IEEE Trans. Autom. Control 53, 51–65 (2008)MathSciNetCrossRef
11.
go back to reference Le Boudec, J.-Y., McDonald, D., Mundinger, J.: A generic mean field convergence result for systems of interacting objects. In: QEST, IEEE, pp. 3–18 (2007) Le Boudec, J.-Y., McDonald, D., Mundinger, J.: A generic mean field convergence result for systems of interacting objects. In: QEST, IEEE, pp. 3–18 (2007)
12.
go back to reference Maler, O.: Control from computer science. Ann. Rev. Control 26(2), 175–187 (2002)CrossRef Maler, O.: Control from computer science. Ann. Rev. Control 26(2), 175–187 (2002)CrossRef
13.
go back to reference Maler, O.: On under-determined dynamical systems. In: EMSOFT, pp. 89–96. ACM (2011) Maler, O.: On under-determined dynamical systems. In: EMSOFT, pp. 89–96. ACM (2011)
14.
go back to reference Maler, O., Halász, A.M., Lebeltel, O., Maler, O.: Exploring the dynamics of mass action systems. EPTCS 125, 84–91 (2013)CrossRef Maler, O., Halász, A.M., Lebeltel, O., Maler, O.: Exploring the dynamics of mass action systems. EPTCS 125, 84–91 (2013)CrossRef
15.
go back to reference Paz, A.: Introduction to Probabilistic Automata. Academic Press, Orlando (1971)MATH Paz, A.: Introduction to Probabilistic Automata. Academic Press, Orlando (1971)MATH
16.
go back to reference Samoilov, M.S., Arkin, A.P.: Deviant effects in molecular reaction pathways. Nat. Biotechnol. 24(10), 1235–1240 (2006)CrossRef Samoilov, M.S., Arkin, A.P.: Deviant effects in molecular reaction pathways. Nat. Biotechnol. 24(10), 1235–1240 (2006)CrossRef
Metadata
Title
Exploring Synthetic Mass Action Models
Authors
Oded Maler
Ádám M. Halász
Olivier Lebeltel
Ouri Maler
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-27656-4_6

Premium Partner