Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2011
Druh Článek v odborném periodiku
Časopis / Zdroj Electronic Proceedings in Theoretical Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://eptcs.org/content.cgi?CompMod2011
Doi http://dx.doi.org/10.4204/EPTCS.67.9
Obor Informatika
Klíčová slova abstraction; differential equations; reachability; systems biology
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.