Thomas Henzinger, Peter W. Kopke  Home/Search
Context Related
| 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/~t...hybrid_automata (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Rectangular hybrid automata model digital control programs of analog plant environments. We study rectangular hybrid automata where the plant state evolves continuously in real-numbered time, and the controller samples the plant state and changes the control state discretely, only at the integer points in time. We prove that rectangular hybrid automata have finite bisimilarity quotients when all control transitions happen at integer times, even if the constraints on the derivatives of the... (Update)
Cited by: More
Dense Real-time Games - Marco Faella Universita (2002) (Correct)
Timed Games With Branching-Time Winning Conditions - Aniello Murano Dipartimento (Correct)
Optimal-Reachability and Control for Acyclic Weighted.. - Torre, Mukhopadhyay.. (2002) (Correct)
Active bibliography (related documents): More All
0.3: Rectangular Hybrid Games - Henzinger, Horowitz, Majumdar (1999) (Correct)
0.3: The Theory of Hybrid Automata - Henzinger (1996) (Correct)
0.1: HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997) (Correct)
Similar documents based on text: More All
0.4: State Equivalences for Rectangular Hybrid Automata - Henzinger, Kopke (1996) (Correct)
0.2: Symbolic Model Checking for Rectangular Hybrid Systems - Henzinger, Majumdar (1999) (Correct)
0.2: What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (1995) (Correct)
Related documents from co-citation: More All
17: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
15: the Synthesis of Discrete Controllers for Timed Systems (context) - Maler, Pnueli et al. - 1995
14: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
BibTeX entry: (Update)
T.A. Henzinger, P.W. Kopke. Discrete-time control for rectangular hybrid automata. In Automata, Languages, and Programming, Springer LNCS, 1997. http://citeseer.ist.psu.edu/henzinger97discretetime.html More
@article{ henzinger99discretetime,
author = "Thomas A. Henzinger and Peter W. Kopke",
title = "Discrete-time control for rectangular hybrid automata",
journal = "Theoretical Computer Science",
volume = "221",
number = "1--2",
pages = "369--392",
year = "1999",
url = "citeseer.ist.psu.edu/henzinger97discretetime.html" }
Citations (may not include all citations):779 Symbolic model checking: 10 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
234 Supervisory control of a class of discrete-event processes (context) - Ramadge, Wonham - 1987
230 Checking that finite-state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
211 HyTech: a model checker for hybrid systems - Henzinger, Ho et al. - 1997
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
124 Journal of the ACM (context) - Chandra, Kozen et al. - 1981
103 the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
81 Generalized finite-automata theory with an application to a .. (context) - Thatcher, Wright - 1968
78 the synthesis of strategies in infinite games - Thomas - 1995
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho et al. - 1998
75 Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1993
67 Modularity for timed and hybrid systems - Alur, Henzinger - 1997
58 Hybrid automata with finite bisimulations - Henzinger - 1995
58 Decidability of hybrid systems with rectangular differential.. - Puri, Varaiya - 1994
55 Minimal model generation (context) - Bouajjani, Fernandez et al. - 1990
36 Number of quantifiers is better than number of tape cells (context) - Immerman - 1981
23 the membership problem for functional and multivalued depend.. (context) - Beeri - 1980
15 The input-output control of real-time discrete-event systems (context) - Hoffmann, Wong-Toi - 1992
11 Approximation of differential inclusions (context) - Puri, Borkar et al. - 1996
9 State equivalences for rectangular hybrid automata - Henzinger, Kopke - 1997
6 Model Checking for Branching-Time Temporal Logics (context) - Kupferman - 1995
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