| Alternate document: Details The Expressive Power of Clocks (95) Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi |
Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi  Home/Search
Context Related
| parades.rm.cnr.it/~ho...TR951496.ps.gz berkeley.edu/HomeP...power_of_clocks.ps Cached: 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.
PS.gz PS Image Update HelpFrom: parades.rm.cnr.it/~howard/...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints on clock variables together with a uniform liveness condition --- the divergence of time --- can express Buchi, Muller, Streett, Rabin, and weak and strong fairness conditions on a given labeled transition system. We then consider the effect, on both timed and time-abstract expressiveness, of varying the following parameters: time domain (discrete or dense),... (Update)
Context of citations to this paper: More
.... have been devoted to the theoretical comprehension of timed automata: determinization [AFH94] minimization 92] power of clocks [ACH94,HKWT95] power of transitions [BDGP98] extensions of the model [DZ98,HRS98,CG00,BFH 01] logical characterizations [Wil94,HRS98]...
.... increases the class of data languages being recognized, as in timed automata each additional clock increases also the power of the automata [HKWT95] On the other hand, if the monoid and the alphabet are xed, then the hierarchy on registers collapse. Proposition 8 (1) The...
Cited by: More
Real-time System = Discrete System + Clock Variables - Alur, Henzinger (1997) (Correct)
Timed Automata with Periodic Clock Constraints - Choffrut, Goldwurm (1999) (Correct)
Classes of Timed Automata and the Undecidability of Universality - Moura, Pinto (2001) (Correct)
Similar documents (at the sentence level):
39.4%: The Expressive Power of Clocks - Henzinger, Kopke, Wong-Toi (1995) (Correct)
Active bibliography (related documents): More All
0.2: Verification of Clocked and Hybrid Systems - Kesten, Manna, Pnueli (1998) (Correct)
0.2: Verifying Clocked Transition Systems - Kesten, Manna, Pnueli (1996) (Correct)
0.1: On First Order Interval Temporal Logic - Dutertre (1995) (Correct)
Similar documents based on text: More All
0.3: Verification Methods for the Divergent Runs Of Clock Systems - A.Henzinger, W.Kopke (1994) (Correct)
0.2: Synthesizing Discrete Controllers from Hybrid Automata - Bjäreland, Driankov (1999) (Correct)
0.1: Strategy construction in infinite games with Streett and.. - Buhrke, Lescow, Vöge (1996) (Correct)
Related documents from co-citation: More All
19: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
17: Specifying Timed State Sequences in Powerful Decidable Logic and Timed Automata - Wilke - 1994
15: A determinizable class of timed automata (context) - Alur, Fix et al. - 1994
BibTeX entry: (Update)
T.A. Henzinger, P.W. Kopke, and H. Wong-Toi. The expressive power of clocks. In Proceedings 22 nd ICALP, volume 944 of Lecture Notes in Computer Science, pages 417--428. Springer-Verlag, 1995. http://citeseer.ist.psu.edu/henzinger95expressive.html More
@inproceedings{ henzinger95expressive,
author = "Thomas A. Henzinger and Peter W. Kopke and Howard Wong-Toi",
title = "The Expressive Power of Clocks",
booktitle = "Automata, Languages and Programming",
pages = "417-428",
year = "1995",
url = "citeseer.ist.psu.edu/henzinger95expressive.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
374 Automata on infinite objects (context) - Thomas - 1990
175 Logics and models of real time: a survey - Alur, Henzinger - 1992
147 Real-time logics: complexity and expressiveness - Alur, Henzinger - 1993
69 What good are digital clocks - Henzinger, Manna et al. - 1992
55 Verifying ET-LOTOS programs with KRONOS - Daws, Olivero et al. - 1994
36 The observational power of clocks - Alur, Courcoubetis et al. - 1994
35 Back to the future: towards a theory of timed regular langua.. - Alur, Henzinger - 1992
32 Sooner is safer than later - Henzinger - 1992
11 Real-time system = discrete system + clock variables - Alur, Henzinger - 1993
9 Verification methods for the divergent runs of clock systems - Henzinger, Kopke - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.parades.rm.cnr.it/~howard/Publications/pubs.html): More
HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997) (Correct)
The Control of Dense Real-Time Discrete Event Systems - Wong-Toi, Hoffmann (1991) (Correct)
The Control of Dense Real-Time Discrete Event Systems - Wong-Toi, Hoffmann (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