Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi  Home/Search
Context Related
| upenn.edu/~lee/99cis642/99c...hytech.ps upenn.edu/~lee/99cis642/99c...hytech.ps berkeley.edu/HomePages/tah/...hytech.ps 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: upenn.edu/~lee/99cis64...schedule (more) From: upenn.edu/~lee/99cis64...schedule (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):
18.3%: 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.3: Algorithmic Analysis of Nonlinear Hybrid Systems - Henzinger, Ho, Wong-Toi (1996) (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/article/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/article/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. - 1995
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
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
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
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 abstract-interpretation strategies for hybrid auto.. (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
28 Timing analysis of Ada tasking programs - Corbett - 1996
28 Discrete-time control for rectangular hybrid automata - Henzinger, Kopke - 1997
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 - 1995
11 Real-time system = discrete system + clock variables - Alur, Henzinger et al. - 1997
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
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~lee/99cis642/99cis642/schedule.html): More
Symbolic Weak Bisimulation for Value-passing Calculi - Kwak, Choi, Lee, Philippou (1998) (Correct)
Specifying Real-Time Finite-State Systems in Linear Logic - Kanovich, Okada, Scedrov (1998) (Correct)
Efficient Run-Time Monitoring of Timing Constraints - Mok, Liu (1997) (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