Thomas A. Henzinger  Home/Search
Context Related
Links: ACM DBLP | berkeley.edu/~tah/...hybrid_automata.ps berkeley.edu/HomeP...hybrid_automata.ps ntu.edu.tw/~yen/co...hybrid_automata.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: berkeley.edu/~t...hybrid_automata (more) From: jprc.com/Data_Structures_...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A hybrid automaton is a formal model for a mixed discrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically. The classification reveals structure on mixed discrete-continuous state spaces that was previously studied on purely discrete state spaces only. In particular, various classes of hybrid automata induce finitary trace equivalence (or similarity, or bisimilarity) relations on an uncountable state space, thus... (Update)
Cited by: More
Systems Biology and Automata - Mishra And Policriti (Correct)
Modeling Cellular Behavior with Hybrid - Automata Bisimulation And (Correct)
Accepted for presentation to Journees Montoises d'Informatique - Th Eoriques Expand (Correct)
Active bibliography (related documents): More All
0.9: A User Guide to HYTECH - Henzinger, Ho, Wong-Toi (1995) (Correct)
0.6: What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (1995) (Correct)
0.5: HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997) (Correct)
Similar documents based on text: More All
0.1: Weak Bisimilarity with Infinite-State Systems can be Decided.. - Kucera, Mayr (1999) (Correct)
0.1: Mixed Variable Non-Linear Optimization By Differential Evolution - Lampinen (Correct)
0.0: Hereditary History Preserving Bisimilarity Is Undecidable - Jurdzinski, Nielsen (2000) (Correct)
Related documents from co-citation: More All
42: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
34: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
30: Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger et al. - 1993
BibTeX entry: (Update)
T. Henzinger. The theory of hybrid automata. In Proc. 11th LICS, pp. 278--292, 1996. http://citeseer.ist.psu.edu/henzinger96theory.html More
@inproceedings{ henzinger96theory,
author = "Thomas Henzinger",
title = "The Theory of Hybrid Automata",
booktitle = "Proceedings of the 11th Annual {IEEE} Symposium on Logic in Computer Science ({LICS} '96)",
address = "New Brunswick, New Jersey",
pages = "278--292",
year = "1996",
url = "citeseer.ist.psu.edu/henzinger96theory.html" }
Citations (may not include all citations):666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994 ACM
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1994 ACM DBLP
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995 ACM DBLP
232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993 DBLP
224 Model checking in dense real time - Alur, Courcoubetis et al. - 1993
214 An old-fashioned recipe for real time - Abadi, Lamport - 1994 ACM DBLP
211 HyTech: a model checker for hybrid systems - Henzinger, Ho et al. - 1997 DBLP
175 Logics and models of real time: a survey - Alur, Henzinger - 1992 DBLP
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996
155 The tool kronos - Daws, Olivero et al. - 1996 ACM DBLP
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989 ACM DBLP
139 From timed to hybrid systems - Maler, Manna et al. - 1992 ACM DBLP
110 A user guide to HyTech - Henzinger, Ho et al. - 1995 ACM DBLP
103 the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli 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 - 1995
75 Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1993 DBLP
75 Parametric real-time reasoning - Alur, Henzinger et al. - 1993
67 Modularity for timed and hybrid systems - Alur, Henzinger - 1997 ACM DBLP
65 Computing simulations on finite and infinite graphs - Henzinger, Henzinger et al. - 1995 ACM DBLP
64 Liveness in timed and untimed systems - Gawlick, Segala et al. - 1994 ACM DBLP
61 Verification of an audio-control protocol - Bosscher, Polak et al. - 1994
58 Hybrid automata with finite bisimulations - Henzinger - 1995
58 Decidability of hybrid systems with rectangular differential.. - Puri, Varaiya - 1994
53 Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995 ACM DBLP
50 Timing analysis in cospan - Alur, Kurshan - 1996 ACM DBLP
37 Decidability of bisimulation equivalence for parallel timer .. (context) - Cer - 1992
36 Computing accumulated delays in real-time systems - Alur, Courcoubetis et al. - 1997
36 Using HyTech to verify an automotive control system - Stauner, Muller et al. - 1997
32 Sooner is safer than later - Henzinger - 1992 ACM DBLP
29 Linear phase-portrait approximations for nonlinear hybrid sy.. - Henzinger, Wong-Toi - 1996 ACM DBLP
29 Using HyTech to synthesize control parameters for a steam bo.. - Henzinger, Wong-Toi - 1996 ACM DBLP
28 Timing analysis of Ada tasking programs - Corbett - 1996 ACM DBLP
28 Discrete-time control for rectangular hybrid automata - Henzinger, Kopke - 1997 ACM DBLP
27 Robust timed automata - Gupta, Henzinger et al. - 1997
24 The expressive power of clocks - Henzinger, Kopke et al. - 1995 ACM DBLP
18 On model checking for real-time properties with durations - Bouajjani, Echahed et al. - 1993 DBLP
15 Proving dynamic properties in an aerospace application (context) - Nadjm-Tehrani, Stromberg - 1995 ACM DBLP
14 Timed modal specification: Theory and tools - Cer, Godskesen et al. - 1993
11 approximation of differential inclusions (context) - Puri, Borkar et al. - 1996
9 Timing behavior analysis for real-time systems (context) - Wang - 1995 ACM DBLP
9 State equivalences for rectangular hybrid automata - Henzinger, Kopke - 1996 ACM DBLP
7 regular properties for subclasses of linear hybrid systems (context) - Bouajjani, Robbana - 1995
3 Verifying abstractions of timed systems - Ta, Alur et al. - 1996 ACM DBLP
2 Verification of context-free timed systems using linear hybr.. (context) - Bouajjani, Echahed et al. - 1994 ACM DBLP
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