# Hyst v1.17
# Hybrid Automaton in Flow*
# Converted from: ../../examples/brusselator/brusselator.xml
# Using command line arguments: -flowstar ../../examples/brusselator/brusselator.xml


hybrid reachability
{
  # Vars
  state var x, y

  setting
  {
    fixed steps .05
    time 15
    remainder estimation 1e-4
    QR precondition
    gnuplot octagon x,y
    adaptive orders { min 3, max 8 } 
    cutoff 1e-15
    precision 53
    output out
    max jumps 99999999
    print on
  }

  modes
  {
    running
    {
      poly ode 1
      {
        x' = 1.0 + x * x * y - 2.5 * x
        y' = 1.5 * x - x * x * y
      }
      inv
      {
      }
    }
  }

  jumps
  {
  }

  init
  {
    running
    {
      x in [.9, 1]
      y in [0, .1]
    }
  }
}
