| Identifikační kód | RIV/00216224:14330/15:00081130 |
|---|
| Název v anglickém jazyce | Parameter Synthesis by Parallel Coloured CTL Model Checking |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2015 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 5 |
|---|
| Počet domácích tvůrců | 5 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773)
Milan Češka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1846000)
Martin Demko (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 8383987)
Samuel Pastva (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A)
David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) |
|---|
| Popis výsledku v anglickém jazyce | 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 parametersthat 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. |
|---|
| Klíčová slova oddělená středníkem | model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1007/978-3-319-23401-4_21 |
|---|