Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya  Home/Search
Context Related
Links: ACM DBLP | berkeley.edu/~varaiya/papers_...stoc.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/~varaiya/hybrid (more) Homepages: T.Henzinger |
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 the precise boundary between decidability and undecidability of the reachability problem for hybrid automata. On the positive side, we give an (optimal) PSPACE reachability algorithm for the case of... (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)
Similar documents (at the sentence level):
11.7%: What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (1995) (Correct)
Active bibliography (related documents): More All
0.3: Hybrid Automata with Finite Bisimulations - Henzinger (1995) (Correct)
0.2: Minimizable Timed Automata - Springintveld, Vaandrager (1996) (Correct)
0.2: Proving Dynamic Properties in an Aerospace Application - Nadjm-Tehrani, Strömberg (Correct)
Similar documents based on text: More All
0.4: Power Efficient System for Sensor Networks - Sinem Coleri Anuj (Correct)
0.3: A Wireless Token Ring Protocol for Ad-Hoc Networks - Lee, Puri, Varaiya, Attias, al. (2002) (Correct)
0.3: Verification Methods for the Divergent Runs Of Clock Systems - A.Henzinger, W.Kopke (1994) (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/article/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/article/henzinger95whats.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
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1993 ACM DBLP
88 The benefits of relaxing punctuality - Alur, Feder et al. - 1991 ACM DBLP
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho - 1995 ACM DBLP
75 Parametric real-time reasoning - Alur, Henzinger et al. - 1993 ACM DBLP
69 What good are digital clocks - Henzinger, Manna et al. - 1992
61 Verification of an audio-control protocol - Bosscher, Polak et al. - 1994
40 A determinizable class of timed automata (context) - Alur, Fix et al. - 1994 ACM DBLP
36 The observational power of clocks - Alur, Courcoubetis et al. - 1993 ACM DBLP
36 Computing accumulated delays in real-time systems - Alur, Courcoubetis et al. - 1993 ACM DBLP
18 On model checking for real-time properties with durations - Bouajjani, Echahed et al. - 1993 DBLP
14 Verifying invariance properties of timed systems with durati.. (context) - Bouajjani, Echahed et al. - 1994
5 Model-checking strategies for linear hybrid systems - Henzinger, Ho - 1994
5 Algorithmic Problems in Analysis of Real-time System Specifi.. (context) - Cer - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.path.berkeley.edu/~varaiya/hybrid.html): More
Reach Set Computation Using Optimal Control - Varaiya (1997) (Correct)
Executive Summary - Automation Of (Correct)
ε-Approximation of Differential Inclusions - Puri, Varaiya, Borkar (1995) (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