Other formats:
BibTeX
LaTeX
RIS
@inproceedings{908095,
author = {Barnat, Jiří and Brim, Luboš and Šafránek, David and Vejnár, Martin},
address = {Los Alamitos},
booktitle = {Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology},
keywords = {biological networks; parallel model checking; dy namic systems; parameter scanning; systems biology},
language = {eng},
location = {Los Alamitos},
isbn = {978-0-7695-4265-2},
pages = {95-104},
publisher = {IEEE Computer Society},
title = {Parameter Scanning by Parallel Model Checking with Applications in Systems Biology},
year = {2010}
}
TY - JOUR
ID - 908095
AU - Barnat, Jiří - Brim, Luboš - Šafránek, David - Vejnár, Martin
PY - 2010
TI - Parameter Scanning by Parallel Model Checking with Applications in Systems Biology
PB - IEEE Computer Society
CY - Los Alamitos
SN - 9780769542652
KW - biological networks
KW - parallel model checking
KW - dy namic systems
KW - parameter scanning
KW - systems biology
N2 - 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.
ER -
BARNAT, Jiří, Luboš BRIM, David ŠAFRÁNEK and Martin VEJNÁR. Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. In \textit{Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology}. Los Alamitos: IEEE Computer Society, 2010, p.~95-104. ISBN~978-0-7695-4265-2.
|
