Parameter Synthesis by Parallel Coloured CTL Model Checking
| Authors | |
|---|---|
| Year of publication | 2015 |
| Type | Article in Proceedings |
| Conference | Computational Methods in Systems Biology |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1007/978-3-319-23401-4_21 |
| Field | Informatics |
| Keywords | model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms |
| Description | 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. |
| Related projects: |