Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

verfasst von : Matej Hajnal, David Šafránek, Martin Demko, Samuel Pastva, Pavel Krejčí, Luboš Brim

Erschienen in: Hybrid Systems Biology

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Signalling pathways provide a complex cellular information processing machinery that evaluates particular input stimuli and transfers them into the genome by means of regulation of specific genes expression. In this short paper, we provide a preliminary study targeting minimal models representing the topology of main signalling mechanisms. A special emphasis is given to distinguishing between monotonous (sustained) and non-monotonous (transient) time-course behaviour. A set of minimal parametrised ODE models is formulated and analysed in a workflow based on formal methods.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Hybrid Stochastic Simulation of Rule-Based Polymerization Models
Nächstes Kapitel Application of the Reachability Analysis for the Iron Homeostasis Study
Literatur
1.
Bartocci, E., Liò, P.: Computational modeling, formal analysis, and tools for systems biology. PLoS Comput. Biol. 12(1), 1–22 (2016)CrossRef
2.
Bartocci, E., Liò, P., Merelli, E., Paoletti, N.: Multiple verification in complex biological systems: the bone remodelling case study. In: Priami, C., Petre, I., Vink, E. (eds.) Transactions on Computational Systems Biology XIV. LNCS, vol. 7625, pp. 53–76. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-35524-0_​3 CrossRef
3.
Batt, G., Belta, C., Weiss, R.: Model checking liveness properties of genetic regulatory networks. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 323–338. Springer, Heidelberg (2007)CrossRef
4.
ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76, 119–135 (2011)MATHCrossRef
5.
Brim, L., Češka, M., Šafránek, D.: Model checking of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 63–112. Springer, Heidelberg (2013)CrossRef
6.
Brim, L., Češka, M., Demko, M., Pastva, S., Šafránek, D.: Parameter synthesis by parallel coloured CTL model checking. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 251–263. Springer, Heidelberg (2015)CrossRef
7.
Brim, L., Demko, M., Pastva, S., Šafránek, D.: High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. In: Priami, C., Petre, I., de Vink, E. (eds.) HSB 2015. LNCS, vol. 9271, pp. 58–74. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-26916-0_​4 CrossRef
8.
Calder, M., Duguid, A., Gilmore, S., Hillston, J.: Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 63–77. Springer, Heidelberg (2006)CrossRef
9.
Courtois-Cox, S., Williams, S.M.G., Reczek, E.E., Johnson, B.W., McGillicuddy, L.T., Johannessen, C.M., Hollstein, P.E., MacCollin, M., Cichowski, K.: A negative feedback signaling network underlies oncogene-induced senescence. Cancer Cell 10(6), 459–472 (2006)CrossRef
10.
Donzé, A., Clermont, G., Langmead, C.J.: Parameter synthesis in nonlinear dynamical systems: application to systems biology. J. Comput. Biol. 17(3), 325–336 (2010)MathSciNetCrossRef
11.
Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 48–63. Springer, Heidelberg (2007)CrossRef
12.
Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perls, B., Thieffry, D.: Integrative modelling of the influence of mapk network on cancer cell fate decision. PLoS Comput. Biol. 9(10), 1–15 (2013)CrossRef
13.
Grosu, R., Batt, G., Fenton, F.H., Glimm, J., Le Guernic, C., Smolka, S.A., Bartocci, E.: From cardiac cells to genetic regulatory networks. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 396–411. Springer, Heidelberg (2011)CrossRef
14.
Kholodenko, B.N.: Cell-signalling dynamics in time and space. Nat. Rev. Mol. Cell Biol. 7(3), 165–176 (2006)CrossRef
15.
Klipp, E., Liebermeister, W.: Mathematical modeling of intracellular signaling pathways. BMC Neurosci. 7(1), 1–16 (2006)CrossRef
16.
Kwiatkowska, M.Z., Heath, J.K.: Biological pathways as communicating computer systems. J. Cell Sci. 122(16), 2793–2800 (2009)CrossRef
17.
Li, C., Suzuki, S., Ge, Q.W., Nakata, M., Matsuno, H., Miyano, S.: Structural modeling and analysis of signaling pathways based on Petri nets. J. Bioinform. Comput. Biol. 04(05), 1119–1140 (2006)CrossRef
18.
Li, X., Shen, L., Shang, X., Liu, W.: Subpathway analysis based on signaling-pathway impact analysis of signaling pathway. PLoS ONE 10(7), 1–19 (2015)
19.
Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12) (2009)
20.
Sasagawa, S., Ozaki, Y.I., Fujita, K., Kuroda, S.: Prediction and validation of the distinct dynamics of transient and sustained ERK activation. Nat. Cell Biol. 7(4), 365–373 (2005)CrossRef
21.
Wang, D.Y., Cardelli, L., Phillips, A., Piterman, N., Fisher, J.: Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. BMC Syst. Biol. 3(1), 1–17 (2009)CrossRef
22.
Yamada, S., Taketomi, T., Yoshimura, A.: Model analysis of difference between EGF pathway and FGF pathway. Biochem. Biophys. Res. Commun. 314(4), 1113–1120 (2004)CrossRef
Metadaten
Titel
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
verfasst von
Matej Hajnal
David Šafránek
Martin Demko
Samuel Pastva
Pavel Krejčí
Luboš Brim
Copyright-Jahr
2016
Buch
Hybrid Systems Biology

Print ISBN: 978-3-319-47150-1

Electronic ISBN: 978-3-319-47151-8

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-47151-8_4