A model checking approach to the parameter estimation of biochemical pathways

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5307 LNBI, Issue , 2008, Pages 269-287

  Donaldson, Robin ^a   Gilbert, David ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMICAL PATHWAYS; BIOCHEMICAL SYSTEMS; COMPUTATIONAL SYSTEMS; CONTINUOUS MODELS; CONTINUOUS WORLDS; ILLUSTRATIVE EXAMPLES; KINETIC RATE CONSTANTS; MODEL CHECKERS; MONTE CARLO MODELS; SIGNALLING PATHWAYS; TEMPORAL LOGIC PROPERTIES;

DIESEL ENGINES; FLOW OF GASES; GENETIC ALGORITHMS; METAL ANALYSIS; MODAL ANALYSIS; MODEL STRUCTURES; PARAMETER ESTIMATION; PROBABILISTIC LOGICS; PROBABILITY; RATE CONSTANTS; TEMPORAL LOGIC;

MODEL CHECKING;

EID: 57049106843     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88562-7_20     Document Type: Conference Paper

References (21)

1. Wolkenhauer, O.: Systems Biology: the Reincarnation of Systems Theory Applied in Biology? Briefings in Bioinformatics 2(3), 258-270 (2001)
2. Kolch, W., Calder, M., Gilbert, D.: When kinases meet mathematics: the systems biology of MAPK signalling. FEBS Lett. 579, 1891-1895 (2005)
3. Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 200-216. Springer, Heidelberg (2007)
4. Vyshemirsky, V., Girolami, M.: Bayesian Ranking of Biochemical System Models. Bioinformatics 24(6), 833-839 (2008)
5. Maria, G.: A Review of Algorithms and Trends in Kinetic Model Identification for Chemical and Biochemical Systems. Chem. Biochem. Eng. Q. 18(3), 195-222 (2004)
6. Donaldson, R., Gilbert, D.: A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints. Technical report, University of Glasgow, Department of Computing Science (2008)
7. Baier, C.: On Algorithmic Verification Methods for Probabilistic Systems. Habilitation thesis, University of Mannheim (1998)
8. Brightman, F., Fell, D.: Differential feedback regulation of the mapk cascade underlies the quantitative differences in egf and ngf signalling in pc12 cells. FEBS Lett. 482, 169-174 (2000)
9. Gilbert, D., Heiner, M., Rosser, S., Fulton, R., Gu, X., Trybilo, M.: A Case Study in Model-driven Synthetic Biology. In: Biologically Inspired Cooperative Computing: BICC 2008. IFIP, vol. 268, pp. 163-175. Springer, Heidelberg (2008)
10. Pnueli, A.: The Temporal Semantics of Concurrent Programs. Theor. Comput. Sci. 13, 45-60 (1981)
11. Clarke, E.M., Grumberg, O., Peled. D.A.: Model Checking. MIT Press. Cambridge (1999) (third printing, 2001)
12. 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)
13. Hansson. H., Jonsson, B.: A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing 6(5), 512-535 (1994)
14. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying Continuous-Time Markov Chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269-276. Springer, Heidelberg (1996)
15. Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley Longman Publishing Co., Inc.. Boston (1989)
16. BioNessie: A Biochemical Pathway Simulation and Analysis Tool. University of Glasgow, http //www.bionessie.org
17. MC2(PLTLc) Website: MC2(PLTLc) - PLTLc model checker. University of Glasgow (2008), http://www.brc.dcs.gla.ac.uk/software/mc2/
18. Meffert, K., et al.: JGAP - Java Genetic Algorithms and Genetic Programming Package (2008), http://jgap.sf.net/
19. Hucka, M., Finney. A., Sauro, H.M., Bolouri, H., Doyle, J.C. Kitano, H., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. J. Bioinformatics 19, 524-531 (2003)
20. Fujarewicz, K., Kimmel, M., Lipniacki, T., Swierniak, A.: Parameter estimation for models of cell signaling pathways based on semi-quantitative data. In: BioMed 2006: Proceedings of the 24th IASTED international conference on Biomedical engineering, Anaheim. CA. USA. pp. 306-310. ACTA Press (2006)
21. Calzone, L.. Chabrier-Rivier, N.. Fages. F.. Soliman. S.: Machine Learning Biochemical Networks from Temporal Logic Properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 68-94. Springer, Heidelberg (2006)