Dynamical properties of timed automata

Discrete Event Dynamic Systems: Theory and Applications

Volumn 10, Issue 1-2, 2000, Pages 87-113

  Puri, Anuj ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Dynamical systems; Timed automata; Verification

Indexed keywords

EID: 0004020815     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1008387132377     Document Type: Article

References (16)

1. Alur, R., and Dill, D. 1990. Automata for modeling real-time systems. Proc. 17th ICALP. LNCS 443, Springer-Verlag.
2. Alur, R., et al. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science.
3. Alur, R., Itai, A., Kurshan, R., and Yannakakis, M. 1995. Timing verification by successive approximation. Information and Computation 118: 142-157.
4. Alur, R., and Kurshan, R. 1996. Timing analysis in COSPAN. Hybrid Systems III. LNCS 1066, Springer-Verlag.
5. Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., and Yi, W. 1996. UppAal: a tool-suite for automatic verification of real-time systems. Hybrid Systems III. LNCS 1066, Springer-Verlag.
6. Cormen, T. H., Leiserson, C. E., and Rivest, R. L. 1990. Introduction to Algorithms. MIT Press.
7. Courcoubetis, C., and Yannakakis, M. 1992. Minimum and maximum delay problems in real-time systems. Formal Methods in System Design 1: 385-415.
8. Daws, C., Olivero, A., Tripakis, S., and Yovine, S. 1996. The tool Kronos. Hybrid Systems III. LNCS 1066, Springer-Verlag.
9. Dill, D. 1989. Timing assumptions and verification of finite state concurrent systems. Automatic Verification Methods for Finite-State Systems. LNCS 407, Springer-Verlag.
10. Gupta, V., Henzinger, T., and Jagadeesan, R. 1997. Robust timed automata. First International Workshop on Hybrid and Real-time Systems (HART 1997). LNCS 1201, Springer-Verlag.
11. Henzinger, T., Ho, P.-H., and Wong-Toi, H. 1997. HyTech: A model checker for hybrid systems. Computer Aided Verification. LNCS 1254, Springer-Verlag.
12. Henzinger, T., Nicollin, X., Sifakis, J., and Yovine, S. 1992. Symbolic model-checking for real-time systems. Proc. 7th IEEE Symp. on Logic in Computer Science.
13. Hirsh, M. W., and Smale, S. 1974. Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, Inc.
14. Puri, A., and Varaiya, P. 1996. Decidable hybrid systems. Computer and Mathematical Modeling 23: 191-202.
15. Puri, A. 1995. Theory of hybrid systems and discrete event systems. Ph.D. thesis, University of California, Berkeley.
16. Yannakakis, M., and Lee, D. 1993. An efficient algorithm for minimizing real-time transition systems. Computer Aided Verification. Springer-Verlag.