BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN and David ŠAFRÁNEK. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science. 2011, Neuveden, No 67, p. 97-112, 15 pp. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.67.9. |
Other formats:
BibTeX
LaTeX
RIS
@article{947015, author = {Brim, Luboš and Fabriková, Jana and Dražan, Sven and Šafránek, David}, article_number = {67}, doi = {http://dx.doi.org/10.4204/EPTCS.67.9}, keywords = {abstraction; differential equations; reachability; systems biology}, language = {eng}, issn = {2075-2180}, journal = {Electronic Proceedings in Theoretical Computer Science}, title = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation}, url = {http://eptcs.org/content.cgi?CompMod2011}, volume = {Neuveden}, year = {2011} }
TY - JOUR ID - 947015 AU - Brim, Luboš - Fabriková, Jana - Dražan, Sven - Šafránek, David PY - 2011 TI - Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation JF - Electronic Proceedings in Theoretical Computer Science VL - Neuveden IS - 67 SP - 97-112 EP - 97-112 SN - 20752180 KW - abstraction KW - differential equations KW - reachability KW - systems biology UR - http://eptcs.org/content.cgi?CompMod2011 N2 - 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 dynamical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study. ER -
BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN and David ŠAFRÁNEK. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. \textit{Electronic Proceedings in Theoretical Computer Science}. 2011, Neuveden, No~67, p.~97-112, 15 pp. ISSN~2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.67.9.
|