| Alternate document: Details What's Decidable about Hybrid Automata? (95) Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya |
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya  Home/Search
Context Related
Links: ACM DBLP | berkeley.edu/HomeP...hybrid_automata.ps Berkeley.EDU/~tah/...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/Ho...hybrid_automata (more) From: berkeley.edu/~lygeros/Te...ee291E (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify a boundary between decidability and undecidability for the reachability problem of hybrid automata. On the positive side, we give an (optimal) PSPACE reachability algorithm for the case of initialized... (Update)
Context of citations to this paper: More
.... paper deals exclusively with computatational complexity questions related to hybrid systems, in the style of the papers [2, 3, 9, 10, 11, 13, 14], and more specifically, in the context of the class of discrete time PL systems. In [16] the second author introduced an...
.... dynamics and discrete transitions, has produced a body of theories and algorithms for control analysis and synthesis [1, 3, 4, 8, 14, 18]. Phase space control systems form a special class of hybrid systems. The formal results obtained in hybrid systems research provide...
Cited by: More
Component-Based Hierarchical Modeling of Systems with Continuous .. - Liu, Lee (2000) (Correct)
Perturbed Turing Machines and Hybrid Systems - Asarin, Bouajjani (2001) (Correct)
Phase-Space Nonlinear Control Toolbox: The Maglev Experience - Zhao, Loh, May (1997) (Correct)
Active bibliography (related documents): More All
0.6: The Theory of Hybrid Automata - Henzinger (1996) (Correct)
0.5: HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997) (Correct)
0.4: A User Guide to HYTECH - Henzinger, Ho, Wong-Toi (1995) (Correct)
Similar documents based on text: More All
0.4: Power Efficient System for Sensor Networks - Sinem Coleri Anuj (Correct)
0.3: What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (1995) (Correct)
0.3: A Wireless Token Ring Protocol for Ad-Hoc Networks - Lee, Puri, Varaiya, Attias, al. (2002) (Correct)
Related documents from co-citation: More All
2: Modeling Urgency in Timed Systems - Bornot, Sifakis et al. - 1997
2: Modeling concurrent real-time processes using discrete events (context) - Lee - 1998
2: Effective Heterogeneous Design and Co-Simulation (context) - Chang, Kalavade et al. - 1996
BibTeX entry: (Update)
T. Henzinger, P.W. Kopke, A. Puri and P. Varaiya. "What's Decidable about Hybrid Automata?", Proc. 27th Annual ACM Symp. on Theory of Computing (STOC), 1995, pp.373--382. http://citeseer.ist.psu.edu/henzinger95whats.html More
@inproceedings{ henzinger95whats,
author = "Thomas A. Henzinger and Peter W. Kopke and Anuj Puri and Pravin Varaiya",
title = "What's decidable about hybrid automata?",
pages = "373--382",
year = "1995",
url = "citeseer.ist.psu.edu/henzinger95whats.html" }
Citations (may not include all citations):666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994 ACM
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
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
211 HyTech: a model checker for hybrid systems - Henzinger, Ho et al. - 1997 DBLP
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996 ACM DBLP
97 HyTech: the next generation - Henzinger, Ho et al. - 1995
97 Information and Computation (context) - Lynch, Vaandrager et al. - 1996 DBLP
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 et al. - 1998
75 Parametric real-time reasoning - Alur, Henzinger et al. - 1993 ACM 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
69 What good are digital clocks - Henzinger, Manna et al. - 1992
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
36 Computing accumulated delays in real-time systems - Alur, Courcoubetis et al. - 1997 ACM DBLP
36 Using HyTech to verify an automotive control system - Stauner, Muller et al. - 1997
32 Using abstractions for the verification of linear hybrid sys.. - Olivero, Sifakis et al. - 1994 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
19 Suspension automata: a decidable class of hybrid automata (context) - McManis, Varaiya - 1994 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 Verifying invariance properties of timed systems with durati.. (context) - Bouajjani, Echahed et al. - 1994
11 Approximation of differential inclusions (context) - Puri, Borkar et al. - 1996
7 regular properties for subclasses of linear hybrid systems (context) - Bouajjani, Robbana - 1995
5 Algorithmic Problems in Analysis of Real-time System Specifi.. (context) - Cer - 1992
4 The Theory of Rectangular Hybrid Automata (context) - Kopke - 1996 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