Parameter Synthesis by Parallel Coloured CTL Model Checking

• Autoři: BRIM Luboš; ČEŠKA Milan; DEMKO Martin; PASTVA Samuel; ŠAFRÁNEK David
• Rok publikování: 2015
• Druh: Článek ve sborníku
• Konference: Computational Methods in Systems Biology
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1007/978-3-319-23401-4_21
• Obor: Informatika
• Klíčová slova: model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms
• Popis: 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.

Související projekty

• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV.
• Získávání parametrů biologických modelů pomocí techniky ověřování modelů
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity