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


//Vars
[0, 3.0] time;
[-1000,1000] x;
[-1000,1000] y;
[-1000,1000] u;
[-1000,1000] v;



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

  jump:

  // end running
}
// end modes

init:
@1 (and (and (and (and (and (x = 1.25) (y = 2.4)) (u >= 2.1)) (u <= 2.4)) (v >= 3.35)) (v <= 3.45));

goal:
@1 (and (and (and (and (and (x = 1.25) (y = 2.4)) (u >= 2.1)) (u <= 2.4)) (v >= 3.35)) (v <= 3.45));
