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

     \[ \left\{ \begin{array}{lcl} \dot{x} & = & A + x^2\cdot y - B\cdot x - x \\ \dot{y} & = & B\cdot x - x^2\cdot y \end{array} \right. \]

Here, we set  A = 1, B = 1.5 .

Reachability setting

The initial set is defined by  x \in [0.8,1], y \in [0,0.2] which we used in [1].


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



[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.