This work is licensed under the Creative Commons Attribution License. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

In this paper a novel computational technique for finite discrete approximation of continuous dy-namical 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 em-ploying this approximation technique, we present algorithms solving the reachability problem for biochemical dynamical systems. The presented method and algorithms are evaluated on several ex-emplary biological models and on a real case study. This is a full version of the paper published in the proceedings of CompMod 2011.