Publication details
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
| Basic information | |
|---|---|
| Original title: | Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation |
| Authors: | Luboš Brim, Jana Fabriková, Sven Dražan, David Šafránek |
| Further information | |
|---|---|
| Citation: | BRIM, Luboš  - FABRIKOVÁ, Jana - DRAŽAN, Sven - ŠAFRÁNEK, David. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science, USA. ISSN 2075-2180, 2011, vol. Neuveden, no. 67, pp. 97-112. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://eptcs.org/content.cgi?CompMod2011 |
| Type: | Article in Periodical |
| Keywords: | abstraction; differential equations; reachability; systems biology |
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:
- Highly Parallel and Distributed Computing Systems
- Verification and Analysis of Large-Scale Computer Systems
- Rozsáhlé výpočetní systémy: modely, aplikace a verifikace
