Dynamical properties of timed automata revisited

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

Volumn 4763 LNCS, Issue , 2007, Pages 130-146

  Dima, Cǎtǎlin ^a  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SCIENCE; MODEL CHECKING; PROBLEM SOLVING;

DYNAMICAL PROPERTIES; SYMBOLIC ALGORITHMS; SYMBOLIC CONSTRUCTION;

AUTOMATA THEORY;

EID: 38149000204     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75454-1_11     Document Type: Conference Paper

References (21)

1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183-235 (1994)
2. Alur, R., Henzinger, T.A., Vardi, M.: Parametric real-time reasoning. In: Proceedings of STOC'93, pp. 592-601. ACM Press, New York (1993)
3. Altisen, K., Tripakis, S.: Implementation of timed automata: An issue of semantics or modeling? In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 273-288. Springer, Heidelberg (2005)
4. Alur, R., La Torre, S., Pappas, G.J.: Optimal paths in weighted timed automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 49-62. Springer, Heidelberg (2001)
5. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: a model-checking tool for real-time systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 546-550. Springer, Heidelberg (1998)
6. Bloem, R., Gabow, H.N., Somenzi, F.: An algorithm for strongly connected component analysis in n log n symbolic steps. In: Johnson, S.D., Hunt Jr., W.A. (eds.) FMCAD 2000. LNCS, vol. 1954, pp. 37-54. Springer, Heidelberg (2000)
7. Bouyer, P., Laroussinie, F., Reynier, P.-A.: Diagonal constraints in timed automata: Forward analysis of timed systems. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 112-126. Springer, Heidelberg (2005)
8. DeWulf, M., Doyen, L., Markey, N., Raskin, J.F.: Robustness and implementability of timed automata. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 118-133. Springer, Heidelberg (2004)
9. DeWulf, M., Doyen, L., Raskin, J.-F.: Systematic implementation of real-time models. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 139-156. Springer, Heidelberg (2005)
10. DeWulf, M., Doyen, L., Raskin, J.F.: Almost asap semantics: from timed models to timed implementations. Formal Aspects of Computing 17(3), 319-341 (2005)
11. David, A., Hakanson, J., Larsen, K.G., Petersson, P.: Model checking timed automata with priorities with DBM subtraction. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 128-142. Springer, Heidelberg (2006)
12. Dima, C.: Dynamical properties of timed automata revisited. Technical Report TR-2006-03, LACL, Université Paris 12 (2006)
13. Daws, C., Kordy, P.: Symbolic robustness analysis of timed automata. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 143-155. Springer, Heidelberg (2006)
14. Gentilini, R., Piazza, C., Policriti, A.: Computing strongly connected components in a linear number of symbolic steps. In: Proceedings of SODA'03, pp. 573-582 (2003)
15. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. Software Tools for Technol. Transfer 1, 110-122 (1997)
16. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What's decidable about hybrid automata. J. Comput. Syst. Sci. 57, 94-124 (1998)
17. Larsen, K.G., Pearson, J., Weise, C., Yi, W.: Clock difference diagrams. Nord. J. Comput. 6, 271-298 (1999)
18. Larsen, K.G., Petterson, P., Yi, W.: Uppaal: Status & developments. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 456-459. Springer, Heidelberg (1997)
19. Puri, A.: Dynamical properties of timed automata. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, pp. 210-227. Springer, Heidelberg (1998)
20. Wong-Toi, H.: Analysis of slope-parametric rectangular automata. In: Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.) Hybrid Systems V. LNCS, vol. 1567, pp. 390-413. Springer, Heidelberg (1999)
21. Yovine, S.: Model-checking timed automata. In: Rozenberg, G. (ed.) Lectures on Embedded Systems. LNCS, vol. 1494, pp. 114-152. Springer, Heidelberg (1998)