On Approximative Reachability Analysis of Biochemical Dynamical
Systems

D 2012

On Approximative Reachability Analysis of Biochemical Dynamical Systems

BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN a David ŠAFRÁNEK

Základní údaje

Originální název

On Approximative Reachability Analysis of Biochemical Dynamical Systems

Autoři

BRIM, Luboš (203 Česká republika, domácí), Jana FABRIKOVÁ (203 Česká republika, domácí), Sven DRAŽAN (203 Česká republika, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí)

Vydání

Heidelberg, Transactions on Computational Systems Biology XIV, od s. 77-101, 25 s. 2012

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

URL

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/12:00057894

Organizační jednotka

Fakulta informatiky

ISBN

978-3-642-35523-3

ISSN

DOI

http://dx.doi.org/10.1007/978-3-642-35524-0_4

Klíčová slova anglicky

biochemical dynamical systems; reachability analysis; discrete approximation

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 22. 4. 2013 23:47, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

This is an extended version of the workshop paper, in which a new computational technique called quantitative discrete approximation has been introduced. The technique provides finite discrete approximation of continuous dynamical systems which is suitable especially for a significant class of biochemical dynamical systems. With decreasing granularity the approximation of behaviour between a discrete state and its successor converges to the behaviour of the original continuous system in the respective part of the phase space. This paper provides a detailed description of the method and algorithms solving the reachability problem in biochemical dynamical systems. The method is supplemented with heuristics for reducing the cardinality of the reachable state space. The algorithms are evaluated on six models (with numbers of variables ranging from 2 to 12).

Návaznosti

GAP202/11/0312, projekt VaV

Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)

Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification

MUNI/A/0914/2009, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN a David ŠAFRÁNEK. On Approximative Reachability Analysis of Biochemical Dynamical Systems. In Corrado Priami et al. Transactions on Computational Systems Biology XIV. Heidelberg: Springer, 2012, s. 77-101. ISBN 978-3-642-35523-3. Dostupné z: https://dx.doi.org/10.1007/978-3-642-35524-0_4.

@inproceedings{1076230,
   author = {Brim, Luboš and Fabriková, Jana and Dražan, Sven and Šafránek, David},
   address = {Heidelberg},
   booktitle = {Transactions on Computational Systems Biology XIV},
   doi = {http://dx.doi.org/10.1007/978-3-642-35524-0_4},
   editor = {Corrado Priami et al.},
   keywords = {biochemical dynamical systems; reachability analysis; discrete approximation},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Heidelberg},
   isbn = {978-3-642-35523-3},
   pages = {77-101},
   publisher = {Springer},
   title = {On Approximative Reachability Analysis of Biochemical Dynamical Systems},
   url = {http://link.springer.com/chapter/10.1007%2F978-3-642-35524-0_4},
   year = {2012}
}

TY  - JOUR
ID  - 1076230
AU  - Brim, Luboš - Fabriková, Jana - Dražan, Sven - Šafránek, David
PY  - 2012
TI  - On Approximative Reachability Analysis of Biochemical Dynamical Systems
PB  - Springer
CY  - Heidelberg
SN  - 9783642355233
KW  - biochemical dynamical systems
KW  - reachability analysis
KW  - discrete approximation
UR  - http://link.springer.com/chapter/10.1007%2F978-3-642-35524-0_4
L2  - http://link.springer.com/chapter/10.1007%2F978-3-642-35524-0_4
N2  - This is an extended version of the workshop paper, in which a new computational technique called quantitative discrete approximation has been introduced. The technique provides finite discrete approximation of continuous dynamical systems which is suitable especially for a significant class of biochemical dynamical systems. With decreasing granularity the approximation of behaviour between a discrete state and its successor converges to the behaviour of the original continuous system in the respective part of the phase space. This paper provides a detailed description of the method and algorithms solving the reachability problem in biochemical dynamical systems. The method is supplemented with heuristics for reducing the cardinality of the reachable state space. The algorithms are evaluated on six models (with numbers of variables ranging from 2 to 12).
ER  -

BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN a David ŠAFRÁNEK. On Approximative Reachability Analysis of Biochemical Dynamical Systems. In Corrado Priami et al. \textit{Transactions on Computational Systems Biology XIV}. Heidelberg: Springer, 2012, s.~77-101. ISBN~978-3-642-35523-3. Dostupné z: https://dx.doi.org/10.1007/978-3-642-35524-0\_{}4.

Podrobný výpis o publikaci