@TechReport{Chen15,
  author      = "Xin Chen",
  title       = "Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models",
  institution = "RWTH Aachen",
  keywords    = "hybrid system, continuous system, ODE, Taylor model",
  year        = "2015",
  number      = "AIB-2015-09",
  month       = apr,
  url         = "http://aib.informatik.rwth-aachen.de/2015/2015-09.ps.gz"
}