Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

Investor logo
Investor logo

Warning

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

BARNAT Jiří BRIM Luboš ŠAFRÁNEK David VEJNÁR Martin

Year of publication 2010
Type Article in Proceedings
Conference Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords biological networks; parallel model checking; dy namic systems; parameter scanning; systems biology
Description In this paper, a novel scalable method for scanning of kinetic parameter values in continuous (ODE) models of biological networks is provided. The presented method is property-driven, in particular, parameter values are scanned in order to satisfy a given dynamic property. The key result -- the parameter scanning method -- is based on an innovative adaptation of parallel LTL model checking for the framework of parameterized Kripke structures (PKS). First, we introduce the notion of PKS and we identify the parameter scanning and robustness analysis problems in this framework. Second, we present the algorithms for parallel LTL model checking on PKSs. Finally, the evaluation is provided on case studies of mammalian cell-cycle genetic regulatory network model and \emph{E. Coli} ammonium transport model.
Related projects:

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