Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)

TL;DR

This paper introduces a new computational method for approximating biochemical dynamical systems with finite discrete models, enabling effective reachability analysis and validated on biological examples and a real case study.

Contribution

A novel parameterized approximation technique for biochemical systems that converges to the original system and facilitates reachability analysis.

Findings

Effective algorithms for reachability in biochemical systems.

Validated on biological models and real case study.

Approximation converges with increasing parameter value.

Abstract

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.