Dynamical properties of timed automata

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

Volumn 1486, Issue , 1998, Pages 210-227

  Puri, Anuj ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Dynamical systems; Timed automata; Verification

Indexed keywords

AUTOMATA THEORY; CLOCKS; DYNAMICAL SYSTEMS; FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; VERIFICATION;

DYNAMICAL PROPERTIES; INITIAL STATE; LIMIT-CYCLE; MODEL ERRORS; REACHABILITY ANALYSIS; REACHABILITY PROBLEM; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 84958625632     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055349     Document Type: Conference Paper

References (17)

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