title: Formal modeling of a system of chemical reactions under uncertainty.
abstract: We describe a novel formalism representing a system of chemical reactions, with imprecise rates of reactions and concentrations of chemicals, and describe a model reduction method, pruning, based on the chemical properties. We present two algorithms, midpoint approximation and interval approximation, for construction of efficient model abstractions with uncertainty in data. We evaluate computational feasibility by posing queries in computation tree logic (CTL) on a prototype of extracellular-signal-regulated kinase (ERK) pathway.
authors.affiliation: Department of Computer & Information Technology, Miami University, Hamilton, OH 45011, USA.
authors.forename: Krishnendu
authors.initials: K
authors.lastname: Ghosh
authors.forename: John
authors.initials: J
authors.lastname: Schlipf
mesh_terms: D000465:Algorithms; D019295:Computational Biology; D003198:Computer Simulation; D020935:MAP Kinase Signaling System; D008954:Models, Biological; D008956:Models, Chemical; D015398:Signal Transduction; D012984:Software; D049490:Systems Biology; D035501:Uncertainty
keywords: Model checking; algorithms; systems biology; uncertainty