| Identifikační kód | RIV/00216224:14330/11:00049903 |
|---|
| Název v anglickém jazyce | Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation |
|---|
| Druh | J - Článek v odborném periodiku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2011 |
|---|
| 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 | 4 |
|---|
| Počet domácích tvůrců | 4 |
|---|
| 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)
Jana Fabriková (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5469031)
Sven Dražan (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3111342)
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 | 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. |
|---|
| Klíčová slova oddělená středníkem | abstraction; differential equations; reachability; systems biology |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.4204/EPTCS.67.9 |
|---|