Folk theorems on the determinization and minimization of timed automata

Information Processing Letters

Volumn 99, Issue 6, 2006, Pages 222-226

  Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

Decidability; Determinization; Formal methods; Specification languages; Timed automata

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTABILITY AND DECIDABILITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DECISION MAKING; FORMAL LOGIC; OPTIMIZATION; PROBLEM SOLVING; REDUCTION;

DETERMINIZATION; FORMAL METHODS; NATURAL QUESTIONS; TIMED AUTOMATA;

THEOREM PROVING;

EID: 33745670404     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2006.04.015     Document Type: Article

References (13)

1. Finkel O. On decision problems for timed automata. Bulletin of the European Association for Theoretical Computer Science 87 (2005) 185-190
2. Tripakis S. Folk theorems on the determinization and minimization of timed automata. Formal Modeling and Analysis of Timed Systems (FORMATS'03). Lecture Notes in Computer Science vol. 2791 (2004), Springer, Berlin
3. Alur R., and Dill D. A theory of timed automata. Theoretical Computer Science 126 (1994) 183-235
4. Alur R., Courcoubetis C., Halbwachs N., Dill D., and Wong-Toi H. Minimization of timed transition systems. 3rd Conference on Concurrency Theory CONCUR'92. Lecture Notes in Computer Science vol. 630 (1992), Springer-Verlag, Berlin 340-354
5. Yannakakis M., and Lee D. An efficient algorithm for minimizing real-time transition systems. Formal Methods in System Design 11 2 (1997)
6. Tripakis S., and Yovine S. Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design 18 1 (2001) 25-68
7. Courcoubetis C., and Yannakakis M. Minimum and maximum delay problems in real-time systems. CAV'91. Lecture Notes in Computer Science vol. 575 (1991), Springer, Berlin
8. T. Wilke, Automaten und Logiken zur beschreibung zeitabhängiger Systeme, Ph.D. thesis, Institut Für Informatik und Praktische Mathematik, Christian-Albrechts Universität, Kiel, 1994 (in German)
9. C. Daws, S. Yovine, Reducing the number of clock variables of timed automata, in: Proc. 17th IEEE Real-Time Systems Symposium, RTSS'96, 1996
10. Springintveld J., and Vaandrager F. Minimizable timed automata. FTRTFT'96. Lecture Notes in Computer Science vol. 1135 (1996), Springer, Berlin 130-147
11. Berard B., Petit A., Diekert V., and Gastin P. Characterization of the expressive power of silent transitions in timed automata. Fundamenta Informaticae 36 2-3 (1998) 145-182
12. D'Souza D., and Madhusudan P. Timed control synthesis for external specifications. STACS'02. Lecture Notes in Computer Science vol. 2285 (2002), Springer, Berlin
13. P. Bouyer, D. D'Souza, P. Madhusudan, A. Petit, Timed control with partial observability, in: CAV'03, 2003