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 .
The initial set is defined by which we used in .
As an example, the following figure shows an overapproximation, computed by Flow*, of the reachable set in the time horizon :
 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.