Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho  Home/Search
Context Related
Links: DBLP | maui.theoinf.tuil...rid_automata.ps.gz berkeley.edu/HomeP...hybrid_automata.ps upenn.edu/~alur/Hybrid93.ps.gz 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: maui.theoinf.tuil...verifikation (more) From: berkeley.edu/Ho...hybrid_automata (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce the framework of hybrid automata as a model and specification language for hybrid systems. Hybrid automata can be viewed as a generalization of timed automata, in which the behavior of variables is governed in each state by a set of differential equations. We show that many of the examples considered in the workshop can be defined by hybrid automata. While the reachability problem is undecidable even for very restricted classes of hybrid automata, we present two semidecision... (Update)
Cited by: More
Stability of Hybrid Systems and Related - Questions From Systems (Correct)
Systems Biology and Automata - Mishra And Policriti (Correct)
Modeling Cellular Behavior with Hybrid - Automata Bisimulation And (Correct)
Similar documents (at the sentence level):
7.6%: The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis, Halbwachs.. (1995) (Correct)
Active bibliography (related documents): More All
0.1: A Theory of Timed Automata - Alur, Dill (1994) (Correct)
0.1: Parametric Real-time Reasoning - Alur, Henzinger, Vardi (1993) (Correct)
0.1: Iterative Refinement and Condensation for State-graph Construction - Farn Wang (1998) (Correct)
Similar documents based on text: More All
0.2: Computing Accumulated Delays in Real-time Systems - Alur, Courcoubetis, Henzinger (1993) (Correct)
0.2: The Observational Power of Clocks - Alur, Courcoubetis, Henzinger (1994) (Correct)
0.2: Deductive Modelchecking - Sipma (1999) (Correct)
Related documents from co-citation: More All
32: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
28: An approach to the description and analysis of hybrid systems - Nicollin, Sifakis et al.
27: Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger et al. - 1993
BibTeX entry: (Update)
R. Alur, C. Courcoubetis, T. A. Henzinger, and Pei-Hsin Ho. Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992. http://citeseer.ist.psu.edu/alur92hybrid.html More
@inproceedings{ alur92hybrid,
author = "Rajeev Alur and Costas Courcoubetis and Thomas A. Henzinger and Pei-Hsin Ho",
title = "Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems",
booktitle = "Hybrid Systems",
pages = "209-229",
year = "1992",
url = "citeseer.ist.psu.edu/alur92hybrid.html" }
Citations (may not include all citations):404 Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1991
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990 ACM DBLP
148 A fast mutual exclusion algorithm - Lamport - 1987 ACM DBLP
139 From timed to hybrid systems - Maler, Manna et al. - 1992 ACM DBLP
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1992 ACM DBLP
80 An approach to the description and analysis of hybrid system.. - Nicollin, Sifakis et al. ACM DBLP
72 Minimization of timed transition systems - Alur, Courcoubetis et al. - 1992 ACM DBLP
58 Online minimization of transition systems (context) - Lee, Yannakakis - 1992
55 Minimal model generation (context) - Bouajjani, Fernandez et al. - 1990 ACM DBLP
37 Decidability of bisimulation equivalence for parallel timer .. (context) - Cer
8 Propositional dynamic logic of regular programs (context) - Harel, Pnueli et al. - 1983 DBLP
7 Real-time distributed system specification and verification .. (context) - Wang, Mok et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://maui.theoinf.tu-ilmenau.de/forschung/links/verifikation.html): More
Symbolic Model Checking: 10 20 States and Beyond - Burch, Clarke, McMillan.. (1990) (Correct)
An Automata Theoretic Approach to Temporal Logic - de Jong (1991) (Correct)
A User Guide to HYTECH - Henzinger, Ho, Wong-Toi (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