Thomas A. Henzinger, Pei-Hsin Ho  Home/Search
Context Related
Links: DBLP | berkeley.edu/~tah/...technology_tool.ps maui.theoinf.tuilmenau.de...case.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~t...technology_tool (more) From: maui.theoinf.tuilmenau....hybrid (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. 1 Introduction Hybrid systems are digital real-time systems that interact with the physical world through sensors and actuators. Due to the rapid development of digital processor technology, hybrid systems... (Update)
Cited by: More
Submitted for Publication to - International Workshop On (Correct)
Verifying Untimed and Timed Aspects of the Experimental.. - Huuck, Lukoschus, al. (2001) (Correct)
CANDLE: A High Level Language and Development.. - Kendall, Bradley.. (1998) (Correct)
Similar documents (at the sentence level):
5.6%: Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger, Ho (1996) (Correct)
Similar documents based on text: More All
0.5: Verification and Power Analysis of an Event-Based System.. - Coleri, Ergen (2002) (Correct)
0.5: Lifetime Analysis of a Sensor Network with Hybrid Automata.. - Coleri, Ergen, Koo (2002) (Correct)
0.4: A User Guide to HYTECH - Henzinger, Ho, Wong-Toi (1995) (Correct)
Related documents from co-citation: More All
31: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
23: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
18: Model-Checking in Dense Real-Time - Alur, Courcoubetis et al. - 1993
BibTeX entry: (Update)
Thomas A. Henzinger and Pei-Hsin Ho. HyTech: The Cornell HYbrid TECHnology Tool. Proc. of TACAS, Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1995. BRICS report series NS--95--2. http://citeseer.ist.psu.edu/article/henzinger95hytech.html More
@inproceedings{ henzinger94hytech,
author = "Thomas A. Henzinger and Pei-Hsin Ho",
title = "{HYTECH}: The Cornell {HYbrid} {TECHnology} Tool",
booktitle = "Hybrid Systems",
pages = "265-293",
year = "1994",
url = "citeseer.ist.psu.edu/article/henzinger95hytech.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC