Rajeev Alur, Thomas A. Henzinger  Home/Search
Context Related
| upenn.edu/~alur/Concur97.ps.gz berkeley.edu/HomeP..._hybrid_systems.ps berkeley.edu/~tah/..._hybrid_systems.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: upenn.edu/~alur/pub (more) From: berkeley.edu/~t..._hybrid_systems (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a trace-based world, the modular specification, verification, and control of live systems require each module to be receptive; that is, each module must be able to meet its liveness assumptions no matter how the other modules behave. In a real-time world, liveness is automatically present in the form of diverging time. The receptiveness condition, then, translates to the requirement that a module must be able to let time diverge no matter how the environment behaves. We study the... (Update)
Cited by: More
Timed Interfaces - de Alfaro, Henzinger, Stoelinga (2002) (Correct)
Structural Stability of Hybrid Systems - Simic, Johansson, Lygeros, Sastry (2001) (Correct)
Discrete-Time Control for Rectangular Hybrid Automata - Henzinger, Kopke (1997) (Correct)
Active bibliography (related documents): More All
0.1: Real-time System = Discrete System + Clock Variables - Alur, Henzinger (1997) (Correct)
0.1: Efficient Graph-Based Algorithms For Model Checking In The Modal .. - Sokolsky (1996) (Correct)
0.1: Synthesis and Viability of Minimally Interventive Legal.. - Heymann, Lin, Meyer (1998) (Correct)
Similar documents based on text: More All
0.3: Local Liveness for Compositional Modeling of Fair Reactive.. - Alur, Henzinger (1995) (Correct)
0.2: Interpretations of Automata - Willemse (Correct)
0.2: Alternating-time Temporal Logic - Alur, Henzinger, Kupferman (1997) (Correct)
Related documents from co-citation: More All
37: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
26: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
19: Correctness of vehicle control systems: A case study - Weinberg - 1996
BibTeX entry: (Update)
R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In Proceedings of the Ninth International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science, pages 74--88. Springer-Verlag, 1997. http://citeseer.ist.psu.edu/alur97modularity.html More
@inproceedings{ alur97,
author = "R. Alur and T. A. Henzinger",
title = {Modularity for Timed and Hybrid Systems},
booktitle = {Proceedings of the Eighth International Conference on Concurrency Theory (CONCUR)},
pages = "74-88",
year = "1997",
publisher = Springer Verlag,
series = "LNCS",
volume = 1243,
url = "citeseer.ist.psu.edu/alur97modularity.html",
url = "citeseer.nj.nec.com/alur97modularity.html" }
Citations (may not include all citations):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
214 An old-fashioned recipe for real time - Abadi, Lamport - 1992
198 Trace Theory for Automatic Hierarchical Verification of Spee.. (context) - Dill - 1989
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996
155 The tool KRONOS - Daws, Olivero et al. - 1996
131 The complexity of tree automata and logics of programs (context) - Emerson, Jutla - 1988
108 Reactive modules - Alur, Henzinger - 1996
103 the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
97 HYTECH: the next generation - Henzinger, Ho et al. - 1995
70 Symbolic controller synthesis for discrete and timed systems - Asarin, Maler et al. - 1995
64 Liveness in timed and untimed systems - Gawlick, Segala et al. - 1994
56 Appraising fairness in languages for distributed programming (context) - Apt, Francez et al. - 1988
45 Programming Languages and Systems (context) - Abadi, Lamport et al. - 1993
34 Hybrid Systems II (context) - Antsaklis, Nerode et al. - 1995
32 Sooner is safer than later - Henzinger - 1992
28 Discrete-time control for rectangular hybrid automata - Henzinger, Kopke - 1997
26 Hybrid Systems (context) - Grossman, Nerode et al. - 1993
23 Hybrid Systems III: Verification and Control (context) - Alur, Henzinger et al. - 1996
18 Verifying abstractions of timed systems - Tasiran, Alur et al. - 1996
15 The input-output control of real-time discrete-event systems (context) - Hoffmann, Wong-Toi - 1992
12 Local liveness for compositional modeling of fair reactive s.. - Alur, Henzinger - 1995
10 Real Time: Theory in Practice (context) - de Bakker, Huizing et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~alur/pub.html): More
Parametric Real-time Reasoning - Alur, Henzinger, Vardi (1993) (Correct)
A Really Temporal Logic - Alur, Henzinger (1989) (Correct)
The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis, Halbwachs.. (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