HyTech: The Cornell Hybrid Technology Tool

T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems II, Springer, 1995, pp. 265–293.

Download
No fulltext has been uploaded. References only!

Book Chapter | Published
Author
Book Editor
; ; ;
Series Title
LNCS
Abstract
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.
Publishing Year
Date Published
1995-01-01
Book Title
Hybrid Systems II
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.
Volume
999
Page
265 - 293
IST-REx-ID

Cite this

Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. Hybrid Systems II. Vol 999. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14
Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), Hybrid Systems II (Vol. 999, pp. 265–293). Springer. https://doi.org/10.1007/3-540-60472-3_14
Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” In Hybrid Systems II, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_14.
T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in Hybrid Systems II, vol. 999, A. Panos, W. Kohn, A. Nerode, and S. Sastry, Eds. Springer, 1995, pp. 265–293.
Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. Hybrid Systems II. , LNCS, vol. 999. 265–293.
Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar