Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1352261, author = {Demko, Martin and Beneš, Nikola and Brim, Luboš and Pastva, Samuel and Šafránek, David}, address = {Neuveden}, booktitle = {Computational Methods in Systems Biology. CMSB 2016.}, doi = {http://dx.doi.org/10.1007/978-3-319-45177-0_6}, edition = {LNBI 9859}, editor = {Ezio Bartocci et al.}, 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-45176-3}, pages = {82-97}, publisher = {Springer International Publishing}, title = {High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study}, year = {2016} }
TY - JOUR ID - 1352261 AU - Demko, Martin - Beneš, Nikola - Brim, Luboš - Pastva, Samuel - Šafránek, David PY - 2016 TI - High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study PB - Springer International Publishing CY - Neuveden SN - 9783319451763 KW - model checking KW - systems biology KW - Computational Tree Logic KW - dynamical systems KW - distributed algorithms N2 - Complex behaviour arising in biological systems is described by highly parameterised dynamical models. Most of the parameters are mutually dependent and therefore it is hard and computationally demanding to find admissible parameter values with respect to hypothesised constraints and wet-lab measurements. Recently, we have developed several high-performance techniques for parameter synthesis that are based on parallel coloured model checking. These methods allow to obtain parameter values that guarantee satisfaction of a given set of dynamical properties and parameter constraints. In this paper, we review the applicability of our techniques in the context of biological systems. In particular, we provide an extended analysis of a genetic switch controlling the regulation in mammalian cell cycle phase transition and a synthetic pathway for biodegradation of a toxic pollutant in E. coli. ER -
DEMKO, Martin, Nikola BENEŠ, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. In Ezio Bartocci et al. \textit{Computational Methods in Systems Biology. CMSB 2016.}. LNBI 9859. Neuveden: Springer International Publishing, 2016, p.~82-97. ISBN~978-3-319-45176-3. Available from: https://dx.doi.org/10.1007/978-3-319-45177-0\_{}6.
|