## Download

Flow* | biology_II.model |

## Model description

We present a nine-dimensional continuous model which is adapted from a biological system given in [1]. The modeling ODE is given as below.

## Reachability settings

We consider the initial set .

## Results

The following figure shows an overapproximation computed by Flow* for the time horizon .

## References

[1] E. Klipp, R. Herwig, A. Kowald, C. Wierling, H. Lehrach.*Systems Biology in Practice: Concepts, Implementation and Application.*Wiley-Blackwell, 2005.