Detailed Information on Publication Record
2012
On Approximative Reachability Analysis of Biochemical Dynamical Systems
BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN and David ŠAFRÁNEKBasic information
Original name
On Approximative Reachability Analysis of Biochemical Dynamical Systems
Authors
BRIM, Luboš (203 Czech Republic, belonging to the institution), Jana FABRIKOVÁ (203 Czech Republic, belonging to the institution), Sven DRAŽAN (203 Czech Republic, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution)
Edition
Heidelberg, Transactions on Computational Systems Biology XIV, p. 77-101, 25 pp. 2012
Publisher
Springer
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Czech Republic
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
printed version "print"
References:
Impact factor
Impact factor: 0.402 in 2005
RIV identification code
RIV/00216224:14330/12:00057894
Organization unit
Faculty of Informatics
ISBN
978-3-642-35523-3
ISSN
Keywords in English
biochemical dynamical systems; reachability analysis; discrete approximation
Tags
International impact, Reviewed
Změněno: 22/4/2013 23:47, RNDr. Pavel Šmerk, Ph.D.
Abstract
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).
Links
GAP202/11/0312, research and development project |
| ||
MUNI/A/0914/2009, interní kód MU |
|