---
_id: '4506'
abstract:
- lang: eng
  text: We propose a formal framework for designing hybrid systems by stepwise refinement.
    Starting with a specification in hybrid temporal logic, we make successively more
    transitions explicit until we obtain an executable system.
acknowledgement: This research was supported in part by the National Science Foundation
  under grants CCR-92-00794 and CCR-92-23226, by the Defense Advanced Research Projects
  Agency under contract NAG2-703, by the United States Air Force Office of Scientific
  Research under contracts F49620-93-1-0056 and F49620-93-1-0139, and by the European
  Community ESPRIT Basic Research Action Project 6021 (REACT).
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: Zohar
  full_name: Manna, Zohar
  last_name: Manna
- first_name: Amir
  full_name: Pnueli, Amir
  last_name: Pnueli
citation:
  ama: 'Henzinger TA, Manna Z, Pnueli A. Towards refining temporal specifications
    into hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. <i>International
    Hybrid Systems Workshop</i>. Vol 736. Springer; 1993:60-76. doi:<a href="https://doi.org/10.1007/3-540-57318-6_24">10.1007/3-540-57318-6_24</a>'
  apa: Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1993). Towards refining temporal
    specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, &#38;
    H. Rischel (Eds.), <i>International Hybrid Systems Workshop</i> (Vol. 736, pp.
    60–76). Springer. <a href="https://doi.org/10.1007/3-540-57318-6_24">https://doi.org/10.1007/3-540-57318-6_24</a>
  chicago: Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal
    Specifications into Hybrid Systems.” In <i>International Hybrid Systems Workshop</i>,
    edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76.
    Springer, 1993. <a href="https://doi.org/10.1007/3-540-57318-6_24">https://doi.org/10.1007/3-540-57318-6_24</a>.
  ieee: T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications
    into hybrid systems,” in <i>International Hybrid Systems Workshop</i>, 1993, vol.
    736, pp. 60–76.
  ista: Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications
    into hybrid systems. International Hybrid Systems Workshop. International Hybrid
    Systems Workshop, LNCS, vol. 736, 60–76.
  mla: Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into
    Hybrid Systems.” <i>International Hybrid Systems Workshop</i>, edited by Robert
    Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:<a href="https://doi.org/10.1007/3-540-57318-6_24">10.1007/3-540-57318-6_24</a>.
  short: T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn,
    H. Rischel (Eds.), International Hybrid Systems Workshop, Springer, 1993, pp.
    60–76.
conference:
  name: International Hybrid Systems Workshop
date_created: 2018-12-11T12:09:12Z
date_published: 1993-01-01T00:00:00Z
date_updated: 2022-03-23T13:13:46Z
day: '01'
doi: 10.1007/3-540-57318-6_24
editor:
- first_name: Robert
  full_name: Grossman, Robert
  last_name: Grossman
- first_name: Anil
  full_name: Nerode, Anil
  last_name: Nerode
- first_name: Anders
  full_name: Ravn, Anders
  last_name: Ravn
- first_name: Hans
  full_name: Rischel, Hans
  last_name: Rischel
extern: '1'
intvolume: '       736'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-57318-6_24
month: '01'
oa_version: None
page: 60 - 76
publication: International Hybrid Systems Workshop
publication_identifier:
  isbn:
  - 978-3-540-57318-0
publication_status: published
publisher: Springer
publist_id: '225'
quality_controlled: '1'
status: public
title: Towards refining temporal specifications into hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 736
year: '1993'
...