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


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



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

  jump:

  // end running
}
// end modes

init:
@1 (and (and (x = 1.0) (y > 0.5)) (y < 0.75));

goal:
@1 (and (and (x = 1.0) (y > 0.5)) (y < 0.75));
