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


hybrid reachability
{
  # Vars
  state var x, y

  setting
  {
    fixed steps .001
    time 5
    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' = y
        y' = (1.0 - x * x) * y - x
      }
      inv
      {
      }
    }
  }

  jumps
  {
  }

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