## Download

Flow* | Brusselator.model |

## Model description

The Brusselator is a mathematical model for a class of autocatalytic reaction. The dynamics of the Brusselator is given by the ODE

Here, we set .

## Reachability setting

The initial set is defined by which we used in [1].

## Results

As an example, the following figure shows an overapproximation, computed by Flow*, of the reachable set in the time horizon :

## References

[1] X. Chen, E. Abraham, S. Sankaranarayanan.*Flow*: An Analyzer for Non-Linear Hybrid Systems.*In Proceedings of the 25th International Conference on Computer Aided Verification (CAV’13), Volume 8044 of LNCS, pages 258-263, Springer, 2013.