Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1314024,
author = {Brim, Luboš and Češka, Milan and Demko, Martin and Pastva, Samuel and Šafránek, David},
address = {Neuveden},
booktitle = {Computational Methods in Systems Biology},
doi = {http://dx.doi.org/10.1007/978-3-319-23401-4_21},
editor = {Roux, Olivier and Bourdon, Jérémie},
keywords = {model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Neuveden},
isbn = {978-3-319-23400-7},
pages = {251-263},
publisher = {Springer International Publishing},
title = {Parameter Synthesis by Parallel Coloured CTL Model Checking},
year = {2015}
}
TY - JOUR
ID - 1314024
AU - Brim, Luboš - Češka, Milan - Demko, Martin - Pastva, Samuel - Šafránek, David
PY - 2015
TI - Parameter Synthesis by Parallel Coloured CTL Model Checking
PB - Springer International Publishing
CY - Neuveden
SN - 9783319234007
KW - model checking
KW - systems biology
KW - Computational Tree Logic
KW - dynamical systems
KW - distributed algorithms
N2 - We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL hypotheses. The algorithm colours the state space transitions by different parameterisations and extends CTL model checking to identify the maximal set of parameters that guarantee the satisfaction of the given CTL property. We experimentally confirm good scalability of our approach and demonstrate its applicability in the case study of a genetic switch controlling decisions in the cell cycle.
ER -
BRIM, Luboš, Milan ČEŠKA, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Parameter Synthesis by Parallel Coloured CTL Model Checking. In Roux, Olivier and Bourdon, Jérémie. \textit{Computational Methods in Systems Biology}. Neuveden: Springer International Publishing. s.~251-263. ISBN~978-3-319-23400-7. doi:10.1007/978-3-319-23401-4\_{}21. 2015.
|
