@inproceedings{4426,
  abstract     = {We use linear hybrid automata to define linear approximations of the phase portraits of nonlinear hybrid systems. The approximating automata can be analyzed automatically using the symbolic model checker HyTech. We demonstrate the technique through the study of predator-prey systems, where we compute population bounds for both species. We also identify a class of nonlinear hybrid automata for which linear phase-portrait approximations can be generated automatically.},
  author       = {Henzinger, Thomas A and Wong Toi, Howard},
  booktitle    = {Hybrid Systems III: Verification and Control},
  editor       = {Alur, Rajeev and Henzinger, Thomas A and Sontag, Eduardo},
  isbn         = {9783540611554},
  pages        = {377 -- 388},
  publisher    = {Springer},
  title        = {{Linear phase-portrait approximations for nonlinear hybrid systems}},
  doi          = {10.1007/BFb0020961},
  volume       = {1066},
  year         = {1996},
}