Parallel parameter synthesis algorithm for hybrid CTL

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F20%3A00113986" target="_blank" >RIV/00216224:14330/20:00113986 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.scico.2019.102321" target="_blank" >http://dx.doi.org/10.1016/j.scico.2019.102321</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.scico.2019.102321" target="_blank" >10.1016/j.scico.2019.102321</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Parallel parameter synthesis algorithm for hybrid CTL

Popis výsledku v původním jazyce

Parametrised models of dynamical systems arise in various areas of science. In this work, we focus on models described as parametrised Kripke structures with properties formulated in a hybrid extension of the Computation Tree Logic. Our goal is to identify all the parametrisations under which the given model satisfies the properties. To that end, we propose a novel semi-symbolic parallel parameter synthesis algorithm. The algorithm is built on top of an existing approach that utilises the so-called Extended Dependency Graphs. We extend this approach to deal with parameters. To demonstrate the usefulness of our approach, we show its application to several case studies taken from systems biology.

Název v anglickém jazyce

Parallel parameter synthesis algorithm for hybrid CTL

Popis výsledku anglicky

Parametrised models of dynamical systems arise in various areas of science. In this work, we focus on models described as parametrised Kripke structures with properties formulated in a hybrid extension of the Computation Tree Logic. Our goal is to identify all the parametrisations under which the given model satisfies the properties. To that end, we propose a novel semi-symbolic parallel parameter synthesis algorithm. The algorithm is built on top of an existing approach that utilises the so-called Extended Dependency Graphs. We extend this approach to deal with parameters. To demonstrate the usefulness of our approach, we show its application to several case studies taken from systems biology.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

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 periodika

Science of Computer Programming

ISSN

0167-6423

e-ISSN

0167-6423

Svazek periodika

185

Číslo periodika v rámci svazku

102321

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

19

Strana od-do

1-19

Kód UT WoS článku

000499761400001

EID výsledku v databázi Scopus

2-s2.0-85072928510