On parameter synthesis by parallel model checking
Jazyk angličtina Země Spojené státy americké Médium print
Typ dokumentu časopisecké články, práce podpořená grantem
PubMed
21788679
DOI
10.1109/tcbb.2011.110
Knihovny.cz E-zdroje
- MeSH
- algoritmy * MeSH
- biologické modely * MeSH
- nelineární dynamika MeSH
- systémová biologie * MeSH
- výpočetní biologie metody MeSH
- Publikační typ
- časopisecké články MeSH
- práce podpořená grantem MeSH
An important problem in current computational systems biology is to analyze models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modeling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.
Citace poskytuje Crossref.org
