Thomas A. Henzinger  Home/Search
Context Related
| berkeley.edu/~tah/...e_bisimulations.ps berkeley.edu/HomeP...e_bisimulations.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...e_bisimulations (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The analysis, verification, and control of hybrid automata with finite bisimulations can be reduced to finite-state problems. We advocate a time-abstract, phasebased methodology for checking if a given hybrid automaton has a finite bisimulation. First, we factor the automaton into two components, a boolean automaton with a discrete dynamics on the finite state space B m and a euclidean automaton with a continuous dynamics on the infinite state space R n . Second, we investigate the phase... (Update)
Cited by: More
Reachability Analysis of Hybrid Systems Using - Bisimulations Gerardo.. (Correct)
Subanalytic Stratifications and Bisimulations - Gerardo Lafferriere George (1998) (Correct)
A Logical Viewpoint on Process-Algebraic Quotients - Kucera, Esparza (1999) (Correct)
Active bibliography (related documents): More All
0.5: BDL, a language of distributed reactive objects - Talpin (1998) (Correct)
0.3: A User Guide to HYTECH - Henzinger, Ho, Wong-Toi (1995) (Correct)
0.3: What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (1995) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.5: The Controlled Composition Analysis of Hybrid Automata - Shang, Lemmon (Correct)
0.4: Verification and Power Analysis of an Event-Based System.. - Coleri, Ergen (2002) (Correct)
0.4: Lifetime Analysis of a Sensor Network with Hybrid Automata.. - Coleri, Ergen, Koo (2002) (Correct)
Related documents from co-citation: More All
35: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
32: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
29: What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
BibTeX entry: (Update)
T.A. Henzinger. Hybrid automata with finite bisimulations. In Z. Fulop and F. G'ecseg, editors, ICALP 95: Automata, Languages, and Programming, pages 324--335. Springer-Verlag, 1995. http://citeseer.ist.psu.edu/henzinger95hybrid.html More
@inproceedings{ henzinger95hybrid,
author = "Henzinger",
title = "Hybrid Automata with Finite Bisimulations",
booktitle = "{ICALP}: Annual International Colloquium on Automata, Languages and Programming",
year = "1995",
url = "citeseer.ist.psu.edu/henzinger95hybrid.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
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995 ACM DBLP
281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1991
232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993 DBLP
201 Three partition-refinement algorithms (context) - Paige, Tarjan - 1987
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1993 ACM DBLP
136 Information and Computation (context) - Kanellakis, Smolka et al. - 1990
103 the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
80 An approach to the description and analysis of hybrid system.. - Nicollin, Olivero et al. - 1993 ACM DBLP
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho - 1995 ACM DBLP
75 Verifying programs with unreliable channels - Abdulla, Jonsson - 1993 DBLP
75 Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1993 DBLP
75 Verification of linear hybrid systems by means of convex app.. - Halbwachs, Raymond et al. - 1994
58 Decidability of hybrid systems with rectangular differential.. - Puri, Varaiya - 1994
58 Online minimization of transition systems (context) - Lee, Yannakakis - 1992
32 Using abstractions for the verification of linear hybrid sys.. - Olivero, Sifakis et al. - 1994 ACM DBLP
19 Suspension automata: a decidable class of hybrid automata (context) - McManis, Varaiya - 1994 DBLP
17 Reachability analysis of planar multi-linear systems (context) - Maler, Pnueli - 1993
14 Verifying invariance properties of timed systems with durati.. (context) - Bouajjani, Echahed et al. - 1994
7 regular properties for subclasses of linear hybrid systems (context) - Bouajjani, Robbana - 1995
5 Model-checking strategies for linear hybrid systems - Henzinger, Ho - 1994
2 Computer-aided Verification (context) - Bouajjani, Fernandez et al. - 1990 ACM
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