Decidable Integration Graphs

Information and Computation

Volumn 150, Issue 2, 1999, Pages 209-243

  Kesten, Y ^a   Pnueli, A ^b   Sifakis, J ^c   Yovine, S ^c  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^c VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001736720     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1998.2774     Document Type: Article

References (24)

1. Alur, R., Courcoubetis, C., and Henzinger, T. (1993), Computing accumulated delays in real-time systems, in "Proc. 5th Workshop on Computer Aided Verification," Vol. 697, Lect. Notes in Comp. Sci., pp. 181-193, Springer-Verlag, New York/Berlin.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. (1995), The algorithmic analysis of hybrid systems, Theoret. Comput. Sci. 138, 3-34.
3. Alur, R., and Dill, D. L. (1994), A theory of timed automata, Theoret. Comput. Sci. 126, 183-235.
4. Alur, R., and Henzinger, T. A. (1993), Real-time logics: Complexity and expressiveness, Inform. and Comput. 104(1), 35-77.
5. Asarin, E., Maler, O., and Caspi, P. (1997), A kleene theorem for timed automata, in "Proc. 12th IEEE Symp. Logic in Comp. Sci."
6. Asarin, A., Maler, O., and Pnueli, A. (1995), On the analysis of dynamical systems having piecewise-constant derivatives, Theoret. Comput. Sci. 138, 35-65.
7. 20 states and beyond, Inform. and Comput. 98(2), 142-170.
8. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., and Yovine, S. (1998), Kronos: A model-checking tool for real-time systems, in "Proc. 10th Conference Computer-Aided Verification, CAV'98, Vancouver, Canada, June 1998," Lect. Notes in Comput. Sci., Vol. 1427, Springer-Verlag, New York/Berlin.
9. Bouajjani, A., Echahed, R., and Robbana, R. (1994), Verifying invariance properties of timed systems with duration variables, in "FTRTFT'94," Lect. Notes in Comp. Sci., Vol. 863, Springer-Verlag, New York/Berlin.
10. Bouajjani, A., Echahed, R., and Sifakis, J. (1995), On Model Checking for Real Time Properties with Durations, in "Proc. 8th IEEE Symp. Logic in Comp. Sci."
11. Braberman, V., and Van Hung, D. (1998), On checking timed automata for linear duration invariants, in "RTSS'98."
12. Bouajjani, A., and Robbana, R. (1995), Verifying ω-Regular Properties for Subclass of Linear Hybrid Systems, in "Proc. 7th Intl. Conference on Computer Aided Verification (CAV'95)," Vol. 939 of Lect. Notes in Comp. Sci., Springer-Verlag.
13. Clarke, E. M., Emerson, E. A., and Sistla, A. P. (1986), Automatic verification of finite state concurrent systems using temporal logic specifications, ACM Trans. Prog. Lang. Sys. 8, 244-263.
14. Chaochen, Z., Hoare, C. A. R., and Ravn, A. P. (1992), A calculus of durations, Inform. Process. Lett. 40(5), 269-276.
15. Chaochen, Z., Jingzhong, Z., Lu, Y., and Xiaoshan, L. (1994), Linear duration invariants, in "FTRT'94," Lect. Notes in Comp. Sci., Vol. 863, Springer-Verlag, New York.
16. Dill, D. L. (1989), Timing assumptions and verification of finite-state concurrent systems, in "Automatic Verification Methods for Finite State Systems," Vol. 407 of Lect. Notes in Comp. Sci., Springer-Verlag, New York.
17. Henzinger, T. A., Ho, P.-H., and Wong-Toi, H. (1995), HYTECH: the next generation, in "Proceedings of the 16th Annual Real-time Systems Symposium," pp. 56-65, IEEE Computer Society Press, New York.
18. Henzinger, T. A., Kopke, P. W., Puri, A., and Varaiya, P. (1995), What's decidable about hybrid automata?, J. Comput. System Sci., to appear.
19. Henzinger, T., Manna, Z., and Pnueli, A. (1992), What good are digital clocks? in "Proc. 19th Int. Colloq. Aut. Lang. Prog." (W. Kuich, Ed.), Vol. 623 of Lect. Notes in Comp. Sci., pp. 545-558, Springer-Verlag.
20. Kesten, Y., Pnueli, A., Sifakis, J., and Yovine, S. (1993), Integration Graphs: A Class of Decidable Hybrid Systems, in "Workshop on Hybrid Systems" (A. Ravn and H. Rischel, Eds.), Vol. 736 of Lect. Notes in Comp. Sci., pp. 179-208, Springer-Verlag.
21. Li, X., Van Hung, D., and Tao, Z. (1997), Checking hybrid automata for linear duration invariants, in "Advances in Computing Science," Vol. 1345, Lect. Notes in Comp. Sci.
22. Maler, O., Manna, Z., and Pnueli, A. (1992), From timed to hybrid systems, in "Proceedings of the REX Workshop "Real-Time: Theory in Practice"" (J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, Eds.), Vol. 600 of Lect. Notes in Comp. Sci., pp. 447-484, Springer-Verlag.
23. Nicolloin, X., Sifakis, J., and Yovine, S. (1993), From ATP to timed graphs and hybrid systems, Acta Inform. 30, 181-202.
24. Papadimitriou, C. H. (1981), On the complexity of integer programming, J. Assoc. Comput. Mach. 28(4), 765-768.