We study the model of cellular p53 regulation given in [1]. We adapt the model by replacing by , and obtain the following dynamics.

We firstly consider a small initial set which is given by

The following figure shows the interval overapproximations for the flowpipes computed by Flow* 2.1.0 over the time horizon [0,10]. The total time cost is around 110 seconds.

For the following larger initial set with the same time horizon, Flow* 2.1.0 spent 200 seconds to compute all the flowpipes.

### References

[1] G. Leenders and J. A.Tuszynski.

*Stochastic and deterministic models of cellular p53 regulation.*

Frontiers in Oncology. 2013;3:64.