Parameter Synthesis by Parallel Coloured CTL Model Checking

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F15%3A00081130" target="_blank" >RIV/00216224:14330/15:00081130 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-23401-4_21" target="_blank" >http://dx.doi.org/10.1007/978-3-319-23401-4_21</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-23401-4_21" target="_blank" >10.1007/978-3-319-23401-4_21</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Parameter Synthesis by Parallel Coloured CTL Model Checking

Popis výsledku v původní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.

Název v anglickém jazyce

Parameter Synthesis by Parallel Coloured CTL Model Checking

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA15-11089S" target="_blank" >GA15-11089S: Získávání parametrů biologických modelů pomocí techniky ověřování modelů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Computational Methods in Systems Biology

ISBN

9783319234007

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

13

Strana od-do

251-263

Název nakladatele

Springer International Publishing

Místo vydání

Neuveden

Místo konání akce

Nantes

Datum konání akce

1. 1. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—