Zone-based universality analysis for single-clock timed automata

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

Volumn 4767 LNCS, Issue , 2007, Pages 98-112

  Abdulla, Parosh Aziz ^a   Ouaknine, Joël ^b   Quaas, Karin ^a   Worrell, James ^b  

^a UPPSALA UNIVERSITY   (Sweden)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; PROBLEM SOLVING; REAL TIME SYSTEMS;

LANGUAGE INCLUSION; SINGLE-CLOCK TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 38149124675     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75698-9_7     Document Type: Conference Paper

References (19)

1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183-235 (1994)
2. Alur, R., Madhusudan, P.: Decision problems for timed automata: A survey. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, Springer, Heidelberg (2004)
3. Alur, R., Fix, L., Henzinger, T.: Event-clock automata: A determinizable class of timed automata. Theoretical Computer Science 211, 253-273 (1999)
4. Alur, R., Torre, S.L., Madhusudan, P.: Perturbed timed automata. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, Springer, Heidelberg (2005)
5. Alur, R., Feder, T., Henzinger, T.: The benefits of relaxing punctually. Journal of the ACM 43, 116-146 (1996)
6. Henzinger, T., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, Springer, Heidelberg (1992)
7. Ouaknine, J., Worrell, J.: Universality and language inclusion for open and closed timed automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, Springer, Heidelberg (2003)
8. th IEEE Int. Symp. on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (2004)
9. Abdulla, P.A., Deneux, J., Ouaknine, J., Worrell, J.: Decidability and complexity results for timed automata via channel machines. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, Springer, Heidelberg (2005)
10. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Information and Computation 127(2), 91-101 (1996)
11. Abdulla, P.A., Nylén, A.: Timed Petri nets and BQOs. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 53-70. Springer, Heidelberg (2001)
12. Yovine, S.: Kronos: A verification tool for real-time systems. Journal of Software Tools for Technology Transfer 1(1-2) (1997)
13. Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Software Tools for Technology Transfer 1(1-2) (1997)
14. th IEEE Int. Symp. on Logic in Computer Science, pp. 132-140. IEEE Computer Society Press, Los Alamitos (2000)
15. Bengtsson, J., Larsson, F.: Uppaal a tool for automatic verification of real-time systems. Technical Report 96/97, DoCS, Uppsala University (1996)
16. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.K.: Algorithmic analysis of programs with well quasi-ordered domains. Information and Computation 160, 109-127 (2000)
17. Marcone, A.: Foundations of bqo theory. Transactions of the American Mathematical Society 345(2) (1994)
18. Abdulla, P.A., Jonsson, B.: Verifying networks of timed processes. In: Steffen, B. (ed.) ETAPS 1998 and TACAS 1998. LNCS, vol. 1384, pp. 298-312. Springer, Heidelberg (1998)
19. Møller, J., Lichtenberg, J.: Difference decision diagrams. Master's thesis, Department of Information Technology, Technical University of Denmark, Building 344, DK-2800 Lyngby, Denmark (1998)