A logical characterisation of event recording automata

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

Volumn 1926, Issue , 2000, Pages 240-251

  D’Souza, Deepak ^a  

^a CHENNAI MATHEMATICAL INSTITUTE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FAULT TOLERANCE; REAL TIME SYSTEMS;

CLOSURE PROPERTY; EXISTENTIAL QUANTIFICATIONS; MONADIC LOGIC; MONADIC SECOND-ORDER LOGIC; TIMED TEMPORAL LOGIC;

COMPUTER CIRCUITS;

EID: 84974681709     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45352-0_20     Document Type: Conference Paper

References (13)

1. R. Alur, D. L. Dill: A theory of timed automata, Theoretical Computer Science 126: 183-235 (1994).
2. R. Alur, L. Fix, T. A. Henzinger: Event-clock automata: a determinizable class of timed automata, Proc. 6th International Conference on Computer-aided Verification, LNCS 818, 1-13, Springer-Verlag (1994).
3. R. Alur, T. A. Henzinger: Real-time logics: complexity and expressiveness, Information and Computation 104, 35-77 (1993).
4. J. R. Buchi: Weak second-order arithmetic and finite automata, Zeitschrift fur Math. Logik und Grundlagen der Mathematik, 6, 66-92 (1960).
5. D. D’Souza, T. Hune: An on-the-fly Construction for an Event Clock Logic, Manuscript (1999).
6. D. D’Souza, P. S. Thiagarajan: Product Interval Automata: A Subclass of Timed Automata, Proc. 19th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), LNCS 1732 (1999).
7. A. W. H. Kamp: Tense Logic and the Theory of Linear Order, PhD Thesis, University of California (1968).
8. D. Gabbay, A. Pnueli, S. Shelah, J. Stavi: The Temporal Analysis of Fairness, Seventh ACM Symposium on Principles of Programming Languages, 163-173, (1980).
9. T. A. Henzinger, J.-F. Raskin, and P.-Y. Schobbens: The regular real-time languages, Proc. 25th International Colloquium on Automata, Languages, and Programming 1998, LNCS 1443, 580-591 (1998).
10. J. -F. Raskin: Logics, Automata and Classical Theories for Deciding Real Time, Ph.D Thesis, FUNDP, Belgium.
11. 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).
12. W. Thomas: Automata on Infinite Objects, in J. V. Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, 133-191, Elsevier Science Publ., Amsterdam (1990).
13. Th. Wilke: Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata, in Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 694-715 (1994).