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


//Vars
[0, 0.2] time;
[-1000,1000] x1;
[-1000,1000] x2;
[-1000,1000] x3;
[-1000,1000] x4;
[-1000,1000] x5;
[-1000,1000] x6;
[-1000,1000] x7;



// start modes
// running
{
  mode 1;
  invt:
  flow:
    d/dt[x1] = -0.4 * x1 + 50.0 * x3 * x4;
    d/dt[x2] = 0.4 * x1 - x2;
    d/dt[x3] = x2 - 50.0 * x3 * x4;
    d/dt[x4] = 50.0 * x5 * x6 - 50.0 * x3 * x4;
    d/dt[x5] = -50.0 * x5 * x6 + 50.0 * x3 * x4;
    d/dt[x6] = 0.5 * x7 - 50.0 * x5 * x6;
    d/dt[x7] = -0.5 * x7 + 50.0 * x5 * x6;

  jump:

  // end running
}
// end modes

init:
@1 (and (and (and (and (and (and (and (and (and (and (and (and (and (x1 >= 0.1) (x1 <= 0.105)) (x2 >= 0.1)) (x2 <= 0.105)) (x3 >= 0.1)) (x3 <= 0.105)) (x4 >= 0.1)) (x4 <= 0.105)) (x5 >= 0.1)) (x5 <= 0.105)) (x6 >= 0.1)) (x6 <= 0.105)) (x7 >= 0.1)) (x7 <= 0.105));

goal:
@1 (and (and (and (and (and (and (and (and (and (and (and (and (and (x1 >= 0.1) (x1 <= 0.105)) (x2 >= 0.1)) (x2 <= 0.105)) (x3 >= 0.1)) (x3 <= 0.105)) (x4 >= 0.1)) (x4 <= 0.105)) (x5 >= 0.1)) (x5 <= 0.105)) (x6 >= 0.1)) (x6 <= 0.105)) (x7 >= 0.1)) (x7 <= 0.105));
