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


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



// start modes
// running
{
  mode 1;
  invt:
  flow:
    d/dt[x] = x - x * x * x - y + 7.0 / 8.0;
    d/dt[y] = 0.08 * (x + 0.7 - 0.8 * y);

  jump:

  // end running
}
// end modes

init:
@1 (and (and (and (x >= 0.9) (x <= 1.1)) (y >= 2.4)) (y <= 2.6));

goal:
@1 (and (and (and (x >= 0.9) (x <= 1.1)) (y >= 2.4)) (y <= 2.6));
