---
_id: '4426'
abstract:
- lang: eng
  text: 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.
acknowledgement: This research was supported in part by the ONR YIP award N00014-95-1-0520,
  by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469,
  by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Howard
  full_name: Wong Toi, Howard
  last_name: Wong Toi
citation:
  ama: 'Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear
    hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. <i>Hybrid Systems III:
    Verification and Control</i>. Vol 1066. Springer; 1996:377-388. doi:<a href="https://doi.org/10.1007/BFb0020961">10.1007/BFb0020961</a>'
  apa: 'Henzinger, T. A., &#38; Wong Toi, H. (1996). Linear phase-portrait approximations
    for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, &#38; E. Sontag (Eds.),
    <i>Hybrid Systems III: Verification and Control</i> (Vol. 1066, pp. 377–388).
    Springer. <a href="https://doi.org/10.1007/BFb0020961">https://doi.org/10.1007/BFb0020961</a>'
  chicago: 'Henzinger, Thomas A, and Howard Wong Toi. “Linear Phase-Portrait Approximations
    for Nonlinear Hybrid Systems.” In <i>Hybrid Systems III: Verification and Control</i>,
    edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer,
    1996. <a href="https://doi.org/10.1007/BFb0020961">https://doi.org/10.1007/BFb0020961</a>.'
  ieee: 'T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for
    nonlinear hybrid systems,” in <i>Hybrid Systems III: Verification and Control</i>,
    1996, vol. 1066, pp. 377–388.'
  ista: 'Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for
    nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS,
    vol. 1066, 377–388.'
  mla: 'Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations
    for Nonlinear Hybrid Systems.” <i>Hybrid Systems III: Verification and Control</i>,
    edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:<a href="https://doi.org/10.1007/BFb0020961">10.1007/BFb0020961</a>.'
  short: 'T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.),
    Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388.'
date_created: 2018-12-11T12:08:47Z
date_published: 1996-01-01T00:00:00Z
date_updated: 2022-07-06T09:58:25Z
day: '01'
doi: 10.1007/BFb0020961
editor:
- first_name: Rajeev
  full_name: Alur, Rajeev
  last_name: Alur
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  last_name: Henzinger
- first_name: Eduardo
  full_name: Sontag, Eduardo
  last_name: Sontag
extern: '1'
intvolume: '      1066'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/BFb0020961
month: '01'
oa_version: None
page: 377 - 388
publication: 'Hybrid Systems III: Verification and Control'
publication_identifier:
  isbn:
  - '9783540611554'
publication_status: published
publisher: Springer
publist_id: '302'
quality_controlled: '1'
status: public
title: Linear phase-portrait approximations for nonlinear hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1066
year: '1996'
...