Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F11%3A00049903" target="_blank" >RIV/00216224:14330/11:00049903 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.4204/EPTCS.67.9" target="_blank" >http://dx.doi.org/10.4204/EPTCS.67.9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4204/EPTCS.67.9" target="_blank" >10.4204/EPTCS.67.9</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

Popis výsledku v původním jazyce

In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamicalsystems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study.

Název v anglickém jazyce

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

Popis výsledku anglicky

In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamicalsystems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F09%2F1389" target="_blank" >GA201/09/1389: Verifikace a analýza velmi velkých počítačových systémů</a><br>

Návaznosti

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

Rok uplatnění

2011

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

Electronic Proceedings in Theoretical Computer Science

ISSN

2075-2180

e-ISSN

—

Svazek periodika

Neuveden

Číslo periodika v rámci svazku

67

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

15

Strana od-do

97-112

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—