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 :