Thomas Henzinger, Pei-Hsin Ho, Howard Wong-Toi  Home/Search
Context Related
| parades.rm.cnr.it/~...hytechSTTT.ps.gz Cached: 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.
PS.gz PS Image Update HelpFrom: parades.rm.cnr.it/~howard/...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing continuous change. HyTech is a symbolic model checker for linear hybrid automata, a subclass of hybrid automata that can be analyzed automatically by computing with polyhedral state sets. A key feature of ... (Update)
Similar documents based on text: More All
0.6: Formal modeling and analysis of hybrid systems: A.. - Alur, Esposito, Kim, .. (1999) (Correct)
0.5: Beyond HyTech: Hybrid Systems Analysis Using.. - Henzinger.. (2000) (Correct)
0.4: Verification and Power Analysis of an Event-Based System.. - Coleri, Ergen (2002) (Correct)
BibTeX entry: (Update)
T. Henzinger, P.-H. Ho and H. Wong-Toi. HyTech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1(1). Springer, 1997. http://citeseer.ist.psu.edu/henzinger97hytech.html More
@article{ henzinger97hytech,
author = "Thomas A. Henzinger and Pei-Hsin Ho and Howard Wong-Toi",
title = "{HYTECH}: A Model Checker for Hybrid Systems",
journal = "International Journal on Software Tools for Technology Transfer",
volume = "1",
number = "1--2",
pages = "110--122",
year = "1997",
url = "citeseer.ist.psu.edu/henzinger97hytech.html" }
Citations (may not include all citations):779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1992
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1994
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
224 Model checking in dense real time - Alur, Courcoubetis et al. - 1993
221 Specification and verification of concurrent systems in CESA.. (context) - Queille, Sifakis - 1981
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996
160 The theory of hybrid automata - Henzinger - 1996
155 The tool Kronos - Daws, Olivero et al. - 1996
110 A user guide to HyTech - Henzinger, Ho et al.
97 HyTech: the next generation - Henzinger, Ho et al. - 1995
93 UppAal: a tool-suite for automatic verification of real-time.. - Bengtsson, Larsen et al. - 1996
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.parades.rm.cnr.it/~howard/Publications/pubs.html): More
The Control of Dense Real-Time Discrete Event Systems - Wong-Toi, Hoffmann (1991) (Correct)
The Control of Dense Real-Time Discrete Event Systems - Wong-Toi, Hoffmann (1995) (Correct)
Using HYTECH to Synthesize Control Parameters for a Steam.. - Henzinger, Wong-Toi (1996) (Correct)
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