---
_id: '4447'
abstract:
- lang: eng
  text: This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology
    Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies
    that have been incorporated into HyTech, and we illustrate the use of HyTech with
    three nontrivial case studies.
acknowledgement: This research was supported in part by the National Science Foundation
  under grant CCR-9200794, by the Air Force Office of Scientific Research under contract
  F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520,
  and by the Defense Advanced Research Projects Agency under 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: Pei
  full_name: Ho, Pei
  last_name: Ho
citation:
  ama: 'Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos
    A, Kohn W, Nerode A, Sastry S, eds. <i>4th International Hybrid Systems Workshop</i>.
    Vol 999. LNCS. Springer; 1995:265-293. doi:<a href="https://doi.org/10.1007/3-540-60472-3_14">10.1007/3-540-60472-3_14</a>'
  apa: 'Henzinger, T. A., &#38; Ho, P. (1995). HyTech: The Cornell Hybrid Technology
    Tool. In A. Panos, W. Kohn, A. Nerode, &#38; S. Sastry (Eds.), <i>4th International
    Hybrid Systems Workshop</i> (Vol. 999, pp. 265–293).  New Brunswick, NJ, United
    States of America: Springer. <a href="https://doi.org/10.1007/3-540-60472-3_14">https://doi.org/10.1007/3-540-60472-3_14</a>'
  chicago: 'Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology
    Tool.” In <i>4th International Hybrid Systems Workshop</i>, edited by Antsaklis
    Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer,
    1995. <a href="https://doi.org/10.1007/3-540-60472-3_14">https://doi.org/10.1007/3-540-60472-3_14</a>.'
  ieee: 'T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,”
    in <i>4th International Hybrid Systems Workshop</i>,  New Brunswick, NJ, United
    States of America, 1995, vol. 999, pp. 265–293.'
  ista: 'Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th
    International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999,
    265–293.'
  mla: 'Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.”
    <i>4th International Hybrid Systems Workshop</i>, edited by Antsaklis Panos et
    al., vol. 999, Springer, 1995, pp. 265–93, doi:<a href="https://doi.org/10.1007/3-540-60472-3_14">10.1007/3-540-60472-3_14</a>.'
  short: T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.),
    4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
conference:
  end_date: 1955-10-25
  location: ' New Brunswick, NJ, United States of America'
  name: Hybrid Systems III
  start_date: 1995-10-22
date_created: 2018-12-11T12:08:54Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T11:24:15Z
day: '01'
doi: 10.1007/3-540-60472-3_14
editor:
- first_name: Antsaklis
  full_name: Panos, Antsaklis
  last_name: Panos
- first_name: Wolf
  full_name: Kohn, Wolf
  last_name: Kohn
- first_name: Anil
  full_name: Nerode, Anil
  last_name: Nerode
- first_name: Shankar
  full_name: Sastry, Shankar
  last_name: Sastry
extern: '1'
intvolume: '       999'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60472-3_14
month: '01'
oa_version: None
page: 265 - 293
publication: 4th International Hybrid Systems Workshop
publication_identifier:
  isbn:
  - '9783540683346'
publication_status: published
publisher: Springer
publist_id: '281'
quality_controlled: '1'
series_title: LNCS
status: public
title: 'HyTech: The Cornell Hybrid Technology Tool'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 999
year: '1995'
...