Perturbed timed automata

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 70-85

  Alur, Rajeev ^a   La Torre, Salvatore ^b   Madhusudan, P ^c  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF SALERNO   (Italy)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DECISION THEORY; ERROR ANALYSIS; PERTURBATION TECHNIQUES; PROBLEM SOLVING;

LANGUAGE INCLUSION PROBLEMS; MULTI-CLOCK AUTOMATA; PERTURBATION ERROR; TIMED AUTOMATON;

AUTOMATA THEORY;

EID: 24344501346     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_5     Document Type: Conference Paper

References (26)

1. Alur, R., Dill,. D.: A theory of timed automata. Theoretical Computer Science 126 (1994) 183-235.
2. Alur, R., Madhusudan, P.: Decision problems for timed automata: a survey. In: Formal Methods for the Design of Real-Time Systems. LNCS 3185, Springer (2004) 1-24.
3. Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Springer International Journal of Software Tools for Technology Transfer 1 (1997).
4. Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: Hybrid Systems III: Verification and Control. LNCS 1066, Springer-Verlag (1996) 208-219.
5. Wang, F.: Efficient data structures for fully symbolic verification of real-time software systems. In: TACAS '00: Sixth Intl Conf on Tools and Algorithms for the Construction and Analysis of Software. LNCS 1785 (2000) 157-171.
6. Henzinger, T., Manna, Z., Pnueli, A.: What good are digital clocks? In: ICALP 92: Automata, Languages, and Programming. LNCS 623. Springer-Verlag (1992) 545-558.
7. Alur, R., Fix, L., Henzinger, T.: Event-clock automata: a determinizable class of timed automata. Theoretical Computer Science 211 (1999) 253-273
8. A preliminary version appears in Proc. CAV'94, LNCS 818, pp. 1-13.
9. Alur, R., Courcoubetis, C., Henzinger, T.: The observational power of clocks. In: CONCUR '94: Fifth International Conference on Concurrency Theory. LNCS 836. Springer-Verlag (1994) 162-177.
10. Alur, R., Henzinger, T.: Back to the future: Towards a theory of timed regular languages. In: Proceedings of the 33rd IEEE Symposium on Foundations of Computer Science. (1992) 177-186.
11. Henzinger, T., Raskin, J., Schobbens, P.: The regular real-time languages. In: ICALP'98: Automata, Languages, and Programming. LNCS 1443. Springer (1998) 580-593.
12. Ouaknine, J., Worrell, J.: Revisiting digitization, robustness, and decidability for timed automata. In: Proc. of the 18th IEEE Symp. on Logic in Comp. Sc. (2003).
13. Ouaknine, J., Worrell, J.: On the language inclusion problem for timed automata: Closing a decidability gap. In: Proceedings of the 19th IEEE Symposium on Logic in Computer Science. (2004).
14. Gupta, V., Henzinger, T., Jagadeesan, R.: Robust timed automata. In: Hybrid and Real Time Systems: International Workshop (HART'97). LNCS 1201, Springer (1997) 48-62.
15. Henzinger, T., Raskin, J.: Robust undecidability of timed and hybrid systems. In: Hybrid Systems: Computation and Control, Third International Workshop. LNCS 1790 (2000) 145-159.
16. Henzinger, T., Kopke, P., Puri, A., Varaiya, P.: What's decidable about hybrid automata. Journal of Computer and System Sciences 57 (1998) 94-124.
17. Brzozowski, J., Seger, C.: Advances in asynchronous circuit theory, Part II: Bounded inertial delay models, MOS circuit design techniques. In: Bulletin of the European Assoc. for Theoretical Comp. Sc. Volume 43. (1991) 199-263.
18. Rokicki, T.: Representing and modeling digital circuits. PhD thesis, Stanford University (1993).
19. Maler, O., Pnueli, A.: Timing analysis of asynchronous circuits using timed automata. In: Proc. of CHARME'95. LNCS 987, Springer (1995) 189-205.
20. Tasiran, S., Brayton, R.: STARI: a case study in compositional and hierarchical timing verification. In: Proceedings of the Ninth International Conference on Computer Aided Verification. LNCS 1254, Springer-Verlag (1997) 191-201.
21. Puri, A.: Dynamical properties of timed automata. In: Proceedings of the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. LNCS 1486 (1998) 210-227.
22. De Wulf, M., Doyen, L., Markey, N., Raskin, J.: Robustness and implementability of timed automata. In: Proc. FORMATS. (2004).
23. Alur, R., Feder, T., Henzinger, T.: The benefits of relaxing punctuality. Journal of the ACM 43 (1996) 116-146.
24. Agrawal, M., Thiagarajan, P.S.: Lazy rectangular hybrid automata. In: Hybrid Systems: Computation and Control, Proc. of 7th Intl. Workshop. LNCS 2993, Springer (2004) 1-15.
25. Ouaknine, J.: Personal communication. (2004).
26. Bouyer, P.: Forward analysis of updatable timed automata. Formal Methods in System Design 24 (2004) 281-320.