---
_id: '4448'
abstract:
- lang: eng
  text: We report on several abstract interpretation strategies that are designed
    to improve the performance of HyTech, a symbolic model checker for linear hybrid
    systems. We (1) simultaneously compute the target region from different directions,
    (2) conservatively approximate the target region by dropping constraints, and
    (3) iteratively refine the approximation until sufficient precision is obtained.
    We consider the standard abstract convex-hull operator and a novel abstract extrapolation
    operator.
acknowledgement: ' 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. A note on abstract-interpretation strategies for hybrid
    automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. <i>3rd International Hybrid
    Systems Workshop</i>. Vol 999. Springer; 1995:252-264. doi:<a href="https://doi.org/10.1007/3-540-60472-3_13">10.1007/3-540-60472-3_13</a>'
  apa: 'Henzinger, T. A., &#38; Ho, P. (1995). A note on abstract-interpretation strategies
    for hybrid automata. In A. Panos, W. Kohn, A. Nerode, &#38; S. Sastry (Eds.),
    <i>3rd International Hybrid Systems Workshop</i> (Vol. 999, pp. 252–264). Ithaca,
    NY, United States of America: Springer. <a href="https://doi.org/10.1007/3-540-60472-3_13">https://doi.org/10.1007/3-540-60472-3_13</a>'
  chicago: Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies
    for Hybrid Automata.” In <i>3rd International Hybrid Systems Workshop</i>, edited
    by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer,
    1995. <a href="https://doi.org/10.1007/3-540-60472-3_13">https://doi.org/10.1007/3-540-60472-3_13</a>.
  ieee: T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for
    hybrid automata,” in <i>3rd International Hybrid Systems Workshop</i>, Ithaca,
    NY, United States of America, 1995, vol. 999, pp. 252–264.
  ista: Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for
    hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II,
    LNCS, vol. 999, 252–264.
  mla: Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies
    for Hybrid Automata.” <i>3rd International Hybrid Systems Workshop</i>, edited
    by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:<a href="https://doi.org/10.1007/3-540-60472-3_13">10.1007/3-540-60472-3_13</a>.
  short: T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.),
    3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.
conference:
  end_date: 1994-10-30
  location: Ithaca, NY, United States of America
  name: Hybrid Systems II
  start_date: 1994-10-28
date_created: 2018-12-11T12:08:54Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T11:48:59Z
day: '01'
doi: 10.1007/3-540-60472-3_13
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_13
month: '01'
oa_version: None
page: 252 - 264
publication: 3rd International Hybrid Systems Workshop
publication_identifier:
  isbn:
  - '9783540604723'
publication_status: published
publisher: Springer
publist_id: '282'
quality_controlled: '1'
status: public
title: A note on abstract-interpretation strategies for hybrid automata
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 999
year: '1995'
...