On Parameter Synthesis by Parallel Model Checking

Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BARNAT Jiří BRIM Luboš KREJČÍ Adam STRECK Adam ŠAFRÁNEK David VEJNÁR Martin VEJPUSTEK Tomáš

Year of publication 2012
Type Article in Periodical
Magazine / Source IEEE/ACM Transactions on Computational Biology and Bioinformatics
MU Faculty or unit

Faculty of Informatics

Citation
Web http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639
Doi http://dx.doi.org/10.1109/TCBB.2011.110
Field Informatics
Keywords biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology
Description An important problem in current computational systems biology is to analyse 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 modelling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.