Thomas Henzinger, Pei-Hsin Ho, Howard Wong-Toi  Home/Search
Context Related
Links: DBLP | 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 HelpProblem Downloading? From: 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)
Cited by: More
Systems Biology and Automata - Mishra And Policriti (Correct)
Modeling Cellular Behavior with Hybrid - Automata Bisimulation And (Correct)
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
Similar documents (at the sentence level):
16.9%: Symbolic Analysis of Hybrid Systems - Alur, Henzinger, Wong-Toi (1997) (Correct)
Active bibliography (related documents): More All
1.4: HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997) (Correct)
0.5: The Theory of Hybrid Automata - Henzinger (1996) (Correct)
0.5: What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (1995) (Correct)
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)
Related documents from co-citation: More All
38: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
26: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
18: Model Checking in CLP - Delzanno, Podelski - 1999
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 ACM DBLP
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 ACM DBLP
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. ACM DBLP
97 HyTech: the next generation - Henzinger, Ho et al. - 1995 DBLP
93 UppAal: a tool-suite for automatic verification of real-time.. - Bengtsson, Larsen et al. - 1996
80 An approach to the description and analysis of hybrid system.. - Nicollin, Olivero et al. - 1993
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho et al. - 1998
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho - 1995 ACM DBLP
75 Verification of linear hybrid systems by means of convex app.. - Halbwachs, Raymond et al. - 1994
72 HyTech: The Cornell Hybrid Technology Tool - Henzinger, Ho - 1995
65 Computing simulations on finite and infinite graphs - Henzinger, Henzinger et al. - 1995 ACM DBLP
58 Hybrid automata with finite bisimulations - Henzinger - 1995
53 Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995
50 Timing analysis in Cospan - Alur, Kurshan - 1996
44 The SHIFT programming language and run-time system for dynam.. - Deshpande, Gollu et al. - 1997
36 Using HyTech to verify an automotive control system - Stauner, Muller et al. - 1997
35 A note on abstractinterpretation strategies for hybrid autom.. (context) - Henzinger, Ho - 1995
29 Linear phase-portrait approximations for nonlinear hybrid sy.. - Henzinger, Wong-Toi - 1996
29 Using HyTech to synthesize control parameters for a steam bo.. - Henzinger, Wong-Toi - 1996 ACM DBLP
28 Discrete-time control for rectangular hybrid automata - Henzinger, Kopke - 1997 ACM DBLP
28 Timing analysis of Ada tasking programs - Corbett - 1996
27 Verification of real-time systems by successive over- and un.. - Dill, Wong-Toi - 1995
15 Proving dynamic properties in an aerospace application (context) - Nadjm-Tehrani, Stromberg
11 Real-time system = discrete system + clock variables - Alur, Henzinger et al. - 1997 ACM DBLP
9 State equivalences for rectangular hybrid automata - Henzinger, Kopke - 1996
8 Automatic Analysis of Hybrid Systems (context) - Ho - 1995
4 The Theory of Rectangular Hybrid Automata (context) - Kopke - 1996
3 Iterative algorithms for formal verification of embedded rea.. (context) - Balarin, Sangiovanni-Vincentelli - 1994 ACM
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