// Hyst v1.17
// Hybrid Automaton in dReach
// Converted from file: ../../examples/brusselator/brusselator.xml
// Command Line arguments: -dreach ../../examples/brusselator/brusselator.xml


//Vars
[0, 15.0] time;
[-1000,1000] x;
[-1000,1000] y;



// start modes
// running
{
  mode 1;
  invt:
  flow:
    d/dt[x] = 1.0 + x * x * y - 2.5 * x;
    d/dt[y] = 1.5 * x - x * x * y;

  jump:

  // end running
}
// end modes

init:
@1 (and (and (and (x >= 0.9) (x <= 1.0)) (y >= 0.0)) (y <= 0.1));

goal:
@1 (and (and (and (x >= 0.9) (x <= 1.0)) (y >= 0.0)) (y <= 0.1));
