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. Computational Methods in Systems Biology. Neuveden: Springer International Publishing, 2015, s. 251-263. ISBN 978-3-319-23400-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-23401-4_21. |
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, 2015, s.~251-263. ISBN~978-3-319-23400-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-23401-4\_{}21.
|