On Parameter Synthesis by Parallel Model Checking

• Autoři: BARNAT Jiří; BRIM Luboš; KREJČÍ Adam; STRECK Adam; ŠAFRÁNEK David; VEJNÁR Martin; VEJPUSTEK Tomáš
• Rok publikování: 2012
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: IEEE/ACM Transactions on Computational Biology and Bioinformatics
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639
• Doi: http://dx.doi.org/10.1109/TCBB.2011.110
• Obor: Informatika
• Klíčová slova: biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology
• Popis: An important problem in current computational systems biology is to analyse 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 modelling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.

Související projekty

• Vysoce paralelní a distribuované výpočetní systémy
• Verifikace a analýza velmi velkých počítačových systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace