Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation [article]

Lubos Brim and Jana Fabrikova and Sven Drazan and David Safranek
<span title="2011-07-29">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
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
more &raquo; ... namical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study. This is a full version of the paper published in the proceedings of CompMod 2011.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="">arXiv:1107.5924v1</a> <a target="_blank" rel="external noopener" href="">fatcat:hrxrx4w36zhfboilt35jkn4zfa</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="" title=" access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> </button> </a>