Informační systém Masarykovy univerzity 

On Approximative Reachability Analysis of Biochemical Dynamical Systems

česky | in English

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, 25 s. ISBN 978-3-642-35523-3. doi:10.1007/978-3-642-35524-0_4.
Další formáty:   BibTeX LaTeX RIS
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
Originální jazyk angličtina
Typ výsledku Článek ve sborníku
Obor Informatika
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"
WWW 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 0302-9743
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ěnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 22. 4. 2013 23:47.
Anotace
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 VaVNázev: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Standardní projekty
MUNI/A/0914/2009, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Grantová agentura MU, Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 20. 9. 2017 23:44

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 23:44, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému