title: On parameter synthesis by parallel model checking.
abstract: An important problem in current computational systems biology is to analyze models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modeling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.
authors.affiliation: Faculty of Informatics, Masaryk University, Botanická 68a, Brno 60200, Czech Republic. barnat@fi.muni.cz
authors.forename: Jirí
authors.initials: J
authors.lastname: Barnat
authors.forename: Lubos
authors.initials: L
authors.lastname: Brim
authors.forename: Adam
authors.initials: A
authors.lastname: Krejcí
authors.forename: Adam
authors.initials: A
authors.lastname: Streck
authors.forename: David
authors.initials: D
authors.lastname: Safránek
authors.forename: Martin
authors.initials: M
authors.lastname: Vejnár
authors.forename: Tomás
authors.initials: T
authors.lastname: Vejpustek
mesh_terms: D000465:Algorithms; D019295:Computational Biology / Q000379:methods; D008954:Models, Biological; D017711:Nonlinear Dynamics; D049490:Systems Biology