Real-time automata and the Kleene algebra of sets of real numbers

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

Volumn 1770, Issue , 2000, Pages 279-289

  Dima, Cǎtǎlin ^a  

^a UNIVERSITY OF BUCHAREST   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

COMPLEMENTATION; KLEENE ALGEBRAS; NORMAL FORM; REAL NUMBER; REAL-TIME AUTOMATON; SUBALGEBRAS;

ALGEBRA;

EID: 84944029804     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46541-3_23     Document Type: Conference Paper

References (16)

1. R. Alur and D.L. Dill. A theory of timed automata, Theoretical Computer Science, 126:183-235, 1994.
2. R. Alur, L. Fix and T.A. Henzinger. A determinizable class of timed automata, in Computer-Aided Verification, LNCS 818:1-13, Springer Verlag, 1994.
3. R. Alur and T. Henzinger. The benefits of relaxing punctuality, Journal of ACM, 43:116-146, 1996.
4. E. Asarin, P. Caspi and O. Maler, A Kleene Theorem for Timed Automata, in G. Winskel (Ed.) Proc. LICS’97, p.160-171, 1997.
5. B. Bérard, V. Diekert, P. Gastin and A. Petit. Characterization of the expressive power of silent transitions in timed automata, Fundamenta Informatic æ, 36:145-182, 1998.
6. P. Bouyer and A. Petit, Decomposition and composition of timed automata, Proceedings of ICALP’99, LNCS series, 1999.
7. Ch. Choffrut and M. Goldwurm. Timed automata with periodic clock constraints, LIAFA report, 1998.
8. J. H. Conway. Regular Algebra and Finite Machines, Chapman and Hall, 1971.
9. Dang Van Hung and Wang Ji, On the design of Hybrid Control Systems Using Automata Models, in V. Chandru and V. Vinay (Eds.) FSTTCS, LNCS 1180:156-167, 1996.
10. R. Dechter, I. Meiri and J. Pearl, Temporal constraint networks, Artificial Intelligence, 49:61-95, 1991.
11. C. Dima. Timed Regular Expressions, Real-Time Automata and Simple Duration Calculus, draft of a UNU/IIST report, 1998. Available at http://funinf.math.unibuc.ro/~cdima/work/report.ps.gz.
12. C. Dima. Automata and regular expressions for real-time languages, Proceedings of the AFL’99 workshop, Vasszeczeny, Hungary, 9-13 august 1999.
13. S. Eilenberg. Automata, Languages, and Machines, Vol. A, Academic Press, 1974.
14. T.A. Henzinger, J.-F. Raskin and P.-Y. Schobbens. The regular real-time languages, in Proc. 25-th ICALP, LNCS series, Springer Verlag, 1998.
15. John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley/Narosa Publishing House, eighth edition, New Delhi, 1992.
16. D. Kozen. A completeness theorem for Kleene algebras and the algebra of regular events, Information and Computation, 110:366-390, 1994.