On timed automata with input-determined guards

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3253, Issue , 2004, Pages 68-83

  D'Souza, Deepak ^a   Tabareau, Nicolas ^b  

^a INDIAN INSTITUTE OF SCIENCE   (India)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FORMAL LOGIC; REAL TIME SYSTEMS; SEMANTICS; TIME SHARING SYSTEMS;

LOGICAL FRAMEWORKS; MONADIC SECOND-ORDER LOGIC; POINT WISE; REAL-TIME LOGIC; TIMED AUTOMATA; TIMED TEMPORAL LOGIC;

TEMPORAL LOGIC;

EID: 24644448318     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30206-3_7     Document Type: Article

References (17)

1. R. Alur, D. L. Dill: A theory of timed automata, Theoretical Computer Science 120: 183-235 (1994).
2. R. Alur, T. Feder, T. A. Henzinger: The benefits of relaxing punctuality, J. ACM 43, 116-146 (1996).
3. R. Alur, L. Fix, T. A. Henzinger: Event-clock automata: a determinizable class of timed automata, Proc. 6th CAV, LNCS 818, 1-13, Springer-Verlag (1994).
4. R. Alur, T. A. Henzinger: Real-time logics: complexity and expressiveness, Information and Computation 104, 35-77 (1993).
5. J. R. Büchi: Weak second-order arithmetic and finite automata, Zeitschrift für Math. Logik und Grundlagen der Mathematik, 6, 66-92 (1960).
6. D. D'Souza: A Logical Characterisation of Event Clock Automata, in J. Foundations of Computer Science, 14, No. 4, World Scientific (2003).
7. D. D'Souza, N. Tabareau: On timed automata with input-determined guards, Technical report TR-2004-1, CSA/IISc, (http://archive.csa.iisc.ernet.in/TR).
8. D. D'Souza, P. S. Thiagarajan: Product Interval Automata: A Subclass of Timed Automata, Proc. 19th FSTTCS, LNCS 1732 (1999).
9. D. Gabbay, A. Pnueli, S. Shelah, J. Stavi: The Temporal Analysis of Fairness, Seventh ACM Symposium on Principles of Programming Languages, 163-173 (1980).
10. T. A. Henzinger, J.-F. Raskin, and P.-Y. Schobbens: The regular real-time languages, Proc. 25th ICALP 1998, LNCS 1443, 580-591 (1998).
11. H. Kamp: Tense Logic and the Theory of Linear Order, PhD Thesis, University of California (1968).
12. R. Koymans: Specifying real-time properties with metric temporal logic, Real-time Systems, 2(4), 255-299 (1990).
13. A. Pnueli: The temporal logic of programs, Proc. 18th IEEE FOCS , 46-57 (1977).
14. J. -F. Raskin: Logics, Automata and Classical Theories for Deciding Real Time, Ph.D Thesis, FUNDP, Belgium (1999).
15. J. -F. Raskin, P. -Y. Schobbens: State-clock Logic: A Decidable Real-Time Logic, Proc. HART '97: Hybrid and Real-Time Systems, LNCS 1201, 33-47 (1997).
16. W. Thomas: Automata on Infinite Objects, in J. V. Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, 133-191, Elsevier (1990).
17. Th. Wilke: Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata, in Proc. 3rd FTRTFT, LNCS 863, 694-715 (1994).