Removing ε-transitions in timed automata

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

Volumn 1200, Issue , 1997, Pages 583-594

  Diekert, Volker ^a   Gastin, Paul ^b   Petit, Antoine ^c  

^a UNIVERSITY OF STUTTGART   (Germany)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; INTERACTIVE COMPUTER SYSTEMS;

NON-ZENONESS; TIMED AUTOMATA; TIMED LANGUAGES;

REAL TIME SYSTEMS;

EID: 84949647973     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0023491     Document Type: Conference Paper

References (12)

1. R. Alur, C. Courcoubetis, D.L. Dill, N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In Proceedings of CONCUR '92, number 630 in Lecture Notes in Computer Science. Springer Verlag, 1992.
2. R. Alur and D.L. Dill. Automata for modeling real-time systems. In Proceedings of ICALP'90, number 443 in Lecture Notes in Computer Science, pages 322-335. Springer Verlag, 1990.
3. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. R. Alur, L. Fix, and T.A. Henzinger. A determinizable class of timed automata. In Proceedings of CAV'94, number 818 in Lecture Notes in Computer Science, pages 1-13. Springer Verlag, 1994.
5. R. Alur and T.A. Henzinger. Back to the future: towards a theory of timed regular languages. In Proceedings of FOCS '92, Lecture Notes in Computer Science, pages 177-186. Springer Verlag, 1992.
6. B. Bérard. Untiming timed languages. Information Processing Letters, 55:129-135, 1995.
7. B. Bérard, P. Gastin, and A. Petit. On the power of non observable actions in timed automata. In Proceedings of STACS'96, number 1046 in Lecture Notes in Computer Science, pages 257-268. Springer Verlag, 1996.
8. C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proceedings of CAV'91, number 575 in Lecture Notes in Computer Science, pages 399-409. Springer Verlag, 1991.
9. T.A. Henzinger, P.W. Kopke, and H. Wong-Toi. The expressive power of clocks. In Proceedings of ICALP'95, number 944 in Lecture Notes in Computer Science, pages 335-346. Springer Verlag, 1995.
10. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, 1994.
11. T. Wilke. Specifying timed state sequences in powerful decidable logics and timed automata. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science. Springer Verlag, 1994.
12. H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proceedings of the 30th IEEE Conf. on Decision and Control, pages 1527-1528, 1991.