Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2011
Type Article in Periodical
Magazine / Source Electronic Proceedings in Theoretical Computer Science
MU Faculty or unit

Faculty of Informatics

Citation
Web http://eptcs.org/content.cgi?CompMod2011
Doi http://dx.doi.org/10.4204/EPTCS.67.9
Field Informatics
Keywords abstraction; differential equations; reachability; systems biology
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.