A logical characterisation of event clock automata

International Journal of Foundations of Computer Science

Volumn 14, Issue 4, 2003, Pages 625-639

  D'Souza, Deepak ^a  

^a CHENNAI MATHEMATICAL INSTITUTE   (India)

Author keywords

logic in computer science; temporal logic; timed automata; Verification of real time systems

Indexed keywords

EID: 33750115333     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054103001923     Document Type: Article

References (15)

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 oftimed automata, Proc. 6th Int. Conf. on Computer-aided Verification, LNCS 818,1-13, Springer-Verlag (1994)
3. R. Alur, T. A. Henzinger: Real-time logics: complexity and expressiveness, Informationand Computation 104, 35-77 (1993)
4. J. R. Biichi: Weak second-order arithmetic and finite automata, Zeitschrift fur Math.Logik und Grundlagen der Mathematik, 6, 66-92 (1960)
5. D. D'Souza: A Logical Characterisation of Event Recording Automata, in Proc.Int. Sym. on Formal Methods in Real-Time and Fault Tolerance (FTRTFT) 2000,LNCS 1926 (2000)
6. D. D'Souza, P. S. Thiagarajan: Product Interval Automata: A Subclass of TimedAutomata, Proc. 19th Foundations of Software Technology and Theoretical ComputerScience (FSTTCS), LNCS 1732 (1999)
7. A. W. H. Kamp: Tense Logic and the Theory of Linear Order, PhD Thesis, Universityof California (1968)
8. D. Gabbay, A. Pnueli, S. Shelah, J. Stavi: The Temporal Analysis of Fairness,Seventh ACM Sym. 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 Int. Col. on Automata, Languages, and Programming 1998,LNCS 1443, 580-591 (1998)
10. A. Pnueli: The temporal logic of programs, Proc. 18th IEEE Sym. on Foundationof Computer Science, 46-57 (1977)
11. J. -F. Raskin: Logics, Automata and Classical Theories for Deciding Real Time,Ph.D Thesis, FUNDP, Belgium
12. 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)
13. W. Thomas: Automata on Infinite Objects, in J. V. Leeuwen (Ed.), Handbook ofTheoretical Computer Science, Vol. B, 133-191, Elsevier Science Publ., Amsterdam(1990)
14. Th. Wilke: Specifying Timed State Sequences in Powerful Decidable Logics andTimed Automata, in Proc. Formal Techniques in Real-Time and Fault-TolerantSystems, LNCS 863, 694-715 (1994)
15. Th. Wilke: Classifying Discrete Temporal Properties, in Proc. Sym. TheoreticalAspects of Computer Science (STACS) 1999, LNCS 1563, 32-46 (1999).