Skip to main content
Top

2016 | OriginalPaper | Chapter

Grammars for Discrete Dynamics

Author : Vincenzo Manca

Published in: Machine Learning for Health Informatics

Publisher: Springer International Publishing

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

search-config
loading …

Abstract

The paper reviews a new perspective to discover and compute discrete dynamics, which is based on MP grammars. They are a particular type of multiset rewriting grammars, introduced in 2004 for modeling metabolic systems, which express dynamics in terms of finite difference equations. MP regression algorithms, providing the best MP grammar reproducing a given time series of observed states, were introduced since 2008. Applications of these grammars to the analysis of biological dynamics were developed, and their flexibility to model complex and uncertain phenomena was apparent in the last years. In this paper we recall the main features of this modeling framework, by stressing their peculiarity to afford complex situations, where classical continuous methods cannot be applied or are computationally prohibitive. Moreover, the computational universality of MP grammars of a very simple type is shown, and one of the most relevant cases of MP biological models is shortly presented.

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!

Literature
1.
go back to reference Holzinger, A.: Editorial integrative machine learning for health. In: Machine Learning for Health Informatics. Springer (2016) Holzinger, A.: Editorial integrative machine learning for health. In: Machine Learning for Health Informatics. Springer (2016)
2.
go back to reference Manca, V., Bianco, L., Fontana, F.: Evolution and oscillation in P systems: applications to biological phenomena. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 63–84. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31837-8_4 CrossRef Manca, V., Bianco, L., Fontana, F.: Evolution and oscillation in P systems: applications to biological phenomena. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 63–84. Springer, Heidelberg (2005). doi:10.​1007/​978-3-540-31837-8_​4 CrossRef
3.
go back to reference Gh, P.: Membrane Computing: An Introduction. Springer, Heidelberg (2002) Gh, P.: Membrane Computing: An Introduction. Springer, Heidelberg (2002)
4.
go back to reference Ciobanu, G., Perez-Jimenez, M.J., Păun, G.: Applications of Membrane Computing. Spinger, Heidelberg (2006) Ciobanu, G., Perez-Jimenez, M.J., Păun, G.: Applications of Membrane Computing. Spinger, Heidelberg (2006)
5.
go back to reference Păun, G., Rozenberg, G., Salomaa, A.: Oxford Handbook of Membrane Computing. Oxford University Press, New York (2010)CrossRefMATH Păun, G., Rozenberg, G., Salomaa, A.: Oxford Handbook of Membrane Computing. Oxford University Press, New York (2010)CrossRefMATH
6.
go back to reference Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Switzerland (2014) Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Switzerland (2014)
7.
go back to reference Manca, V.: Fundamentals of metabolic P systems. In: The Oxford Handbook of Membrane Computing, pp. 475–498. Oxford University Press (2009) Manca, V.: Fundamentals of metabolic P systems. In: The Oxford Handbook of Membrane Computing, pp. 475–498. Oxford University Press (2009)
8.
10.
go back to reference Manca, V.: An outline of MP modeling framework. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.) CMC 2012. LNCS, vol. 7762, pp. 47–55. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36751-9_4 CrossRef Manca, V.: An outline of MP modeling framework. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.) CMC 2012. LNCS, vol. 7762, pp. 47–55. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-36751-9_​4 CrossRef
11.
12.
go back to reference Manca, V., Castellini, A., Franco, G., Marchetti, L., Pagliarini, R.: Metabolic P systems: a discrete model for biological dynamics. Chin. J. Electron. 22, 717–723 (2013) Manca, V., Castellini, A., Franco, G., Marchetti, L., Pagliarini, R.: Metabolic P systems: a discrete model for biological dynamics. Chin. J. Electron. 22, 717–723 (2013)
13.
go back to reference Marchetti, L., Manca, V.: A methodology based on MP theory for gene expression analysis. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 300–313. Springer, Heidelberg (2012). doi:10.1007/978-3-642-28024-5_20 CrossRef Marchetti, L., Manca, V.: A methodology based on MP theory for gene expression analysis. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 300–313. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-28024-5_​20 CrossRef
14.
go back to reference Manca, V.: Algorithmic models of biochemical dynamics: Mp grammars synthetizing complex oscillators. Int. J. Nanotechnol. Mol. Comput. 3, 24–37 (2013)MathSciNetCrossRef Manca, V.: Algorithmic models of biochemical dynamics: Mp grammars synthetizing complex oscillators. Int. J. Nanotechnol. Mol. Comput. 3, 24–37 (2013)MathSciNetCrossRef
15.
go back to reference Marchetti, L., Manca, V., Pagliarini, R., Bollig-Fischer, A.: MP modelling for systems biology: two case studies. In: Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing in Systems and Synthetic Biology. ECC, vol. 7, pp. 223–245. Springer, Heidelberg (2014). doi:10.1007/978-3-319-03191-0_7 CrossRef Marchetti, L., Manca, V., Pagliarini, R., Bollig-Fischer, A.: MP modelling for systems biology: two case studies. In: Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing in Systems and Synthetic Biology. ECC, vol. 7, pp. 223–245. Springer, Heidelberg (2014). doi:10.​1007/​978-3-319-03191-0_​7 CrossRef
16.
go back to reference Bollig-Fischer, A., Marchetti, L., Mitrea, C., Wu, J., Kruger, A., Manca, V., Draghici, S.: Modeling time-dependent transcription effects of her2 oncogene and discovery of a role for e2f2 in breast cancer cell-matrix adhesion. Bioinformatics 30, 3036–3043 (2014)CrossRef Bollig-Fischer, A., Marchetti, L., Mitrea, C., Wu, J., Kruger, A., Manca, V., Draghici, S.: Modeling time-dependent transcription effects of her2 oncogene and discovery of a role for e2f2 in breast cancer cell-matrix adhesion. Bioinformatics 30, 3036–3043 (2014)CrossRef
17.
18.
go back to reference Manca, V., Marchetti, L.: Metabolic approximation of real periodical functions. J. Logic Algebraic Program. 79, 363–373 (2010) Manca, V., Marchetti, L.: Metabolic approximation of real periodical functions. J. Logic Algebraic Program. 79, 363–373 (2010)
19.
go back to reference Manca, V., Marchetti, L.: Log-gain stoichiometric stepwise regression for MP systems. Int. J. Found. Comput. Sci. 22, 97–106 (2011)MathSciNetCrossRefMATH Manca, V., Marchetti, L.: Log-gain stoichiometric stepwise regression for MP systems. Int. J. Found. Comput. Sci. 22, 97–106 (2011)MathSciNetCrossRefMATH
20.
go back to reference Manca, V., Marchetti, L.: Goldbeter’s mitotic oscillator entirely modeled by MP systems. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 273–284. Springer, Heidelberg (2010). doi:10.1007/978-3-642-18123-8_22 CrossRef Manca, V., Marchetti, L.: Goldbeter’s mitotic oscillator entirely modeled by MP systems. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 273–284. Springer, Heidelberg (2010). doi:10.​1007/​978-3-642-18123-8_​22 CrossRef
21.
go back to reference Manca, V., Marchettii, L., Pagliarini, R.: MP modelling of glucose-insulin interactions in the intravenous glucose tolerance test. Int. J. Natural Comput. Res. 3, 13–24 (2011)CrossRef Manca, V., Marchettii, L., Pagliarini, R.: MP modelling of glucose-insulin interactions in the intravenous glucose tolerance test. Int. J. Natural Comput. Res. 3, 13–24 (2011)CrossRef
22.
go back to reference Manca, V., Marchetti, L.: Solving dynamical inverse problems by means of metabolic p systems. Biosystems 109, 78–86 (2012)CrossRef Manca, V., Marchetti, L.: Solving dynamical inverse problems by means of metabolic p systems. Biosystems 109, 78–86 (2012)CrossRef
23.
24.
go back to reference Castellini, A., Zucchelli, M., Busato, M., Manca, V.: From time series to biological network regulations. Mol. Biosyst. 9(1), 225–233 (2013)CrossRef Castellini, A., Zucchelli, M., Busato, M., Manca, V.: From time series to biological network regulations. Mol. Biosyst. 9(1), 225–233 (2013)CrossRef
25.
go back to reference Castellini, A., Zucchelli, M., Busato, M., Manca, V.: From time series to biological network regulations: an evolutionary approach. Mol. Biosyst. 9, 225–233 (2013)CrossRef Castellini, A., Zucchelli, M., Busato, M., Manca, V.: From time series to biological network regulations: an evolutionary approach. Mol. Biosyst. 9, 225–233 (2013)CrossRef
26.
go back to reference Castellini, A., Paltrinieri, D., Manca, V.: Mp-geneticsynth: Inferring biological network regulations from time series. Bioinformatics 31, 785–787 (2015)CrossRef Castellini, A., Paltrinieri, D., Manca, V.: Mp-geneticsynth: Inferring biological network regulations from time series. Bioinformatics 31, 785–787 (2015)CrossRef
27.
go back to reference Marchetti, L., Manca, V.: Mptheory Java library: a multi-platform Java library for systems biology based on the metabolic P theory. Bioinformatics 31, 1328–1330 (2015)CrossRef Marchetti, L., Manca, V.: Mptheory Java library: a multi-platform Java library for systems biology based on the metabolic P theory. Bioinformatics 31, 1328–1330 (2015)CrossRef
28.
go back to reference Brin, M., Stuck, G.: Introduction to Dynamical Systems. Cambridge University Press, Cambridge (2002)CrossRefMATH Brin, M., Stuck, G.: Introduction to Dynamical Systems. Cambridge University Press, Cambridge (2002)CrossRefMATH
29.
go back to reference Fontana, F., Manca, V.: Predator-prey dynamics in P systems ruled by metabolic algorithm. BioSystems 91, 545–557 (2008)CrossRef Fontana, F., Manca, V.: Predator-prey dynamics in P systems ruled by metabolic algorithm. BioSystems 91, 545–557 (2008)CrossRef
30.
go back to reference Manca, V., Marchetti, L.: Recurrent solutions to dynamics inverse problems: a validation of MP regression. J. Appl. Comput. Math. 3, 1–8 (2014) Manca, V., Marchetti, L.: Recurrent solutions to dynamics inverse problems: a validation of MP regression. J. Appl. Comput. Math. 3, 1–8 (2014)
31.
go back to reference Manca, V., Bianco, L.: Biological networks in metabolic p systems. BioSystems 372, 165–182 (2008) Manca, V., Bianco, L.: Biological networks in metabolic p systems. BioSystems 372, 165–182 (2008)
32.
go back to reference Manca, V., Marchetti, L., Zelinka, I.: On the inference of deterministic chaos: evolutionary algorithm and metabolic P system approaches. In: 2014 IEEE Congress on Evolutionary Computation (CEC), pp. 1483–1488. IEEE, Beijing (2014) Manca, V., Marchetti, L., Zelinka, I.: On the inference of deterministic chaos: evolutionary algorithm and metabolic P system approaches. In: 2014 IEEE Congress on Evolutionary Computation (CEC), pp. 1483–1488. IEEE, Beijing (2014)
33.
go back to reference Manca, V.: Log-gain principles for metabolic P systems. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 585–605. Springer, Heidelberg (2009)CrossRef Manca, V.: Log-gain principles for metabolic P systems. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 585–605. Springer, Heidelberg (2009)CrossRef
34.
go back to reference Manca, V., Lombardo, R.: Computing with Multi-membranes. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 282–299. Springer, Heidelberg (2012). doi:10.1007/978-3-642-28024-5_19 CrossRef Manca, V., Lombardo, R.: Computing with Multi-membranes. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 282–299. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-28024-5_​19 CrossRef
35.
go back to reference Gracini–Guiraldelli, R.H., Manca, V.: Automatic translation of MP\(^{+}\)V systems to register machines. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 185–199. Springer, Heidelberg (2015). doi:10.1007/978-3-319-28475-0_13 Gracini–Guiraldelli, R.H., Manca, V.: Automatic translation of MP\(^{+}\)V systems to register machines. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 185–199. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-28475-0_​13
36.
go back to reference Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)MATH Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)MATH
37.
38.
go back to reference Bianco, L., Fontana, F., Franco, G., Manca, V.: P systems for biological dynamics. In: Ciobanu, G., et al. (eds.) Applications of P Systems, Vol. 3, N. 1, pp. 5–23. Springer, Heidelberg (2006) Bianco, L., Fontana, F., Franco, G., Manca, V.: P systems for biological dynamics. In: Ciobanu, G., et al. (eds.) Applications of P Systems, Vol. 3, N. 1, pp. 5–23. Springer, Heidelberg (2006)
39.
go back to reference Lotka, A.J.: Analytical note on certain rhythmic relations in organic systems. Proc. Natl. Acad. Sci. U.S. 6, 410–415 (1920)CrossRef Lotka, A.J.: Analytical note on certain rhythmic relations in organic systems. Proc. Natl. Acad. Sci. U.S. 6, 410–415 (1920)CrossRef
40.
go back to reference Volterra, V.: Fluctuations in the abundance of a species considered mathematically. Nature 118, 558–60 (1926)CrossRefMATH Volterra, V.: Fluctuations in the abundance of a species considered mathematically. Nature 118, 558–60 (1926)CrossRefMATH
41.
go back to reference Lambert, J.D.: Computational Methods in Ordinary Differential Equations. Wiley, New York (1973)MATH Lambert, J.D.: Computational Methods in Ordinary Differential Equations. Wiley, New York (1973)MATH
42.
go back to reference Goldbeter, A.: Biochemical Oscillations and Cellular Rhythms: The Molecular Bases of Periodic and Chaotic Behaviour. Cambridge University Press, Cambridge (1996)CrossRefMATH Goldbeter, A.: Biochemical Oscillations and Cellular Rhythms: The Molecular Bases of Periodic and Chaotic Behaviour. Cambridge University Press, Cambridge (1996)CrossRefMATH
43.
go back to reference Bonnici, V.: Computational approaches to cellular rhythms. Nature 420, 238–245 (2002)CrossRef Bonnici, V.: Computational approaches to cellular rhythms. Nature 420, 238–245 (2002)CrossRef
44.
go back to reference Manca, V., Pagliarini, R., Zorzan, S.: A photosynthetic process modelled by a metabolic p system. Nat. Comput. 8, 847–864 (2009)MathSciNetCrossRef Manca, V., Pagliarini, R., Zorzan, S.: A photosynthetic process modelled by a metabolic p system. Nat. Comput. 8, 847–864 (2009)MathSciNetCrossRef
45.
go back to reference Luenberger, D.G.: Introduction to Dynamic Systems. Wiley, New York (1979)MATH Luenberger, D.G.: Introduction to Dynamic Systems. Wiley, New York (1979)MATH
Metadata
Title
Grammars for Discrete Dynamics
Author
Vincenzo Manca
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-50478-0_3

Premium Partner